. Which is smaller: -37 or b?
b
Let v(l) = -486 + 1698 - 538 + 26*l - 517. Let s be v(-6). Is s less than -1/131?
False
Let v = -792149/115224 - 2/14403. Let t be ((5/2)/((-5)/(-4)))/((-8)/28). Which is smaller: t or v?
t
Let o(p) = p**2 - 4*p - 10. Let r be o(-4). Suppose 14 = 6*c - r. Is c < 94/13?
True
Let g = 0.0173 + 0.6827. Let w = 1236 + -1241. Is w at least as big as g?
False
Let d(g) = -23*g**3 - 4*g**2 + 9*g + 5. Let z be d(-6). Suppose -z + 1215 = 8*j. Which is smaller: -446 or j?
-446
Suppose 3169 + 1979 = -13*q. Let r = -1015 - -618. Which is greater: q or r?
q
Let u = 95875301/338 - 283655. Is u at least as big as 1?
False
Let g(k) = -23*k - 17. Let x(t) = -13*t - 9. Let o(z) = -4*g(z) + 7*x(z). Let l be o(-6). Is 2 less than l?
False
Let w(u) = 6*u**3 + 301*u**2 - 118*u - 65. Let q be w(-50). Is q smaller than 8334?
False
Suppose -28*a + 46 = 46. Suppose -h + a*h = -o - 5, -5*h = 3*o + 7. Which is bigger: h or 2/909?
h
Let i = -28.77 - -28.87. Is i at most -6.7?
False
Let t(p) = 6*p**3 - 8*p**2 + 3*p - 8. Let a(i) = 8*i**3 - 8*i**2 + 3*i - 8. Let d(g) = 2*a(g) - 3*t(g). Let m be d(4). Suppose 4 - 7 = z. Is m != z?
True
Suppose 0 = 2*z - 3*i + 555, 550 = 2*z - 4*z + 4*i. Let x be (-8)/70 + (-114)/z. Which is smaller: x or 0.1?
0.1
Suppose -8*b + 4*i = -6*b + 92, -3*b - 146 = -4*i. Let n = 53 + b. Let t be (-4)/(-6) + 56/(-90). Is n not equal to t?
True
Let t = -4719 + 4635. Which is greater: 14 or t?
14
Let n be -1 - (9 + (5 - 619304/41288)). Which is bigger: 1 or n?
1
Let o = 14/134427 - -6670661/56459340. Let l = -31359/140 - -224. Let b = l - o. Which is bigger: 1 or b?
1
Let v be (4220/12)/((-147)/252). Which is smaller: -604 or v?
-604
Suppose 16*b - 15964 = 4*k + 17*b, -3*k - 11990 = 5*b. Is -3990 at most as big as k?
True
Let s be (-55)/(-2)*96/80. Suppose -15*m + 5376 = s*m. Do m and 112 have the same value?
True
Suppose 5*w + 2*z - 69 = 0, 3*z + z = -12. Let g(j) = 14*j. Let o be g(1). Suppose 0 = -2*u - 3*c + 35, u - 2*c - o = -0. Is w bigger than u?
False
Let x be (-4)/8*-8 - 250/(-6). Suppose 3*m + 458 = 596. Which is greater: m or x?
m
Let s be ((-71098)/57)/((-6)/9). Is s at least as big as 1871?
True
Let l be (6 - (4 + -5)) + -4. Suppose -4*v = 3*t + 14, 0 = -4*t - l*v - 8 - 6. Let m(u) = -u**3 + 10*u**2 + 10*u + 1. Let q be m(11). Which is smaller: q or t?
q
Let y = -3429/7 + 493. Let g = -212 + 215. Do y and g have the same value?
False
Let y = 6736/11 + -33589/77. Let d = 176 - y. Which is greater: d or 7/5?
7/5
Suppose -2*g - 2*g - 1860 = 0. Let i = 331715 + -332181. Is i at least g?
False
Let i(p) = 193*p + 709. Let h be i(-5). Which is smaller: h or -254?
h
Let k = 31 + -19. Let n = 1103429/7 + -157633. Which is greater: k or n?
k
Let n(x) = x**3 + 148*x**2 - 435*x + 178. Let y be n(-151). Which is smaller: y or -2542?
-2542
Suppose -4593 = 4*m - 1525. Let g = 618 + m. Which is smaller: -151 or g?
-151
Suppose 2*n - 1050 = -m, 2*m - m = -5*n + 2622. Is 0.3 >= n?
False
Suppose 3*j - 5*y = 11, 1407*j + 22 = 1406*j - 2*y. Let q(g) = -2*g**2 + 4*g + 4. Let d be q(-3). Is j at most d?
False
Let j(s) = s**3 + 8*s**2 - 2*s - 8. Let x be j(-8). Let i(t) = t**2 + 3*t + 9. Let y be i(x). Let g = -79 + y. Is g greater than or equal to 19?
False
Let r = -0.5381 - -0.0401. Let k = -0.448 - r. Suppose y + 5*w - 15 = 2*y, -y - 11 = -4*w. Are k and y nonequal?
True
Let l be 116*((3 - 9/2) + 0). Let y = -167 - l. Is y less than 36/5?
True
Suppose 50 = -30*j - 70. Let c be 1/j - (-5)/((-40)/(-2)). Let i be (2/3)/(44/6). Which is smaller: i or c?
c
Let j(o) = -21*o**2 + 25*o + 95. Let d be j(-5). Is -558 at most d?
True
Let w(i) = 2*i**2 - 5*i - 2. Let t be w(-3). Suppose -3*f + 7 = -3*d + t, -4*d = 4*f - 24. Suppose 6*j - d*j = -1. Which is bigger: -4/5 or j?
j
Suppose -61*r - 4*i = -60*r + 3, 5*i - 40 = 5*r. Let q be 30*1/((-3)/2). Let s be (-117)/20 + 8/q. Is s at least r?
True
Let u = 636 + -12090/19. Let k(g) = -2*g + 36. Let r be k(17). Let y be (r/(-5) + 26/65)*1. Are y and u equal?
False
Let q(r) = -r**3 + 11*r**2 + 3*r - 31. Let w be q(11). Let z(a) = 10*a + 7. Let c be z(w). Let k(s) = -s**3 + s**2 + 6*s + 8. Let t be k(-3). Is t less than c?
True
Let d(h) = 356*h + 4984. Let j be d(-14). Which is smaller: 1/83 or j?
j
Let a = 41 - 42. Let t be -3 + (-1 - (a - (0 - -2))). Which is smaller: t or -17/14?
-17/14
Let y = -793.969 + 784.2. Let w = y + -0.231. Which is smaller: w or 0.08?
w
Let k(g) = -g**2 - 63*g - 971. Let j be k(-27). Which is bigger: j or -1/638?
j
Let x = 3 + -8. Let r be (-9)/9 + (-1422)/(-6). Let a = 232 - r. Is x > a?
False
Let i be (-440)/550 + 1/(-2) + (-46)/(-20). Is i greater than -1/3139?
True
Let i = 891 + -666. Let s = -52 + i. Which is smaller: 0 or s?
0
Let x(s) = s**2 - 3*s + 2. Let z be x(4). Let u = -3 + z. Let o = -40664.2 + 40664. Which is bigger: u or o?
u
Suppose -5*r + 4*u - 619 = 0, -912 + 928 = -4*u. Is r greater than or equal to -632/5?
False
Suppose 3*y - 3 = 3*s, -11 = 4*s + y - 2. Let m = -0.22 - 6.78. Let r = m + 31. Which is greater: s or r?
r
Let f be 4/5 + 63/15. Suppose i + f*g - 1 = 0, 2*i + 4*g + 4 = -6. Let k be (7*1)/(-10 - -9). Is i equal to k?
False
Let y(h) = 141*h + 6063. Let z be y(-43). Which is greater: 2/691 or z?
2/691
Let u(x) = x + 2*x**2 + x - 3*x**2 - x + 4. Let q be u(3). Suppose 6*i - 5*i + 12 = 3*h, 43 = -5*i - 2*h. Is q > i?
True
Let z(f) = f**3 - 6*f**2 - 6*f - 11. Let t be z(7). Which is greater: 390 or t?
390
Let r(s) = -8*s**2 - 2*s + 1. Let z be r(-2). Let j = z - -107/4. Is 18 bigger than j?
True
Let i be ((-145)/58)/((-675)/36) - 13528/(-15). Which is smaller: i or 903?
i
Let o = -4970 - -25074/5. Let d = -891/20 + o. Which is greater: d or 222?
222
Let c be (-48)/(-80)*380/(-18). Suppose 0 = -4*x + 6*x + 2, 43 = k + 4*x. Suppose 3*w - 8 = -k. Which is smaller: w or c?
w
Let b(q) be the first derivative of 2*q**2 - 31*q + 101. Let l be b(7). Let j = -4 + 8. Are j and l equal?
False
Let h(x) = -x**3 + x - 17*x + 6202*x**2 - 6195*x**2 - 23. Let l be h(8). Is l smaller than -215?
False
Suppose 0 = 26*k - 18*k - 320. Suppose m - 3*m - 2*l + 36 = 0, 4*l = 4*m - k. Which is bigger: 16 or m?
16
Let x = 12 + -19. Let o be (8 - 1000/170 - (-4)/(-34))*-2. Which is smaller: o or x?
x
Let m(w) be the first derivative of 2*w**3/3 + 4*w**2 + 73. Let j be m(-4). Which is smaller: j or -4/111?
-4/111
Suppose h + 7*n + 257 = 6*n, 3*h - 5*n = -747. Which is bigger: -260 or h?
h
Let q be (-2103)/4*1008/(-54). Is q greater than 9813?
True
Let h(w) = 27*w**3 + 0*w - w - 580*w**2 - 95*w**3 + 582*w**2. Let q be h(-1). Which is smaller: 69 or q?
69
Let a = 6738 - 6738. Which is greater: 0.00616 or a?
0.00616
Let x(s) = 278*s + 6289. Let c be x(-35). Which is smaller: -24078/7 or c?
c
Suppose -2*a = -7*g + 4*g + 9414, -g - 9422 = 2*a. Let x be (16/20)/((-22)/a). Let k = x + -171. Which is smaller: -1 or k?
-1
Suppose k - 1 = -3*o, -112*o + 107*o = 3*k - 3. Which is greater: 3/166 or o?
3/166
Suppose 464 - 2624 = -10*j. Let l = j + -191. Which is greater: -2 or l?
l
Let y = -573 + 184. Let v = y + 388. Which is bigger: v or 4/73?
4/73
Let v = -561 - -863. Let m be (-172)/(((-1800)/(-105) + -16)*1/(-2)). Is v at most as big as m?
False
Let u(i) = i**3 - 15*i**2 + 17*i + 10. Let g = -38 + 51. Let a be u(g). Is a smaller than -107?
False
Let d = -38 - -44. Suppose 5*r - 3*a + 7 = 0, -2*r = -a + 6 - 3. Let k be r + (-16)/(-9) + 927/162. Which is bigger: d or k?
d
Let l(v) = v**3 - 12*v**2 + 11*v + 1. Let c be l(11). Let g be (2/9 + (-10)/45)/c. Let r be 18 + -19 + 1 + g. Which is greater: r or -3?
r
Let t(v) = -4*v**2 + 18*v - 47. Let f be t(3). Which is smaller: f or -13?
f
Suppose -3*h = t + 1, 4*t + 3 = -h + 10. Suppose 9*a + t = 7*a. Let s(p) = 116*p**3 - p**2 - p + 1. Let j be s(a). Do -116 and j have different values?
True
Suppose 0 = i - v, 4 - 16 = i - 4*v. Let a be (-17)/((-935)/(-300)) + 8. Are a and i nonequal?
True
Suppose 13*k + 259 = 18*k - 3*b, 5*k + 5*b = 235. Let n(r) = r + 46. Let a be n(k). Is a at most 96?
True
Let m = -27799/64372 - -33/76. Let h = -1588/44891 - m. Are 11 and h nonequal?
True
Let m be 232/90 - (-2)/9. Suppose 5*x + 1177 = -3*z, z = 4*x - 0*z + 928. Let f = 234 + x. Is f <= m?
True
Let g be (35 - -231) + 5*1. Let x be (-84)/126 + g/