ich is smaller: i or -0.12?
i
Let f = 71 + -67. Let c = 7.5 - f. Is 0 > c?
False
Let w(j) = 51*j + 1. Let g be w(3). Let t = g - 84. Let l be (-76)/t - (-44)/55. Which is bigger: l or 1?
1
Let t(i) = -45*i**3 + 2*i**2 + i - 1. Let x be t(-1). Let b = -28 + x. Let y be 335/20 - (-1)/4. Is y equal to b?
True
Suppose -q - 23 = -4*h, -2*q - 79 = 3*q - 2*h. Let p = 9 + q. Suppose -19*c - 13 - 120 = 0. Which is greater: c or p?
p
Let i = 0.16 - 1.36. Let f = 0 - i. Let k = f - 1.3. Is k less than or equal to 0.7?
True
Suppose -5*d + 8 = -2. Suppose -5*k = d*k - 28. Let q be k/(-22) - 170/154. Which is smaller: 0 or q?
q
Let j be (9/2)/((-30)/40). Let n be 20/124*j/15. Is n at least as big as 0?
False
Let i = 30 - 29. Let c be (-4)/1*(-3)/(-174). Which is smaller: i or c?
c
Let b = -20.47 + 20.5. Which is bigger: -9 or b?
b
Let u(f) = f**2 + 4*f + 2. Let j be u(-3). Let h be 1/2*(2 - -4). Suppose -10 = -h*y + 8*y. Which is smaller: y or j?
y
Let j = -252 + 247. Is -13 at most j?
True
Let r(u) = -u**2 + 4*u + 53. Let k be r(10). Let b(q) be the third derivative of q**4/24 - q**3/6 + q**2. Let p be b(-6). Are k and p unequal?
False
Let r = 131.87 - 132. Which is bigger: 5 or r?
5
Let a = 28.3 - 28. Let q = a - 0.3. Which is smaller: q or -4/5?
-4/5
Let t = -0.5 - -25.5. Let b = -25.1 + t. Is 10 < b?
False
Let x(a) = -a**3 + 5*a**2 + 2*a - 12. Let j be x(4). Let n be 9/j + 176/(-128). Suppose -5 = 4*c + 3. Is c > n?
False
Let n be (-201)/(-12) - 1/(-4). Suppose -n = -6*a + a - d, 4*d = 4*a - 28. Let l be (-21)/(-6) + a/(-8). Which is bigger: l or 3/2?
l
Let a be (118/(-1593))/((-4)/(-6)). Suppose 0 = 5*g + 1 + 4. Is a < g?
False
Let u be ((-304)/(-104) - 3)*(55 - -2). Is 0.1 at most as big as u?
False
Suppose -28 = 3*y - 2*y. Let n = y - 27. Let o be 3 - (n/(-18) + 0). Is o > -1?
True
Suppose 3*d + 0*u = u - 38, 4*u = -2*d - 16. Let l be ((-3)/d*-2)/(1/(-84)). Which is smaller: 41 or l?
41
Let x = 1/47518 - 41910889/617734. Is x smaller than -68?
False
Let p = -55.5 - -57. Let m = p + -10.5. Which is smaller: -4 or m?
m
Let r(u) = u**3 + 17*u**2 - 2*u - 3. Let b be r(-17). Suppose g - 132 = 5*j, 2*j + 20 + b = g. Is -27 less than j?
False
Let k = -7081588 + 276153932/39. Let a = k + 718. Is a > 1?
False
Suppose 2*x - 176 = -5*c + 4*c, -164 = -c + x. Suppose -57 = -9*v + c. Is v at most 24?
False
Let k(l) = 97*l + 243. Let x be k(-8). Which is smaller: x or -534?
-534
Let h = -128.42 - 7.58. Is h at least as big as 2/5?
False
Suppose 3*g = 3*i - 60, 4*g = -4*i + 12 + 28. Let h be (-8)/(-20)*i/6. Which is smaller: 3 or h?
h
Let v be 6/(-3) - (-12)/(-4) - -316. Is 312 less than v?
False
Suppose 0 = -2*n - 0 - 24. Let g = -5 - n. Suppose -3*y - 7 = 2*c + 2, c = -4*y - g. Which is smaller: y or -2/19?
y
Suppose -3*r - 2 = -26. Suppose -r = 2*f - 2. Let q(k) = k**2 + 7*k + 5. Let t be q(-6). Does t = f?
False
Let z be ((-2)/(-8))/(7/84). Suppose -199 + 78 = -4*c - 3*b, -b + 87 = z*c. Suppose 7*k + 0 = -c. Is k equal to 1?
False
Suppose 563 = 5*u + p, -3*p + 569 = 4*u + u. Is u not equal to 112?
False
Let z = -16 - -18. Let h be 5*(-7 + 4 + 2 + z). Let b = 2 + -4. Does h = b?
False
Let b be ((-9)/2)/((-4)/(-8)). Let k = -6 - b. Suppose k*o + 0 = -24. Which is smaller: -9 or o?
-9
Let o = 68 - 67.9. Suppose 68*h - 65*h = -150. Which is greater: o or h?
o
Let z = 68 - -16. Let j = z - 68. Are 15 and j nonequal?
True
Let x be -4135*(-11)/825 + 4/(-30). Which is smaller: 54 or x?
54
Let o(w) = 361 - 361 + w**2. Let m be o(1). Suppose 3*c + 2*i - 4 = 6*i, 0 = -3*i - 3. Is m not equal to c?
True
Let c = 525 + -524. Which is bigger: c or 1/899?
c
Suppose 2*d - 30 = 4*b, 2*b + 3*b + 25 = 0. Suppose -l = l + 8. Let c = l + d. Is -2 greater than or equal to c?
False
Let z be ((-207)/345)/((-18)/10 + 2). Is 4/3 bigger than z?
True
Let i be 3 + -22*(-14)/(-84). Is i less than -10/221?
True
Let i be (2/14 + -1)*(-15)/(-50). Which is bigger: i or 1?
1
Let w = 3 - -2. Let s be (w/(-4))/(4/(-432)). Suppose 2*c = 5*z - s + 42, 0 = -5*z - c + 96. Is z equal to 19?
True
Let w = -237 + 264. Let u = 4.91 - -0.09. Let o = u - 4. Is o < w?
True
Let c = 139 - 321. Which is greater: c or 0.2?
0.2
Let f = 7.55 + -2.43. Let h = f - 0.12. Which is smaller: -1/2 or h?
-1/2
Let p = -0.2 - -8.2. Suppose -r = -162 + 43. Suppose r*a + 6 = 122*a. Do p and a have different values?
True
Let h(f) = -2*f**3 + 11*f**2 - 25*f + 11. Let x be h(7). Which is smaller: -312 or x?
-312
Let j = 0.39 + -17.39. Let r = j + 16. Which is greater: r or 0?
0
Let i be (-588)/30 - 8/20. Let j = 24 + i. Which is smaller: 5 or j?
j
Let t(d) = d**3 - 8*d - 7. Let b be t(-3). Let h(w) = w**3 + 11*w**2 + 10*w - 3. Let u be h(b). Is 17 > u?
True
Let w = -0.007 - -23.007. Let i = w + -22.9. Are i and -22 unequal?
True
Suppose -q + 10*o = 5*o + 4, 2*o - 28 = -2*q. Let h be 104/182 + (-20)/(-14). Suppose -h*i = i - 33. Is i less than or equal to q?
True
Let t = -13 + 23. Suppose 4*b + 13 = 4*j + 41, -2*b + t = 2*j. Let k be b/(-4)*(-4)/51. Which is greater: k or 0?
k
Let q be 7*(-2)/(-12)*(-189)/588. Which is bigger: 76 or q?
76
Let t(l) = -164*l - 328. Let u be t(-5). Is 491 less than or equal to u?
True
Suppose m + 3*c = -232, 10 = 3*c - c. Let o = 170 + m. Let q be o/(-22) + -1*3. Do -1 and q have different values?
True
Let i = -0.21 - -0.31. Let z = -51 + 45. Which is bigger: i or z?
i
Let r = 14 + 55. Let a = 40 - r. Which is smaller: a or -28?
a
Suppose -60 + 60 = -31*t. Is -4/2269 at least as big as t?
False
Let p be (-4)/6 + (4 - 36/10). Which is greater: p or 0?
0
Suppose -2*z + 2 = -z. Let x be (28/(-6))/z*12. Is -27 at least x?
True
Suppose -2*c = -7 - 1. Let x be c + 3/((-12)/8) + 3. Let b(t) = t + 5. Let r be b(0). Is r at least as big as x?
True
Suppose -2*g + 6*g - 16 = 0. Let i be (2/g)/((-5)/(-20)). Let m be (-5)/((-225)/96) - i. Which is smaller: -1/2 or m?
-1/2
Suppose 2*r + 4 + 4 = -3*x, 16 = -4*x. Suppose -3*k = z - k + r, -24 = 5*z - 4*k. Let g be (-2)/(-4) + z/8. Which is greater: -1 or g?
g
Suppose 88*b - 4 = 92*b. Which is bigger: -2/739 or b?
-2/739
Let k(v) = -v**3 + 14*v**2 - 12*v - 10. Let t be k(13). Suppose -3*p - 2*m + 1 = 0, -4 = 4*p + 5*m - t. Is 3/5 at most as big as p?
True
Let h be 521/10 + ((-505)/50 - -10). Which is smaller: 51 or h?
51
Suppose -5*j - 1 = -21. Let n be ((4 - j)/(-2))/(-3). Suppose -5*s - 3*l = 136, 0*s - 5*s - l - 142 = n. Is s at most -29?
True
Suppose -8 + 23 = 5*h. Let p be 1/h - (-22)/(-12). Suppose 0 = -4*m - b - 11, 0 = 4*m - 5*b - 7. Is p less than m?
False
Let u = 244 - 497. Are -253 and u non-equal?
False
Suppose 5*l - 83 + 3 = 0. Suppose 3*c - l = -c. Let t(o) = 4*o**3 + o**2 - 1. Let r be t(1). Is c less than r?
False
Let b be 96/252*(-6)/(-536). Is b <= 0?
False
Let p = -0.2622 - -0.0622. Is p at most as big as 2.6?
True
Let s = 2/3577 + 71522/32193. Let j be ((-2)/1)/(-5 + 3). Which is greater: s or j?
s
Suppose -50*r = -z - 49*r + 10, 3*z = -r + 18. Is 8 less than z?
False
Let a(r) = 24*r + 18. Let g be a(4). Suppose -8*j + 2*j = -g. Is 21 > j?
True
Let k be 1 + 9*1/(-7). Suppose 0 = -25*w - 22 + 22. Are k and w nonequal?
True
Let v = -84 + 9661/115. Do -1 and v have different values?
True
Let h be (115740/(-868))/5 + (-2)/(-1). Let w = 172/7 + h. Which is greater: w or -1?
w
Let v be (-135)/(6/12*2). Let k = 134 + v. Let h be (2/5)/((-18)/(-10)). Which is bigger: k or h?
h
Suppose -5*n + 261 = -3*a, 4*a + 8*n + 348 = 4*n. Let r = a + 124. Which is greater: 36 or r?
r
Let b be 6*1/(1 - -2). Let g be 8/((-8)/44 - 320/176). Which is greater: g or b?
b
Suppose 5*u = 4*z + u + 56, 3*u = -5*z - 30. Let p(g) = -2*g - 2 - 2*g**2 + 2*g - 4*g. Let i be p(-3). Which is bigger: z or i?
i
Suppose 0 = 28*b - 30*b + 38. Let r = b + -379/20. Which is bigger: 1 or r?
1
Let l(b) = -7*b**2 + 3*b - 3. Suppose 0 = 4*z + 3*r - 171, -r = 2*z - 0*z - 83. Suppose 42*t = z*t + 3. Let w be l(t). Which is smaller: -6 or w?
w
Suppose -y = -5*s - 121, -9*y = s - 7*y + 22. Is -5 >= s?
True
Let l = 486 - 493. Which is smaller: l or -0.1?
l
Let u = 142 + -197. Which is smaller: -49 or u?
u
Suppose -60 = -3*j - j. Suppose 0 = -o - 0 - 9. Let r = o - j. Is r smaller than -23?
True
Suppose -37*k + 115 = -14*k. Let z = 49/15 - -7/3. Are k and z equal?
False
Let x = -7752 - -775191/100