-7) - 9/(-24). Which is greater: g or 31/76?
31/76
Suppose 0 = -8*b + 212 + 196. Suppose 27*y = b*y + 1608. Which is bigger: y or -338/5?
y
Let g = 1 + -1. Let z be -250*(-5)/140*(-15)/(-237). Let m = z - -1/158. Which is bigger: m or g?
m
Let h be 8/(-68) - (-652)/5831. Let u(q) = -q**3 + 35*q**2 + 34*q + 73. Let j be u(36). Which is smaller: h or j?
h
Let c be (-9 - -51)*2/3. Suppose 8*k = k + c. Let l be (-24 - -20)/((-2)/5 - 0). Is k not equal to l?
True
Suppose 123 - 137 = 4*o - 2*r, -o - 16 = -3*r. Does o = 1/122?
False
Suppose -2*b - 3*b + 5*a = 370, b + 3*a + 94 = 0. Let y be (2320/(-7))/5 - 12. Is y less than b?
False
Let k be (14/(-119))/(40/97). Let m = k + 3/85. Which is bigger: -4.6 or m?
m
Let h = -413.4 + -1137.6. Is -2 < h?
False
Suppose -4*u = 4*t - 14677 + 2357, -5*t - 2*u + 15391 = 0. Let j = -27760/9 + t. Is j less than -7?
True
Suppose 2642 = l + l. Let h = l - 1910. Let n = h - -10016/17. Is n at most as big as -0.1?
False
Let b(z) = -53*z + 8. Let v be b(0). Let o = 473 + -929/2. Are o and v unequal?
True
Let z = 158 + -159. Let h be ((1 - -69 - z) + 0)/5. Which is smaller: h or 14?
14
Let q be (-12)/(-20)*(-40)/(-6). Suppose 2*k + q*k = -60. Is -5 smaller than k?
False
Suppose 4*a + 822 = -2*d - 2506, 2*d + a = -3346. Is -5027/3 != d?
True
Suppose 6411*o + 408 = 6419*o. Suppose 0 = 3*w - 6*w - 129. Let k = o + w. Which is bigger: k or 38/5?
k
Let y = 148.935 - 148.795. Let n(d) = 16*d + 1. Let p be n(1). Is y equal to p?
False
Let v(t) = -t**2 + 11*t + 23. Let y be v(13). Let g(x) = -x**3 + 5*x**2 + x - 9. Let l be g(y). Let s be 1/(-150)*(-6 + l/6). Which is smaller: s or 0?
s
Suppose 0*u + 2*u - 667 = 5*b, 668 = -5*b + 3*u. Let k be (-228)/b - 2/(-7). Let x be ((-4)/(-14) - 388/(-14))/k. Is 13 bigger than x?
False
Let l be -3*(-2 - (0 + -4)). Let z be l - -1 - 531/207 - -6. Which is smaller: -1 or z?
z
Suppose 5*l + 2*s - 32 = 0, -11 - 22 = -5*l - 3*s. Suppose 3*y = -l*y - 90. Which is bigger: y or -35/4?
-35/4
Let l = -11287 - -11205. Does 16 = l?
False
Let w = -1139.6 - -1139.7. Which is greater: -1422 or w?
w
Suppose -4*s - 5*y + 3 = -5*s, -s - 10 = 2*y. Let k = -6 + 11. Suppose 3*n + 2*p = 6*n + 11, -k*p = 2*n + 20. Which is greater: n or s?
n
Let w be (-8)/(-44) + (-103270)/253. Are w and -7 non-equal?
True
Let h(p) = -p**3 + 30*p**2 + 34*p + 806. Let z be h(32). Which is smaller: -26 or z?
z
Suppose 0 = -2*d + 12 + 18. Let r be (-2)/10*10/(-4)*911. Let v = r - 441. Is d less than v?
False
Let k = 41 - 30. Let b = -9 + k. Suppose -b*d - 45 = d. Which is greater: d or -14?
-14
Let p = -12 + 9. Let h be -2 - (-30)/18 - 80/(-6). Suppose 23 + h = 12*k. Is k <= p?
False
Suppose 3*s = -275 + 458. Is s smaller than 179/3?
False
Let k(f) = -f**2 + 4*f. Let m be k(1). Suppose 17*p - 20*p - 4*j + 74 = 0, -m*p = 3*j - 69. Does 26 = p?
False
Let r(h) = h. Let j(q) = q**2 - 5*q + 1. Let y(g) = j(g) + 6*r(g). Let f(c) = -c**3 - 6*c**2 - 6*c + 7. Let o(u) = f(u) + 6*y(u). Let i be o(0). Is 13 > i?
False
Let u = 0.3284 - 0.286. Let a = -1.2424 + u. Which is bigger: 0.6 or a?
0.6
Suppose 0 = 2*g - 4*g + 28. Suppose g*v + 221 = -3*v. Let j be 3/(-3) - 51/4. Which is smaller: v or j?
j
Let x(i) = 102*i - 3061. Let o be x(30). Let n = -1/274 + 3017/822. Is o less than or equal to n?
True
Let y be (5/62)/(5 + (-57)/(-38)). Is y less than -1?
False
Let w(o) = -19*o - 18. Let s = -94 - -92. Let d be w(s). Suppose 0 = -2*g - 28 + d. Do g and -5 have different values?
True
Suppose -2 = -4*w - t, 6*t - 2 = 5*t. Which is smaller: 12/1441 or w?
w
Suppose 23 + 7 = -3*o. Suppose h = 2*b + 26, 7*h = 4*h - 4*b + 58. Suppose 18*k - h*k = 40. Is o greater than k?
False
Let u be (1/(-35))/(-5 - -4). Suppose 2*y + 3*y - 3*p - 35 = 0, -5*y + 5*p = -45. Suppose y*d + 20 - 24 = 0. Which is bigger: u or d?
d
Suppose 107*i + 12*i + 7530 = -2466. Is -17 > i?
True
Let s = 14620 - 58309/4. Is 1 < s?
True
Let z(p) = -2*p**3 + 65*p**2 + 97*p + 51. Let m be z(36). Are m and -5529 unequal?
False
Let a(n) = -n**3 + 15*n**2 + 5*n - 77. Let p be a(15). Which is bigger: 2639 or p?
2639
Let l(r) = -6*r**2 + 3*r - 4 + 3*r - 70*r**3 + 71*r**3. Let k be l(7). Do 88 and k have different values?
True
Let a = 3733.052 - 3733. Which is smaller: -19 or a?
-19
Let m = 111 + -108. Suppose -2*k + 23 = 5*j, -3*k = -m*j - 2*j - 22. Let c(f) = -f**3 - f**2 + 2*f. Let p be c(-3). Is k <= p?
True
Let f = -251 + 139. Suppose -3995*i + 83106 = -4724*i. Which is bigger: i or f?
f
Let a(d) = 171*d**2 - 3*d - 2. Let u be a(-1). Let b = -130 + u. Which is bigger: 40 or b?
b
Let z = 273/275 - 18/25. Let p(b) = -28*b + 126. Let f(a) = 9*a - 41. Let k(l) = -11*f(l) - 4*p(l). Let x be k(4). Is x > z?
False
Suppose 151*o = 10*o - 987423. Do -7002 and o have the same value?
False
Suppose -4*b = 2*q + 20, 3*q - 2*b = -b + 5. Suppose q = -2*l + 7*l - 5. Suppose l = u + 5, -4*w + 5*u = -32. Is w <= 7?
True
Let j(n) = n**3 - 3*n**2 + 2*n + 1. Let a be j(2). Suppose -2*o + 2*u - 1634 = o, 4*u + 1116 = -2*o. Let s be 7/(637/o) - -6. Is s less than or equal to a?
True
Let d = -1 - 1. Let p = 4470 - 4468. Let v be (p*d/(-18))/(13/(-39)). Which is smaller: 21 or v?
v
Let p(m) = -4*m**2 - 34894*m**3 + 34899*m**3 + 2*m**2 - 4*m + 2. Let f be p(-2). Let k be 10/(-35) - (-257)/(-7). Which is bigger: f or k?
k
Let h = 0 + 0.04. Suppose -34*w + 30*w + 4*t + 5356 = 0, -4*w + 5361 = -3*t. Let u = -1345 + w. Which is smaller: u or h?
u
Suppose -4*z - 34896 = 4*u, -3*z + 50805 - 7145 = -5*u. Is u < -8729?
False
Suppose -o - 4*p = 100, 5*o - 5*p + 590 = -7*p. Let b = -221 - o. Are -100 and b equal?
False
Let u(n) = n**2 - 10*n - 14. Let m be u(7). Let g = -22 - m. Let l be 4/8*g*-10. Are l and -65 nonequal?
False
Let d(q) = 13*q - 31. Let i(u) = -u**2 + 15*u + 21. Let x be i(16). Let m be d(x). Suppose 3*b - 2*t + 5*t + 54 = 0, -m = b - 3*t. Is -22 smaller than b?
False
Suppose -393*t + 112 = -386*t. Let i = -30 + t. Which is smaller: 0.18 or i?
i
Let z(f) = 7*f**3 - 10*f**2 - 9*f + 9. Let q(l) = l**3 - l**2. Let c(s) = -6*q(s) + z(s). Let m be c(5). Let k be 2 + 1/(-1)*m. Which is greater: k or 12?
k
Let f be (0/(25 + -15))/(-1). Is f less than 31/475?
True
Let s = -86 - -88. Suppose 3*u + 24 = 3*a, 3 = -s*u - 1. Let h(b) = -b + 23. Let g be h(a). Are 16 and g non-equal?
True
Let h(b) = 13*b**2 + 82*b + 24. Let f be h(-6). Is -1218 != f?
True
Let v be (-4)/(-26) - ((-18144)/52)/(-6). Let b = -108 - v. Is b not equal to -52?
True
Suppose 5*p + 26*p = -62. Let w(m) = -30*m + 20. Let s be w(p). Is 2 greater than or equal to s?
False
Let t be (3 + (-11)/3)*12/4. Let n be 9/6*4/8*8. Suppose -5*i = -n*i. Is t bigger than i?
False
Let h = -174874/247 + 708. Let b(d) = d**3 - 56*d**2 - 192*d - 2880. Let o be b(60). Is o bigger than h?
False
Let y(m) = 4*m + 156. Suppose -106*z + 90 = -109*z. Let j be y(z). Suppose -76 = -2*b - 4. Is b < j?
False
Let v = -7560 + 7559. Which is bigger: v or 2638/7?
2638/7
Let z(w) = 3*w**2 + 10*w + 8. Let m be z(-3). Suppose 0 = -r + m*v + 10, -2 = -v - 4. Let x be 1*53/(-17) - -3. Is r bigger than x?
True
Let j(c) = 4*c + 23. Let h be j(11). Suppose 4*s + h + 17 = 0. Let d = -21 - s. Is d > 18/17?
False
Let w(x) = -x**3 + 11*x**2 + x - 18. Let f be w(11). Let l be 35/f + (19 - 1) + -3. Are l and 20 unequal?
True
Suppose 5*k + 6 = -3*r, -2*k + 6*r = r - 10. Do -1/171 and k have the same value?
False
Suppose -4*o + 20*q - 17*q = 15376, -2*o = -2*q + 7692. Is o less than or equal to -3839?
False
Let h = 8088.973 - 8089. Is -54 < h?
True
Let z(a) = 2*a**3 - 74*a**2 - 5*a + 42. Let j be z(37). Let u = -147 - j. Are 13 and u equal?
False
Let w = -30.04 + 30.03. Which is smaller: w or 7/44?
w
Let v = 1925/2 - 992. Let u = -114 - -84. Which is smaller: u or v?
u
Let p(r) = 11 + r - r**2 + 5 + 10*r. Let g be p(12). Let c be 1*(-498)/(-123) - g. Which is smaller: 0 or c?
0
Let k be 225/(-750)*(-1 + (-3)/(-9)). Which is smaller: -215 or k?
-215
Let p = -2.6625 + 1.2525. Do 1/3 and p have the same value?
False
Let y be (-16)/2*(-429)/44. Suppose 24 = 4*z - 0*z. Let q be (2/z)/((-13)/y). Do q and -2 have the same value?
True
Let w = 389 - 389. Suppose -30*h + 290 + 640 = w. Are 28 and h nonequal?
True
Suppose -1168*y - 2392 = -1163*y + 323. Is y <= 0?
True
Let s be (-20)/8*52/(-13). Suppose -s*