q = 1226 - 1226. Which is smaller: q or -203?
-203
Let c = -923731/65131 - -5/5921. Which is smaller: -13 or c?
c
Suppose 0 = 4*n - 2*r + 10, -2*n = -5*r + r + 20. Suppose 3 = c + q, n*c - 3*q + 17 = 5*c. Suppose 2*g - 8 = -0*g. Do c and g have different values?
False
Let g = -8005/156 + 154/3. Let w = g + 3/13. Which is smaller: 0.3 or w?
w
Let z = -0.37 + -0.63. Which is smaller: 1 or z?
z
Let g = 89.5 - 89.4. Suppose 2*u + 4*b - 2 = 20, 0 = -u + 3*b + 26. Let s = u - 11. Are g and s nonequal?
True
Let n be 0/5 - 4*-1 - 1. Suppose 3*a = -a + 4*s + 256, -n*a + s + 188 = 0. Is a at most 63?
True
Let m(l) = -48*l + 288. Let u be m(6). Which is greater: u or -9/50?
u
Let m(d) = 4*d - 25. Let w be m(8). Suppose 80 = -4*f - k, -3*f - 48 + w = -4*k. Which is smaller: f or -21?
-21
Let s be 1/(-5) - (1 - (-12)/15). Let c be 100/(-6) - s/3. Is -16 at least c?
True
Suppose -4*j + 16 = 0, 5*t + j - 3*j = 232. Suppose o + t = 48. Does 1/38 = o?
False
Let m = 79/100 - 1/25. Let f(h) = -2*h + 13. Let b = -28 - -34. Let p be f(b). Are p and m non-equal?
True
Let l be -1 - 236/(-14) - 0. Let p = l - 16. Suppose 2*q + 48 - 48 = 0. Which is bigger: p or q?
q
Let r be 2/(-1) - (1 - -7). Let w(i) = -2*i**2 - 28*i + 18. Let y be w(-15). Are y and r equal?
False
Let y be ((-10)/(-1560))/(6/60). Which is bigger: 1 or y?
1
Let r be (-10)/20*-74*(2 + -3). Is r < -36?
True
Let v = 527.67 - 531. Let k = 1.13 + v. Which is greater: k or -0.2?
-0.2
Let l = -397/93351 + -4/841. Does l = 0?
False
Let b = -237 - -278. Which is greater: 42 or b?
42
Let f(h) = 6*h - 3*h**3 + 2*h**3 - h**2 + 6*h**2. Let d be f(6). Let y = -22/9 - -304/117. Is d <= y?
True
Let a be 150/24 + 1 + 1/(-4). Suppose -a*u = 3*u. Is u at least as big as 6/17?
False
Let k = 2901 - -22965. Let j = k + -180714/7. Let l = j - 50. Are -9 and l equal?
False
Suppose -2*v - 299 = 5*z, -v = 2*v - 9. Let t = -88 - z. Is t smaller than -27?
False
Let g = 58 + -58.83. Which is smaller: g or 0.1?
g
Let g be 4910/24*12/(-30). Let m = g - -82. Which is bigger: -0.2 or m?
m
Let t(c) = 4*c**2 - 5*c - 12. Let j be t(5). Suppose 3*d = -15 - j. Let m = d - -26. Which is smaller: m or 1/2?
m
Let g be 18*(5/1 + -32). Let c be 4 - (-15)/g*(125 + 3). Which is smaller: c or -1?
-1
Let o = -0.08 + 1.08. Let c = 4.14 - 4. Let d = 0.04 - c. Is d equal to o?
False
Let x(j) = j**3 - 5*j**2 - 7*j + 6. Let y be x(6). Let c = 43/78740 - -3/508. Let z = c - -92/155. Which is smaller: y or z?
y
Let q = 112 + -51. Let g = 66 - q. Are g and 8 unequal?
True
Let c(o) = -o**3 - 7*o**2 + o. Let r be c(-7). Let t(i) = i + 2. Let y be t(r). Which is bigger: y or -3?
-3
Suppose -4*g + 1168 = 4*d, -3*g = -5*g + d + 590. Is g <= 294?
True
Let p = 0.0381 + 21.9619. Is 0 at least p?
False
Let h(v) = v + 14. Let j(p) = p - 10. Let w be j(10). Let l be h(w). Let u be l/42*3/(-10). Do 0 and u have the same value?
False
Suppose 0 = -s + 5*s. Let p be ((-32)/(-36))/(-4) + 1504/6606. Let c = 319/8808 + p. Which is smaller: c or s?
s
Let v = -14 - -16. Suppose a - 2*a + q = -5, v*a - 4*q = 20. Let n be ((-9)/(-8) + -1)*2. Are n and a nonequal?
True
Let a(k) = -3*k**2 + 5*k - 2. Let q be a(3). Which is smaller: -15 or q?
-15
Let x(f) = -f - 3. Let y be x(-6). Suppose -54 = -y*z + 105. Which is smaller: 52 or z?
52
Let k be (24/28)/(6/28). Suppose -5*c = -0*j + 2*j + 25, k*c = -12. Let m be ((-8)/40)/(1/j). Which is bigger: m or -1?
m
Let p be 9/(-12)*(728/(-21) + -4). Is 25 not equal to p?
True
Let o(t) = -2*t + 17. Let y be o(-7). Let q(v) = -16*v - 1. Let j be q(-2). Is y at least as big as j?
True
Let a(d) = 9*d + 4. Let f be a(2). Let h = f - 18. Suppose h*i - 2 = -6. Do i and -3 have different values?
True
Let h be (-1)/(-5) + 6/(-5). Which is bigger: -3/20 or h?
-3/20
Let k(z) = -z - 10. Let y be 4/(-24) + (-1)/(-6). Let u be k(y). Let r = u - -10. Is 1 > r?
True
Let t = -15.6 - -1.6. Is t > -0.8?
False
Suppose 5*u = 3*d - d - 83, 2*u - 3*d + 42 = 0. Let w = u + 74/5. Suppose 0 = -o - 5*m - 15, m + 5 = -4*o + 2. Is w at most as big as o?
True
Let p = 178 - 178. Is p != 4/27?
True
Suppose 5*r = 15, 5*d - 7 = 4*r + 541. Which is bigger: 113 or d?
113
Let y(q) = q**2 - 20*q - 5. Let v be y(10). Let l be (-70)/(-60)*2/v*-2. Does l = 1?
False
Let n(a) = -a**2 + 5*a + 13. Let f be n(4). Let j = f - 16. Is -1/7 > j?
False
Let h = -1 - 2. Let m be 1 - (h + 1)/22. Let v(k) = 42*k - 461. Let x be v(11). Which is smaller: m or x?
x
Let p be 1092/24*(0 - 1). Is -46 greater than p?
False
Let p = -8.02414 - 0.00486. Let d = 0.029 + p. Suppose -5*j - 2 = 8. Which is smaller: j or d?
d
Let c(y) = -5*y**2 + 8*y - 15. Let z be c(5). Let m be (-6 + z/(-16))/(38/(-8)). Is m < 1?
True
Suppose -4*m + 216 = 4*f, 3*f - 94 = f + 5*m. Let g = f - 53. Which is bigger: g or -3/5?
-3/5
Let u(x) = -3*x - 46. Let t be u(-16). Let m be (-1 - 0)*(0 + 3). Let z be 1 + 21/(-72)*m. Which is greater: z or t?
t
Let t(h) = -h + 4. Let u be t(2). Suppose -10 = -u*p, -71 = -3*z + 2*z - 4*p. Suppose z = -0*m - 3*m. Do m and -17 have different values?
False
Let v be 252/(-20) - (-3)/5. Let l = v + 16. Suppose -22 + 2 = 4*k, -3*r + 29 = -l*k. Is r >= 2?
True
Suppose s - 3*s = -2*r, 0 = 3*r - 5*s. Let q be 6/(-8)*832/(-1716). Which is greater: r or q?
q
Let n(p) = -14*p**2 + 19*p + 10. Let a be n(4). Is -138 smaller than a?
False
Let s be ((-2)/(-12)*-2)/((-14)/84). Suppose -4*c - 1 = -p, -5*c - 9 = -s*p - 4. Are c and -4 unequal?
True
Let p be ((-33)/198)/(2 - (-37)/(-18)). Which is bigger: p or 45/14?
45/14
Suppose -42 + 10 = 4*d. Let v = 11 + -8. Let u be ((-189)/(-12))/(-7)*10/v. Which is smaller: d or u?
d
Let p = -29 - -30. Let a = -21.14 - -21. Is a less than p?
True
Let a = 16.2 - 17. Let g = a + 6.8. Are 2/5 and g nonequal?
True
Let y be ((-2)/8 - 54/(-24))*10. Is y < 23?
True
Let i = -1556 + 1401. Is i greater than -155?
False
Let a(d) = 506*d**2 + 2*d - 1. Let s be a(2). Let m = -204729/101 + s. Which is bigger: 1 or m?
1
Let q = -170/21 - -52/7. Which is greater: q or -181?
q
Let i = 0 + 29. Suppose 3*q = -p - 19, q + 4*q = -p - i. Suppose -4*m + 12 = -2*f, 0*m - 5*m - 3 = 2*f. Is f at least as big as p?
True
Let p = 218/11 + -1195/22. Let s = 48 - 15. Let q = s + p. Which is bigger: 3 or q?
3
Let g = 145/298 - -2/149. Which is greater: g or 1.1?
1.1
Let i be 1*(-6)/4*(-20)/30. Suppose 4*h + i = 5*h. Which is bigger: 11/10 or h?
11/10
Let d = -392 + 597. Let c = d - 1849/9. Which is smaller: c or -1?
-1
Let s = -169 - -165. Let t(w) = 5*w + 5. Let z be t(s). Suppose -j - 2 = 15. Is z > j?
True
Suppose 0*b + 2*b = 0. Let n be 4 + 91/(-28) + 138/8. Let a = n + -21. Which is smaller: a or b?
a
Let w(p) = -90*p - 27. Let o be w(-1). Is o less than 62?
False
Let g(x) = -2 - 3*x - 9*x**2 - 2 + 10*x**2. Let j be g(-3). Let r(f) = f**2 - 15*f + 10. Let s be r(j). Are -4 and s nonequal?
False
Suppose 5*y - 5*s - 474 + 354 = 0, 0 = -4*y + 2*s + 110. Suppose 0 = 3*v - 2 - 7, -3*v + 96 = 3*o. Which is greater: y or o?
y
Suppose 12*a + 300 = 7*a. Let l be 98/(-76) - a/40. Which is smaller: l or 0?
0
Let p = 44 + -43.91. Let z = p - 0.19. Which is greater: z or 0.047?
0.047
Let x be (4 - 12)/(-4) + 0 + 1. Suppose -19 = x*n + 11. Which is smaller: -17/2 or n?
n
Let h = -262 + 262. Is h greater than or equal to 1.1?
False
Let s = -0.674 - -573.674. Which is bigger: s or -1/3?
s
Suppose 4*t - 2*x = -2 - 0, -3*t + 3*x = -3. Let k = 133 + -537/4. Are t and k unequal?
True
Let i = -42 + 37. Let j(n) = n**3 + 5*n**2 - n - 6. Let o be j(i). Is 5/11 at least o?
True
Suppose -2*d + 52 = -2*o + 60, -8 = -4*o + 2*d. Which is bigger: o or 1/4886?
1/4886
Suppose 0 = -66*w + 71*w + 30. Let p be (8/w)/(6/9 + -2). Which is smaller: p or -6/25?
-6/25
Let r = -323 + 288.1. Let l = r + 35. Let g = -1.5 + 8.5. Which is smaller: g or l?
l
Let i be (-143)/3575 + 2501/25. Let o be (202/(-8))/(2/(-8)). Which is smaller: i or o?
i
Let w = 717 + -875. Which is smaller: w or -159?
-159
Let a(g) = 5*g + 2*g - g**2 + 1 - 3*g + 6. Let x be a(5). Suppose x*p = -r + p - 4, -5*p = -r + 8. Is -3/4 less than or equal to r?
False
Let g = -158 + -197. Is g <= -353?
True
Let x be (-2 + 24)/((-8)/24). Do -64 and x have the same value?
False
Let a be -1 - (56/6)/(-7). Let u = -0.5 + 2.5. Let n = 5 - u. Which is greater: n or a?
n
L