
31
Let a = -23 - -7. Suppose 0 = -5*i - 9 - 86. Let j = a - i. Are j and 4 non-equal?
True
Let g = -639 + 642. Which is bigger: 13 or g?
13
Let d = 21.8 - 3.8. Let t = d - 18. Which is bigger: -13 or t?
t
Let q = 1425 - 1421. Which is smaller: 96 or q?
q
Suppose 4*k = -4*d - 5 + 1, -d - 1 = 0. Let q(y) = -y + 0*y + k*y + 12 - 24. Let r be q(-9). Which is greater: r or -4?
r
Let l be 2/2 + -19 + 15. Let a(d) = d**2 + 4*d + 6. Let w be a(l). Is 4 equal to w?
False
Let c = -34383/16 - -2149. Which is greater: c or -2/27?
c
Let m be (324/15 - 4) + -2. Let a = -15 + m. Which is bigger: a or 0?
a
Let u(v) = 2*v + 1. Let x be u(-12). Let p = x + 28. Suppose 3*c = -p*j - 57, -c + 2*j - 8 = -0. Is c not equal to -13?
True
Let s = 1128 + -1449. Which is bigger: s or -319?
-319
Let b = 102 - 100. Suppose -m + n + 14 = b*n, 0 = -3*m - n + 48. Which is smaller: m or 15?
15
Let u = -168 - -1851/11. Is -1 <= u?
True
Let k be (672/(-68) - 0) + 10. Is -6 <= k?
True
Let d be (-81)/108 + (-2)/8. Which is bigger: d or 1/1726?
1/1726
Let r be 6/(-9) - 356/(-21). Let v = r + -2045/126. Let z(h) = -h - 2. Let m be z(-3). Which is bigger: m or v?
m
Let s be 4/(3 + -8 - -3). Let c = -10 + s. Let v be 40/c*24/(-10). Does 0 = v?
False
Suppose -2*i = 2*b + 3*i - 41, 6 = 2*i. Suppose 54 = -b*u - 11. Which is smaller: -7 or u?
-7
Suppose -33 = 4*s + 59. Suppose -2*x + x + 4*p = 11, 112 = -5*x + p. Is x greater than or equal to s?
True
Let p be (154/12 + (-3)/(-18))/1. Are 10 and p equal?
False
Suppose 20 = -5*x - 4*d, -12 - 6 = x - 2*d. Which is bigger: -18 or x?
x
Suppose 5*u - 30 = 5*o, -3*u + 14 + 20 = 5*o. Suppose -a + u + 2 = 0. Which is smaller: 2/9 or a?
2/9
Suppose -5*p + 10 + 0 = 0. Suppose -2*k = -2*h + 10 + p, -3*h + 30 = -5*k. Let i(b) = 4*b + 22. Let v be i(-7). Is k at least as big as v?
True
Let s(c) = 2*c**2 - 24*c + 1. Let a be s(12). Which is smaller: a or 4/39?
4/39
Suppose 6 = 4*r - 6. Suppose 5*f - r*t + 5*t = -5, -3 = 3*f + 4*t. Is 25 greater than f?
True
Let x = -1.1 + 1.15. Let m = x - 0.25. Which is smaller: -6 or m?
-6
Let j(i) = -i**2 + 6*i - 1. Let h be j(5). Let g be 1 + (-12)/(-5 + h). Suppose d + g = -y, -5*d + 4*y - 2*y = 65. Is -12 greater than d?
True
Let g = -36 + 49. Suppose -u = 4*f - 26, -4*u - 2*f = -u - 48. Which is smaller: u or g?
g
Suppose w - 2 = -0. Suppose -d + 4*v = 9, -3*d - 2*d + w*v + 27 = 0. Suppose u = -4*y - d, 0 = -2*u - 5*y - 8 - 12. Which is bigger: u or -16?
u
Let f be ((-5)/(-10))/((-20)/136). Let c = -191/65 - f. Does -1 = c?
False
Let h be ((-8 - 0)*-1 + -6)/2. Which is smaller: -8/87 or h?
-8/87
Suppose 5*w + 63 + 282 = 0. Is -69 at least w?
True
Let f be 5/20 - (-334)/(-1328). Is f greater than -1?
True
Let x(k) = k**3 + 2*k**2 + 4*k. Let y be x(0). Is y less than or equal to 3/373?
True
Suppose 0 = -2*j + 7*j - 50. Let t be (-26)/60 - 4/j. Let z = -57 - -57. Does t = z?
False
Let p(q) = 2*q - 6. Let c be p(3). Is c equal to -4/19?
False
Let s = 7483394728/105 + -71271417. Let x = 991 + s. Is 1 bigger than x?
True
Let i(v) = -v**2 + v + 183. Let w be i(14). Is w less than or equal to 276?
True
Let a be (-3 - -2)*-1*-2. Let f(k) = -2*k + 12. Let n be f(3). Suppose -5*l + 5*r = -25, n*r + 20 = -5*l + 2*r. Which is greater: a or l?
l
Suppose -3 = f - 12. Let v = f + -8. Is -3/7 at least as big as v?
False
Let g be 5 - (-4 - 1652/(-180)). Let f = g + -2/9. Are 2/5 and f unequal?
True
Suppose -4*q + 572 - 60 = 0. Which is greater: 129 or q?
129
Let q be ((1 - 1)/2)/2. Let h = 53.65 - 0.65. Let n = h - 53.9. Which is greater: q or n?
q
Let b(w) be the third derivative of w**5/60 - w**4/8 + 17*w**3 + 10*w**2. Let g be b(0). Suppose -g = -6*p - 0. Are 17 and p unequal?
False
Let y(c) = 11*c**2 - c. Let l = 13 + -14. Let u be y(l). Suppose -2*r + u = -o + 5*o, 5*r - 3*o = -35. Are r and -4 unequal?
False
Suppose 4*n = -2*k - 22, -4*k - 5*n - 28 = -k. Let v be 221/2*(-10)/55. Let a = -20 - v. Do a and k have different values?
True
Suppose -4*k + 2 = -2*k. Let p = 5 - 4. Let w be (-1)/4 + p/4. Which is smaller: w or k?
w
Suppose 5 - 21 = -2*v. Suppose 0 = -s + y + v, -5 - 16 = -3*s + 4*y. Let j = -5 + 16. Is s less than or equal to j?
True
Suppose 4*t + 164 = -416. Let u = t - -132. Do u and -13 have the same value?
True
Let k = -0.0838 + 0.0838. Which is greater: k or -41?
k
Let g(f) = -f**3 - 7*f**2 - 5*f. Let u be g(-6). Let h be (84/(-30))/(u/(-10)). Let r = 3 + h. Is -2 <= r?
True
Let d(k) = 14*k - 5. Let p be d(2). Let m = p + -18. Suppose -m*w - t = 0, -w = t + t. Which is smaller: w or 1/9?
w
Suppose -q = q + 2. Suppose 4*o = -o + 5. Let n be (o - -3)/(240/(-72)). Is n less than or equal to q?
True
Let u = 331 + -658. Is u bigger than -328?
True
Suppose 24*y - 13 = -2*i + 19*y, 14 = -2*i + 4*y. Let c = 154/9 + -152/9. Which is bigger: i or c?
c
Let b(f) = f**3 + 4*f**2 - 30*f - 3. Let x be b(-7). Which is greater: x or 178/3?
x
Let x(j) = 63*j - 378. Let w be x(6). Let p be (-6)/((-2)/(-2)*-2). Let s = p + -3. Is s at least as big as w?
True
Let r = -1.3 - -0.3. Let p = 5.85 - 4.75. Is r smaller than p?
True
Suppose -12 = -7*b + 499. Suppose -b*y + 8 = -69*y. Are y and 13/4 equal?
False
Let c be (-10)/(-3)*504/20. Suppose -14*l + c = -18*l. Are -21 and l nonequal?
False
Suppose -10*h + 3*h = 924. Which is smaller: h or -2/5?
h
Let g(a) = -3*a**2 - 111*a + 8. Let u be g(-37). Let i(k) = -k**2 + 7*k - 1. Let y be i(5). Which is greater: y or u?
y
Let u = -1/238 - -121/476. Which is smaller: u or 26?
u
Let r = -171 - -514/3. Is 36 > r?
True
Let y = -2779/11 + 253. Let z(h) = h - 5. Let c be z(2). Let j(a) = -a - 2. Let i be j(c). Do i and y have the same value?
False
Let o = -25.49 + 1.49. Let t be (1*2)/(-13 + 6). Which is smaller: t or o?
o
Suppose 0 = -0*a + 3*a + 4*m - 10, -4*m + 2 = -a. Let q be 180/(0 + 6)*1/a. Which is smaller: q or 14?
14
Let q = 1/2384 - 104905/21456. Which is smaller: -4 or q?
q
Let y be -3 + 1/(-3)*-3. Let k be (3/(-6) - 0)*y. Do -3 and k have different values?
True
Let t = 515/73 - 62938/219. Let v = -27 + 311. Let r = v + t. Which is smaller: 5 or r?
r
Let a = -13 - -83. Suppose a = 3*z - 4*u, -63 = -0*z - 3*z - 3*u. Let g be (-1 + -2)*-1 - z. Which is smaller: -20 or g?
-20
Let l(o) = -38*o + 265. Let w be l(7). Which is smaller: w or 5/118?
w
Let g = -0.26 - -22.26. Let v = -253 + 273. Let k = g - v. Is k greater than -4?
True
Let v be (-4)/(-10) + 2/(-5). Suppose -4*t + 27 = 5*t. Let k(h) = 3*h**2 - 7*h - 2. Let u be k(t). Are v and u non-equal?
True
Let o(b) = b**3 - 4*b**2 + b - 4. Let v(y) = y**2 + y + 4. Let u be v(0). Suppose 3*l - d = 12, -d = -l + d + u. Let s be o(l). Is s at least as big as 1/13?
False
Let v = -114 + 113.9. Which is bigger: v or 46?
46
Let j be 1*1/(-3)*0. Suppose j = 26*b - 28*b. Is 1/21 at most b?
False
Let x(a) = 6*a**2 + 14*a - 13. Let p(j) = -4*j**2 - 9*j + 9. Let h(s) = -8*p(s) - 5*x(s). Let f be h(-3). Which is greater: f or 8?
8
Suppose 5*p - x + 549 = -0*x, 2*p - 4*x + 216 = 0. Is p >= -109?
False
Let q(j) = -j**3 - 16*j**2 - 15*j + 4. Suppose 0 = -3*i - 5 - 40. Let z be q(i). Suppose -3*f + 6 = z*m - 9, -10 = 2*m - 2*f. Are -3/14 and m unequal?
True
Suppose 3*b + 4*g - 283 = 0, 5*b - g + 2*g - 483 = 0. Is b bigger than 491/5?
False
Suppose 26*q = 22*q - 752. Let o = -87 - q. Which is smaller: -1 or o?
-1
Let h be (0 - 3/(-9))/(-1)*21. Let s be (7/2)/h - 4/(-14). Let t = 0 - 1. Is s >= t?
True
Suppose 9*z = 29*z. Which is bigger: -10/103 or z?
z
Suppose -3*l + 0*l + g + 4 = 0, 0 = -l + 4*g - 6. Suppose -3*z + 5*z + 2*b + 16 = 0, 4*b - 28 = l*z. Is z greater than -13?
True
Let o = 47243/93 - 508. Which is smaller: o or -1?
-1
Suppose 0 = -i - 4*i - 35. Let g be i/((-7)/(-27)) - -4. Is -23 smaller than g?
False
Let d be ((-1278)/(-27))/(2/9). Are d and 212 equal?
False
Let l = 2409 - 89143/37. Is l smaller than 1?
True
Suppose -4*t = 77*t - 17*t. Is -3/59 at most t?
True
Let s = 162 + 3. Are 166 and s equal?
False
Let t be (-20)/(-25) - (-108)/(-60). Which is bigger: t or 2/839?
2/839
Let y = -135 + 134.9. Which is smaller: y or 99?
y
Let i = 0.407 - 0.057. Let a = -44.35 + i. Is 2 less than a?
False
Let b(d) = -d + 11. Suppose 0 = -4*s + 53 - 1. Let y be b(s). Let o = -35 - -38. Which is greater: o or y?
o
Let o = -50 + 149/3. Let y(a) be the thi