
-0.4
Let a be ((-3)/45)/((-380)/120). Suppose -3*w - 1 = -4. Do w and a have different values?
True
Let d = 7 + 7. Let c = -18 + d. Let v = c + 10. Which is greater: v or 2/7?
v
Let u = -242 + 241.7. Is 3 smaller than u?
False
Let v = -1315.2 - -1315. Which is smaller: v or 0.019?
v
Let y(c) = c**3 + 2*c**2 - 8*c + 8. Let d be y(-4). Suppose -12*r = -13*r - 3. Does d = r?
False
Let j(d) = -3*d + 3. Suppose 0 = -5*k + 5, 4*o - 2*k + 5*k - 15 = 0. Suppose -f = -2*y - 0*y - 6, 0 = o*f - y - 8. Let p be j(f). Is p less than -3?
False
Let s = -0.0114 + 25.0114. Is 20 smaller than s?
True
Suppose 5*a + w - 33 = -0*a, -2*w = 4*a - 24. Let h = 92 + -27. Suppose 0 = 5*g - 5*n - h, 0*n - 48 = -4*g + 3*n. Which is greater: a or g?
g
Let w = 19 - 14. Let s be 12/14*(2 + w). Suppose d + d = 8. Is s smaller than d?
False
Let a = -5 + 5. Suppose 3*g = -0*g + 5*t + 25, a = -2*g - 2*t - 10. Suppose 4*m + 3*p - 5*p + 26 = g, 19 = -5*m - 2*p. Which is smaller: m or -1?
m
Let n be 2/14 + 5334/1421 + -4. Which is smaller: 0 or n?
n
Let w be ((-82)/(-1066))/(45/24 - 2). Is 0 <= w?
False
Let k = 503 - 502. Which is greater: -109 or k?
k
Let z be 5*(-3)/(30/8). Let r be 4 + (-4 - -1 - 5). Let a be (6 - 6) + (r - -1). Which is smaller: a or z?
z
Let u = 48 - 48. Suppose 0 = -3*l + 12, 4*r + 23 + 41 = -3*l. Which is smaller: u or r?
r
Suppose -12*a = -165 + 1449. Are -425/4 and a unequal?
True
Let u = -787 + 778. Which is greater: u or 0.02?
0.02
Let l(y) = -y**2 + 4*y + 3. Let x be l(5). Let r be (11/(-44))/(x/2). Let s = -10 + 7. Is r greater than s?
True
Suppose -124698 = -t + 4*t. Let k = t - -373600/9. Let o = 55 + k. Which is greater: 0 or o?
o
Let i(c) = -10*c + 66. Let x be i(-37). Which is smaller: x or 435?
435
Let k = 1433 - -1291. Let q be ((-1)/(-36))/((-30)/k). Let z = -1/45 - q. Is 3 equal to z?
False
Let m = -3.6 + 3.4. Is 4.1 bigger than m?
True
Let i = -26.5 + 26.3. Does i = -51?
False
Let d = -18.87 - 1.13. Let j = -61/2 + 30. Is d less than or equal to j?
True
Suppose -8 = 3*o - 2. Let b be 6*(o - (-4)/3) + 3. Is 3/34 greater than b?
True
Suppose 0 = 4*r - 6 + 2. Let j = -0.3512 - 0.1488. Which is bigger: j or r?
r
Let c(h) = -5*h - 6. Let i = 20 + -22. Let t be c(i). Which is bigger: 0 or t?
t
Let v(j) = 8*j**3 + 1. Let d be v(1). Suppose -11 = -5*r + d. Suppose -c = r*c + 5. Is c less than 1?
True
Suppose -19*b = -58 - 56. Which is bigger: 3 or b?
b
Let b = -121/2923 - -2/37. Are b and 1 nonequal?
True
Let h(b) = -b**3 - 6*b**2 + 13*b + 12. Let f be h(-9). Suppose -21 - f = 3*j. Let y = j - -478/9. Is y < -1/2?
False
Let u be 4 - 9/(5940/2576). Let g = u + 10/33. Which is smaller: 0.07 or g?
0.07
Let i(k) = -k - 4. Let d be i(10). Let m be ((-13)/d - 1)*8. Is m >= -1?
True
Let w be (3/(-2))/((-6)/12). Suppose 4*k = w*k. Are 0 and k non-equal?
False
Let f = -7 - -34. Let d = f + -27. Is d smaller than -4?
False
Let r be (-30)/3 + 4 + 6. Is 4 greater than or equal to r?
True
Suppose 10 = -5*f, -31*j + 4*f = -26*j - 203. Let c(v) = -2*v**3 - 5*v**2 + v - 4. Let p be c(-4). Which is greater: j or p?
p
Let g be 72/96 + (2 - 1073/396). Which is bigger: -1 or g?
g
Let s be (1 - (-52)/(-40))/((-2)/65). Does s = 10?
False
Let d be (-7)/((-28)/304) + 7. Does 79 = d?
False
Let d = 3.61 - -593.39. Which is smaller: -0.1 or d?
-0.1
Let l(u) = u**2 + 14*u + 7. Let o be l(-10). Let t = -130 - o. Which is greater: -98 or t?
t
Suppose -187*m = -179*m - 128. Which is greater: m or 10?
m
Let o = -117 + 120. Let r be (3/(-88))/((-3)/2). Which is greater: o or r?
o
Let q = -8 - -13. Suppose 2*z - q = z. Suppose -3*l + 7 = -z*y, -2*l + 0*l + 5 = -3*y. Is y at least as big as -3/7?
True
Let a = -17 - -15. Let j be (a + 3)*2/4. Is -32 > j?
False
Let z = -2 - -4. Let t = z + -3. Let g(f) = -f**2 - 4*f - 2. Let p be g(-4). Are p and t non-equal?
True
Let a = -13 - -36. Let c = 6 - a. Let g = c - -16.75. Is g equal to -0.1?
False
Let x be (-1555)/(-60) + 12/144. Is x less than 21?
False
Let k = -8.629 + 1.629. Is k at least -1/75?
False
Let r(y) = y + 10 + 10 - 15. Let c be r(-6). Is c >= -1?
True
Suppose c + 52 = -3*c. Let a = -11 - c. Let h = -3 + a. Is -1 at most h?
True
Let s(u) = -81*u**3 + 3*u**2 + 4*u. Let i be s(2). Are -629 and i equal?
False
Let s(i) = i**2 - 5*i + 2. Let j be s(5). Let n be -1*(5 + (j - 4)). Which is smaller: -8/3 or n?
n
Suppose c = -4, 7*x - 3*x + 28 = -4*c. Is x > -8?
True
Let c = 74982 - 1501581/20. Let p = c + 97. Is 0 less than p?
False
Let y be (-1 + 2/8)*(-240)/(-100). Suppose 3*z = 4*z - 3. Suppose -4*m - 5*x + 16 = 0, 0 = 5*m - z*m + 5*x - 18. Which is smaller: y or m?
y
Suppose -4*f = 5*w + 5, -2*f + 50 = 3*f - 5*w. Suppose 0*t - f*t - 2*v + 114 = 0, -4*t + v + 99 = 0. Let g = -20 + t. Is g > 4?
False
Let b = -65 - -36. Let t = b - -30. Suppose -c + t = -2*c. Which is greater: c or 2/21?
2/21
Let d = 0.1 + 0.1. Let q = 0.094 - -0.056. Let n = 0.55 - q. Is n greater than d?
True
Let b(r) = -3*r + 30. Let t be b(-8). Which is greater: 55 or t?
55
Suppose 3*o + 24 = 7*o. Let m = o + -4. Which is bigger: -2 or m?
m
Let v = -2415 + 1497. Let y be (-16)/(-88) - (2 - v/(-33)). Let o = -142/5 - -28. Which is bigger: o or y?
y
Let i be -3 - ((-669)/45 + (-4)/30). Let c(p) = -p**2 + 13*p - 17. Let l be c(i). Which is smaller: l or -7?
-7
Let b(x) = -4*x**3 - x**2 - 17*x + 40. Let p be b(2). Is p at least -26?
False
Suppose 8*z - 3*z = 50. Let w be 3/(15/(-65))*-1. Let v(n) = n**2 - 11*n - 18. Let j be v(w). Is z equal to j?
False
Let y = 218 + -73. Is y greater than 145?
False
Suppose -13*f + 15 = -8*f. Suppose -2*h - 3 = -f. Which is smaller: h or 2/91?
h
Suppose 5*j + 18 = 14*j. Suppose 4*s = r + j*s + 10, -4 = 2*s. Is -14 at least r?
True
Let z = -0.04 - 1.96. Let a = 2.1 + z. Let i be 325/45 + -7 + (-159)/108. Which is smaller: a or i?
i
Let w be 1 + (-2 - (-14)/(-12)). Suppose -4*d + 8*s = 6*s - 52, -4*s = 3*d - 17. Let t = d + -14. Is w bigger than t?
True
Let m be ((-4)/6 - -1)/(-2). Let n = 72.13 - 72. Which is smaller: m or n?
m
Suppose -4 = -200*l + 196*l - 5*c, 4*l + 3*c - 4 = 0. Which is greater: -2/3235 or l?
l
Let s = -102.1 + 104. Is s >= -2/5?
True
Let y(g) = -2*g**2 - 49*g - 6. Let u be y(-24). Let z be ((-4)/(-2))/u*36/42. Which is bigger: -1 or z?
z
Let s(y) = 4*y**3 - 2*y**2 + 2*y - 1. Let j be s(1). Suppose j + 2 = -g. Let f be (1 + g)*(-4)/8. Which is greater: f or -1?
f
Let s = -1284111/100813 - -930/73. Let h = s + 2285/219579. Which is greater: h or 0?
h
Let u = -2539/1778 - 1/1778. Suppose 3*v - 4*f = 9, 5*v - 2*v + 6 = -f. Which is smaller: u or v?
u
Let m = -402 + 287. Which is bigger: m or -119?
m
Let d = 18 - 25. Let l = -7 - d. Which is smaller: l or 7/5?
l
Let g be (-140)/(-245)*(-1)/(-238). Which is smaller: -1 or g?
-1
Let k = -16930/117 - -1306/9. Is k != 0?
True
Suppose 2*k - 3*k + 4*z = -21, 0 = -2*k - z - 3. Let r be 11248/(-26334) + 1*(-4)/(-14). Let v = r - -535/1683. Which is greater: k or v?
k
Let c be (-60)/(-14) + 36/(-63)*7. Which is smaller: c or 54?
c
Let n(j) = -j**2 + 17*j - 24. Let a be (6 - 18)/(3/6). Let c = a + 40. Let f be n(c). Are -8 and f unequal?
False
Suppose 34 - 26 = 3*t + 4*o, -o + 2 = 2*t. Which is smaller: t or -1/784?
-1/784
Suppose 0 = 2*g - 0*g. Let x = -13 + 24. Which is bigger: g or x?
x
Let v = 1432/3 + -478. Which is greater: -101 or v?
v
Let d = -41 + 17. Let s = -21 - d. Suppose 4*y + 3 = -c + 2*c, 0 = 4*y - s*c - 7. Which is greater: 1 or y?
1
Let g = -4.05 + 4. Let a = 14 + -13.8. Do g and a have different values?
True
Suppose 45 = -13*j + 8*j. Let l be 1645/330 + j + 4. Which is bigger: l or 2?
2
Let d be 3 - 492/156 - (-177)/52. Let g(y) = -y**3 - 3*y**2 - 2*y - 4. Let v be g(-3). Is v greater than or equal to d?
False
Suppose 4*r + 4*y + 184 = 0, -4*y - 232 + 0 = 5*r. Let w be (-1)/6 - 8/r. Are w and 2/83 equal?
False
Let t be (1/(-2))/((-18)/88). Let v(h) = h**3 - 4*h**2 - 6*h + 8. Let n be v(5). Is t greater than n?
False
Let c = 126 - 121. Which is greater: c or -1/11?
c
Let o = 12690/40271 - -5/523. Which is greater: o or 1?
1
Suppose 15*d = d + 1862. Let c = d - 85. Which is smaller: 49 or c?
c
Suppose 0 = -6*j + 3*j + 6. Let d(r) = 0*r + 6 + 0*r - 1 - j*r. Let n be d(4). Is n less than -4?
False
Let c = -406 - -435. Do c and -1 have different values?
True
L