 o or y?
y
Let b be (2 + 2)/(-12)*0 - (-588 + 41). Which is bigger: b or -3?
b
Let m be ((1 - 0)*8)/(-7 + 6). Let b(y) = y**3 + 8*y**2 + 3. Let c be b(m). Suppose c*q + 22 = 22. Do 13/9 and q have different values?
True
Let k be 4 + 0 - (-26 + 20). Let o be 19/21 - ((20 - k) + -9). Is o less than 1.8?
True
Suppose 25 + 59 = 3*k. Let z(q) = -q**2 + 12*q. Let n be z(12). Suppose n = -4*j + 4 + 108. Is j smaller than k?
False
Let u = 3820 + -3819.889. Is u at least -0.5?
True
Suppose 5*t + 79 = 3*c + 95, 2*t + 2*c = 16. Which is smaller: t or 69/17?
69/17
Let y(c) = 4*c - 4. Let n be y(1). Suppose n = -13*b + b + 492. Suppose 50*d - 56*d + 246 = 0. Is d != b?
False
Suppose 4*i + 5*c = 2*c + 128, -3*i + 4*c + 96 = 0. Suppose 4*f - 3948 = i*f. Which is greater: -142 or f?
f
Let i = 2.84 + -3.84. Which is smaller: i or 21/535?
i
Let z be (-4)/408*(-29 - (-12530)/430). Let y(b) = -b**3 - 3*b**2 - 3*b - 2. Let v be y(-2). Which is greater: v or z?
v
Let l = 65347/137 - 477. Is 4 > l?
True
Let u be (12/(-1113))/((-20)/(-70)). Suppose -5 = 2*f + 3*f. Which is bigger: f or u?
u
Suppose 180 = -x + 4*c + 173, 0 = -4*x - c + 23. Is x at most 67/17?
False
Suppose -12*u + 1129 + 1284 = 757. Does u = 128?
False
Let h(s) = -s**2 + 38. Let a be h(-6). Let p be 12/16 - 1*a/(-8). Let f be p*((-15)/(-21) + (-2)/(-7)). Is f equal to 2/15?
False
Let n(z) = -z**2 - 2*z + 58. Let s be n(7). Let l be 1/((-20)/(-588))*s. Are -147 and l unequal?
False
Let z = 4.9 - 5. Let h = 107.61 + -11.61. Which is bigger: z or h?
h
Let p = 0.886 - -364.114. Let b = p - 373. Are b and -8 non-equal?
False
Let c = -156 - -168. Suppose -3*i - 2*x - c = 0, 10 + 5 = 5*x. Are -33/5 and i equal?
False
Let u be 2/4 - 4/6. Let v = -1764 + 2581. Let g = 833 - v. Which is smaller: g or u?
u
Let j = -884.307 - -0.307. Let l = -883.9 - j. Is -12 > l?
False
Let a = -3698 + 3699. Do 238/9 and a have the same value?
False
Let m = -113 - -53. Let b = -135 - m. Let u be (-1722)/(-1558) - (-2)/(-19). Is u < b?
False
Let r = -242 + 245. Let w(j) = -j**2 + 10*j - 18. Let q be w(r). Is 27/7 <= q?
False
Let p be (-4)/(-16)*1 - (-39825)/(-100). Is 1 less than or equal to p?
False
Suppose 26*y - 10*y = 15792. Which is bigger: 985 or y?
y
Suppose 91*y - 1369 = -105*y + 1571. Which is smaller: y or 74?
y
Let g = 33 + -62. Let v = 49 + g. Let d = 12 + 9. Is v != d?
True
Suppose 0 = -2*a, 4*a = g + 3*a - 21. Suppose 7*b = 12*b - 210. Let x be 414/g + 12/b. Which is bigger: -1 or x?
x
Let g(d) = -d**3 - d**2 + 2*d + 2. Let o be g(-2). Suppose 0 = -p + 3 - 6. Let u be 5*(-5 - (-33)/15 - p). Are u and o nonequal?
True
Let g = 1383 - 1322. Let b be -2*(-6)/2*10. Which is bigger: b or g?
g
Let y(s) = -s**3 - 29*s**2 - 3*s - 76. Let p be y(-29). Suppose 0*b = 5*b + 1740. Let t be b/(-22) + 2/p. Do 16 and t have the same value?
True
Let l(s) = -8*s + 9*s + 4 - 5*s. Let h(o) = 3*o - 4. Let d(v) = -3*h(v) - 2*l(v). Let i be d(4). Which is smaller: 2/11 or i?
i
Let j(f) = -3*f - 16. Let l be j(-7). Suppose 5*y + 10 = l*m - 10, 5*y = -10. Let q be (10/6 - 3)/(m/12). Which is smaller: 1 or q?
q
Suppose a = 2*a + 5*q - 16, 13 = a + 2*q. Let v be (-1)/1 + -3 + a. Suppose 2*u = v*u + 20. Which is bigger: 2 or u?
2
Let w be (-229)/(4 + (-5 - -2)). Let u = 1379/6 + w. Let k(m) = -m**2 - 3*m - 2. Let v be k(-2). Are v and u equal?
False
Let l(z) = 100*z**3 + z**2 + 17*z - 17. Let f be l(1). Is 819/8 at least as big as f?
True
Let c = -2681 + 2647. Let j be (-796)/22 + (-4)/(-22). Which is greater: c or j?
c
Let v = -32117/3 - -10705. Do 0.551 and v have the same value?
False
Let p = 1208832/21535 - 2/64605. Do 56 and p have different values?
True
Let c = -9134 + 9191. Are c and 118 non-equal?
True
Let k = -10 + 43. Suppose 547*m = 627*m + 198 + 42. Which is greater: k or m?
k
Let a = -154 - -190. Let q = a + -33. Let l = 16 - 49/3. Is l at most q?
True
Suppose 5*y + 3*d + 15 = -0*y, -4*y = -d + 29. Let c be (144/y)/6 - -3. Is 2/75 not equal to c?
True
Suppose -175 = -12*i - 31. Suppose 2*y - 3*u = 20, -5*y + 75 = -u + i. Let s be (-9)/(-21) - (-737)/77. Which is bigger: s or y?
y
Let t = -11.4 - 9. Let h = t + 0.4. Is 1 >= h?
True
Let y(s) = -2*s**2 + 2*s - 3. Let w be y(-4). Suppose 0*c = -4*c + 8. Let x(t) = -25*t + 8. Let q be x(c). Is w greater than or equal to q?
False
Suppose 8*r = 45 + 43. Suppose 29 - 7 = -r*g. Are -23/7 and g non-equal?
True
Let n = 70.76 - 70.81. Which is smaller: n or 2/73?
n
Let t = -2471/6 - -893/2. Let p be 7 - 9/((-72)/232). Is p less than or equal to t?
False
Suppose 2*n = 2*d + 100, 2*n = -4*d - 95 - 93. Suppose 2*i = -504 + 592. Let y = -92 + i. Do d and y have different values?
False
Suppose 42*x = -74*x + 94*x + 11088. Which is bigger: 510 or x?
510
Let i be ((-1)/5)/(12/(-10)). Let x = 584 + -701. Let y be (-1)/(-3) - (x/(-27) - 5). Is i greater than y?
False
Let m(a) = 5*a**3 - 7*a**2 + 8*a + 6. Let c be m(8). Is 2182 less than or equal to c?
True
Let x = 5162 - 5153. Let i = 29 - 48. Let j = x + i. Are j and -2 unequal?
True
Let d = -1.2 + 0.96. Let c = d + -0.76. Let h = 13 - 13.02. Is c < h?
True
Let p be 0 + (-5)/(-10) - 5/18. Let c = 2.1 - 0.3. Let w = -2.2 - c. Which is greater: w or p?
p
Let v(r) = 13*r + 93. Let g be v(13). Let s = 388 - g. Is 126 <= s?
True
Let w be 0 + (-2518)/(-12) - 25/(-150). Suppose -212 = -4*l + 4*c - 20, -5*l - c + w = 0. Is l equal to 44?
False
Let t = -2 + 1. Let z be 28*24/(-930) + 3/(45/6). Is t >= z?
False
Let s(d) = -221*d - 5192. Let z be s(-15). Is z greater than or equal to -1880?
True
Let t = -423.7 + 423.6. Which is smaller: 90 or t?
t
Let l = -5671 - -5672.828. Is 2 >= l?
True
Let t = -6369/5 + 1274. Let m = -9 + -7. Which is greater: m or t?
t
Let r(q) be the third derivative of -5*q**6/24 - q**5/30 + 5*q**4/24 + 7*q**3/6 - 134*q**2. Let b be r(-1). Which is greater: b or 24?
b
Let r be 13/(-13)*(-5 + -732). Are 735 and r non-equal?
True
Suppose 29*r = 2*r. Suppose -3*u = 2*u. Suppose 3*c + 5*a - 9 = u, 0 = -2*c + 6*c - 3*a - 41. Is r less than or equal to c?
True
Let l = -8956 - -19868. Is l < 10910?
False
Suppose -6*y + 2*y - 4*s = 44, -2*s = -8. Let r(c) = -c**3 - 13*c**2 + 32*c + 47. Let g be r(y). Which is smaller: 8 or g?
8
Let i = -547.342 - 0.058. Let a = 548 + i. Is a <= 16?
True
Suppose 10*j = 13*j + 78. Suppose -2*m - 2*z - 54 = 0, 2*m - 3*m + 5*z - 45 = 0. Which is greater: m or j?
j
Suppose -24 = -11*a + 22*a + 13*a. Is -1/17656 > a?
True
Let m = 35 - 29. Let k be (-53 + 47)*1*8/m. Are k and 6 equal?
False
Let d = -10906.02 + 10695. Let c = d - -215. Let a = -0.02 - c. Is -2 less than or equal to a?
False
Let m = -454 + 273. Let s = 139 + m. Which is greater: -1 or s?
-1
Let l(d) be the third derivative of -d**4/24 + 9*d**2. Let h be l(-5). Suppose -3*j + 20 = 4*r, 0 = h*j + 2*r - 8 - 2. Is -1/132 at least as big as j?
False
Let b = -6.2 + 3. Suppose -f + 1 = 0, -o + 2*o - 8 = -3*f. Is b at least o?
False
Let n be -2 + 14 - (-5 + 2). Suppose 2*k - 5*t - 81 = -2*k, -5*t = -n. Suppose z = -4*y - y + 111, -k = -y - 2*z. Is 21 at least as big as y?
False
Suppose 11 = -5*k - 4*o, -3*o + 22 - 32 = 2*k. Is k < 29/22?
True
Let j = -12275 + 11511. Is j greater than -762?
False
Suppose -60*r - l = -56*r - 2, 2*r = l - 8. Which is greater: r or -19/547?
-19/547
Let t(m) = 84*m**2 - 9*m - 38. Let s be t(-4). Let u = s + -95280/71. Which is smaller: u or 1?
u
Suppose -257 = -19*v + 21*v - 3*r, -8*v + 2*r = 1058. Suppose -c - 3 = 0, -5*j + 3*c - 653 = -c. Is j < v?
False
Suppose 32110 = 18*j + 8*j. Suppose 10*a - j = 4*u + 9*a, u = -5*a - 293. Which is bigger: -309 or u?
u
Let h be 7 - (4 - (12 + -6)). Suppose h*q + u = 7*q + 18, -2*q + u + 10 = 0. Is 3 greater than or equal to q?
False
Suppose 4*b + 124 = -5*h, 4*b + 4 = -0. Let l = h - -31. Let v be (-3)/l*14/21. Which is smaller: v or 15?
v
Let q = 20703 + -20703. Which is smaller: -1/26289 or q?
-1/26289
Let w = -130 - -239. Let k = w + -146. Is k bigger than -37?
False
Let z be (-1 - -6)*6901/(-515). Let w(b) = b**2 + 76. Let p be w(0). Suppose 5*o - 3*q + 346 = 0, 0 = -o + q + 3*q - p. Which is smaller: z or o?
o
Let m = -0.0401 + -207.9599. Let l = -212 - m. Is l at most -4?
True
Let b(v) = -v**3 - 12*v**2 - 33*v + 17. Let h be b(-6). Is 199 at least h?
True
Suppose p = -2*m + 40, -3*m =