 + 25. Let j be b(1). Which is greater: j or g?
j
Suppose 5*v + 124 + 106 = 0. Let d = -42 - v. Suppose 5*a - d = s, -4*s + s = a + 12. Does s = -3?
False
Let z = 21819 - 7547. Is -1/2 not equal to z?
True
Suppose 8*j + 3044 + 18220 = 0. Let c be 2*j/4 - 4. Let a be (-3*1)/1 - c/465. Does a = 1/3?
False
Let n be 15 + (8/1 - (-150)/(-10)). Is 102/11 bigger than n?
True
Let u be -50 - -2 - (1 - -1). Let f be (-3 - -3) + 120/u. Which is smaller: -2 or f?
f
Let q = 2747 + -2746. Let c = -4064/3 - -1290. Let l = 7568/117 + c. Is q less than l?
False
Let x = -2/171 - -694/855. Let j be (-8)/(-10) + 8/(-16). Let y = x - j. Which is greater: -11 or y?
y
Let j(l) = l**3 + 10*l**2 + 32*l + 673. Let c be j(-12). Let p be ((-40)/(-38) + -1)/(35 - 26). Is c less than or equal to p?
False
Let v = -39 - -88. Let k be (25/(-3))/((-2)/(-18)*159/(-106)). Which is bigger: v or k?
k
Suppose -2*u = 2*v + 8, 4*u = 13*v - 9*v - 16. Is 2/5053 at most v?
False
Let q(c) = 20*c**2 - 3*c - 5. Let i be q(-1). Suppose 5*s - 20 = -n, 3*n + 3*s - 40 - 20 = 0. Which is smaller: i or n?
i
Let z = -2.021 + 2.084. Is 1/9 > z?
True
Let f = 240 - 242.3. Let u = f - -0.3. Is u <= 1?
True
Let c be (-7000)/16 + 1/(-2). Does c = -438?
True
Suppose -3*q + 11 = -4*q + 4*o, 3*q = -2*o + 9. Let h be (-24)/(q - (-2865)/(-2676)). Let b = 340 - h. Which is bigger: b or 0?
b
Let p = 27.4622 - -0.5378. Which is bigger: p or 0.2?
p
Suppose 4*c - 4 = -5*x + 16, c = -5. Let j = x - 1559/195. Which is smaller: j or -1?
-1
Suppose -41*y + 60 = -45*y. Let n be -3 + 90/35 + 556/(-42). Which is smaller: y or n?
y
Let a = 130 + -129. Let g be a/(147/(-36) + 4). Is -21/2 greater than g?
True
Let a be 3/(20820/(-4024)) + 3/5. Is a at most as big as 0?
False
Suppose 5 = -2*o + 3*l, -5*o + 0*o + 3*l + 10 = 0. Suppose t + n - o + 2 = 0, 7 = t + 5*n. Let d be (5*1/(-3))/(-2). Which is smaller: d or t?
d
Let z = -3.542 - -3446.542. Which is smaller: -1 or z?
-1
Let y = -4356 + 4356. Which is greater: y or 2/7945?
2/7945
Suppose 4*d - 354 + 328 = 5*a, -8 = -2*a - 3*d. Let v(q) = -4*q - 1. Let s be v(-1). Suppose -2*i - 19 = -l, l + s*i - 1 = 28. Which is greater: a or l?
l
Let o(p) = -p**2 + 11*p - 32. Let m be (28/(-5))/(22/(-55)). Let q be o(m). Which is greater: q or -76?
q
Suppose -132 + 6 = -3*n. Let p = -459 + 537. Suppose 3*l - 51 = p. Do l and n have the same value?
False
Let k = 1/1346 + 14803/4038. Which is smaller: -0.1 or k?
-0.1
Suppose -30*t + 28*t = 0. Suppose t = -6*q + 97 - 7. Is 13 != q?
True
Let b = -1282.6 + 1419. Let y = b + -136. Let s be (-24)/663 + 6/(-51). Is y >= s?
True
Let x(n) = n**3 + 25*n**2 - 27*n - 135. Let p be x(-26). Is p smaller than -766/7?
False
Let o = -11267 + 11433. Which is greater: o or 2/25?
o
Let x be (84/784)/(2664/189). Which is greater: x or 0?
x
Let l = 1397.8 - 1045. Let v = 353 - l. Is 9 <= v?
False
Let u = -0.2 + 0.7. Let r = 0.47 - u. Let c be ((-2)/88*-2)/((-61)/488 - (-3)/8). Which is smaller: r or c?
r
Let l be (18/(-8) + -2)/((-90)/(-40)). Let r(q) = q**3 + 4*q**2 - 9*q - 7. Let w be r(-5). Let a = w - 16. Are l and a equal?
False
Suppose 6 = -4*p + p + 4*t, t = -5*p + 13. Suppose -2239 = -i + u, -6*i = -p*i + 2*u - 8938. Let h be i/748 - (9 - 6). Which is smaller: h or 1?
h
Let r = -47 - -24. Let w be 1394/60 + 74/(-185). Let q = r + w. Which is smaller: q or 0?
q
Suppose c + 4 = 5. Let o(a) = -45*a + 20. Let j be o(11). Let r be (-50)/j - ((-154)/(-76) + -2). Which is smaller: c or r?
r
Suppose -3*r + 2*n + 9 = -n, -4*r = 4*n + 4. Let c be (-10)/(-8)*r*18/(-225). Is 0.26 > c?
True
Let g = -1499 - -3457. Is g less than or equal to 1957?
False
Suppose -48*v - 33 = -369. Suppose 12*t + v = -5. Which is greater: -3/295 or t?
-3/295
Let l = -39654100/1361 - -29136. Which is greater: -1 or l?
l
Suppose -5*z + 185 = 3*a + 45, 4*z - a = 112. Suppose 4940 = -8*q + z*q. Which is smaller: q or 249?
q
Let j = 20946 - 20948. Let f be (20/2)/((-4)/(-2)). Suppose -4*s + 8 = 0, 7 = f*p - 2*s - 4. Which is greater: p or j?
p
Let c = 38729.74299 + -38730. Which is smaller: -0.1 or c?
c
Let o be ((-1458)/(-18))/((1/(-5))/(28/105)). Which is smaller: o or -106?
o
Let v = 23/3264 + -7/6336. Which is smaller: 0 or v?
0
Let h = 12633 + -12692.17. Let a = h - 0.83. Suppose 0 = -0*w + 5*w + 5. Which is smaller: a or w?
a
Let k = -36139/642381 - -34/699. Is -0.1 > k?
False
Let r be (0 + 16/(-228))*3. Suppose 0 = -8*a - 16. Let k be -8 + (-8)/a + 3. Is k smaller than r?
True
Let b(j) = -j**3 + 12*j**2 + 2*j + 15. Let r be b(12). Let g = r - 179/5. Suppose -1 = -i + 2. Do i and g have the same value?
False
Suppose 0 = 5*b - 30, 73*t = 68*t - 5*b + 40. Is 214 greater than or equal to t?
True
Let b = -94 + 98. Suppose -b*p + 0*v + 44 = -4*v, 5*v = p - 23. Let f(y) = 8*y - 46. Let a be f(p). Which is greater: -1 or a?
a
Suppose 7 = -5*c - 3, -3*c = -4*b + 726. Let x be 1152/b - 4/10*1. Let w be 1/x - (-15)/30. Are w and 0 nonequal?
True
Let o = -0.12 + 8.12. Let j = 0.107 + 7.993. Let d = j + -6.1. Are o and d unequal?
True
Suppose 2*j - 3*j + 3*h = 1, 0 = -2*j + 3*h + 1. Suppose b - j = 2. Suppose -z - 72*s = -71*s - 6, 12 = -4*z + 2*s. Is z greater than b?
False
Suppose 0 = 5*k + 105 - 105. Let w be 9/((-297)/(-98) + -3). Let h be 9/w*-2 - 0. Which is smaller: k or h?
h
Let h(o) = 6*o. Let p be h(-1). Let k be (-4)/(-10) + (-3454)/785. Let f be (-75)/p + 10/k. Do f and 19/2 have different values?
True
Let i = 15.79 - 20.667. Let h = 0.123 - i. Is 0.13 smaller than h?
True
Let n be (-16)/(-136) - (1 + 894949/(-876673)). Let s = -20/139 + n. Which is smaller: 0 or s?
s
Suppose -2*u = 4*t - 0*t - 22, -5*t + 2*u = -41. Suppose l = t*l + 78. Let p be 1 - (14/l + 2). Is p != 1?
True
Suppose f + 2*n - n = 3, 0 = -3*f - n + 11. Suppose -2 = -g, -g = -0*w + 2*w - f. Is w <= -2/71?
False
Let h = -15713 - -15713. Which is smaller: 25/743 or h?
h
Let s = -209.1305 - -209. Let p = s + 0.0305. Which is bigger: p or -3.1?
p
Let y(g) = 4*g**3 - g**2 - 3. Let u be 4/3 + -2 - (-2)/3. Suppose 6 - 16 = -j + 4*d, -j - 5*d - 17 = u. Let m be y(j). Which is smaller: m or -38?
m
Let n be -13 + (-15896)/24 + 3/9. Which is smaller: -679 or n?
-679
Let t = 388 - 380. Suppose -t*h + 9*h = -2. Is -8/9 smaller than h?
False
Let v = -617677 - -617658. Suppose 2*b - 6 = -5*d + 15, -2*d = -2*b - 14. Let l(w) = -4*w. Let t be l(d). Is v != t?
True
Let n be (-93)/(-12) + -1*1/(-4). Let z be ((-45)/n)/(-10*(-6)/840). Are -78 and z non-equal?
True
Let w = 3 - -2. Let g be (9/10)/(12/w). Let c = -1429.9 - -1430. Is c at most g?
True
Let b = 5999/13 - 463. Which is smaller: b or -1?
b
Suppose 0 = 6*r + 152 - 20. Let i(u) = 2*u - 1. Let h be i(-9). Are r and h equal?
False
Suppose 94 - 59 = 7*s. Let o be -2 - ((-19575)/1962)/s. Which is smaller: o or 0?
o
Let r be (-18)/6*4/(-114). Let c(k) = -6*k - 52. Let f be c(-9). Suppose -2*y = -w - 5, 5 = -f*w + 3*y - 2. Is w bigger than r?
True
Let m be (2/3)/(12/8676) + -4. Let a be (-120)/40 + 715*2/m. Which is smaller: a or 0?
a
Suppose 4*h + 22 = 14. Let o be 4/36*(8 + h). Is 81 greater than o?
True
Suppose -3*k = 5*y - 10, -2*y - y - 18 = -3*k. Let h be (-15)/(-75) - (-24)/k. Suppose -h = 4*q + 7. Which is smaller: q or 6?
q
Let c(o) = 2*o + 7. Let i(y) = -3*y - 7. Let m(h) = -4*c(h) - 3*i(h). Let w be m(5). Let g be w/7 - (5 + (-1305)/35). Is 33 >= g?
True
Let c be 15260/(-2555) - ((-2)/(-20) - 62/20). Is -2 bigger than c?
True
Let q = -2535/2 + 150833/119. Let d = -39 + 40. Is d at least as big as q?
True
Let s be (-63)/18 + (-3762)/(-12). Let g = s + -2792/9. Is g greater than or equal to 0.13?
False
Let k = 157.5 + -161.9. Is 0.59 at most as big as k?
False
Suppose 5*m = -q + 8554, 5*m - 7209 = -5*q + 1361. Is 1710 <= m?
True
Suppose -3*k + 6*k - 387 = 0. Suppose 89 + k = -4*l + 3*v, 0 = -5*l - 5*v - 255. Suppose -7*s + s - 4*x = 344, s = 3*x - 39. Are l and s non-equal?
True
Suppose 0 = 5*p - 10 - 10. Suppose 0 = p*k - i + 7, -2*k - 4*i + 2 = -5*k. Which is smaller: k or 8?
k
Let x be 20/(-9) + (-5 - (-329)/63). Let c be -2*(x - -1) - -88. Suppose 5*z = 10*z + c. Which is smaller: z or -20?
-20
Let d be 20/(-25)*(-75)/(-210). Is d smaller than 2281?
True
Suppose 5 = 17*z - 16*z. Suppose -5*h - z*l + 140 = 0, 4*l = 10*h - 7*h - 112. Let d be 2/((3/(-1))/(-48)). Is