: -24 or d?
-24
Let y = 14.76178 - 0.03178. Is y bigger than 2?
True
Suppose -5*f = -2*f + 36. Let z(t) = -4*t**2 - 4*t - 7. Suppose -2*i + 5*i = -6. Let y be z(i). Which is greater: y or f?
f
Suppose -t - 3*p - 212 = -625, 0 = p + 3. Let f be (-6)/3*t/840 + 1. Which is smaller: -1 or f?
-1
Let y = -30125 - -456363624/15149. Does -1 = y?
False
Let i = 232 - 193. Let n(s) = -s**2 + 38*s + 39. Let m be n(i). Which is smaller: m or 1/15?
m
Suppose 8 = -2*k, -2*b - k - 47 = -7. Which is greater: b or 19?
19
Suppose 1135 = -10*j + 7*j + l, 5*l + 25 = 0. Let w = -130 - j. Which is smaller: w or 249?
249
Let v be 1*10/((-20)/(-22)). Suppose -2*s - 62 = g - v, -4*s - 108 = 4*g. Which is bigger: s or -26?
s
Suppose 304*q = 308*q - 32. Suppose -3*l = q*l - 4*l. Is l greater than -2/357?
True
Let i be (3/6)/(2/(-4)). Let n(q) = 39*q**3 - 1. Let o be n(i). Let j = -41 - o. Which is smaller: j or -4/11?
j
Let g be (-8)/6*(-3)/(-2). Let r be (-3)/g*(-33)/(-45). Let u = 7/10 - r. Is 22 equal to u?
False
Let z = 48 + -197/4. Let b = 0.17 + -0.33. Let d = b - -1.16. Is z <= d?
True
Let j be 18*(4408/15022 - (-4)/(-42)). Which is greater: j or 4?
4
Let a = 31.08 - 2.98. Let z = -124.5 - -152.5. Let u = a - z. Which is smaller: 7 or u?
u
Let t = 5 + -15. Let p be (-9)/(-45) - (-2)/t. Are p and -11/8 non-equal?
True
Suppose -7*n + 3*n - 1429 = j, 1765 = -5*n + 3*j. Let k = -357 - n. Which is smaller: k or 1/458?
k
Suppose 30*u = -7168 - 9782. Let a = u + 9611/17. Is a not equal to -1?
True
Let y = -1947 + 492590/253. Let n = 523.77 - 523.87. Which is smaller: n or y?
n
Let d be 8 - (26/(-39) - (56/(-12) - 4)). Which is smaller: 9/2044 or d?
d
Suppose -113*g = l - 111*g - 61, 2*g + 377 = 5*l. Which is smaller: l or 39?
39
Let o(p) = p**3 - p**2 + p - 53. Let t be o(4). Are 11/93 and t unequal?
True
Let u = 203279239/11110 + -1001742/55. Let q = u - 167/2. Is 0 != q?
True
Suppose 75*a - 219 = 456. Let v(y) = y**3 - 8*y**2 + 7*y + 6. Let q be v(7). Let b = 10 - q. Which is smaller: b or a?
b
Let v be 11 + 4/8*-42 - 40. Are v and 14 non-equal?
True
Suppose 17 = -2*q + 3*q + 2*s, 3*q - 5*s - 62 = 0. Let j = q - 16. Suppose j*n - 12 = g, -4*n - 40 = 5*g + n. Which is smaller: g or -13?
-13
Suppose 4 + 5 = -3*y - 2*t, -6 = 2*t. Which is smaller: -4/171 or y?
y
Let p = -13.534 + 13.563. Is -0.7 bigger than p?
False
Let q = -5503.1 - -5494. Is q at most -2/5?
True
Let g be 38/6 - 8/6. Suppose -2*s + s - 80 = 3*r, 0 = -g*s + 3*r - 346. Let y = 90 + s. Is y at least as big as 17?
True
Let c(z) = z**2 - 2*z - 2. Let u be c(4). Let r be (u/2)/(24/(-21)). Suppose -85 = 3*v + 12*o - 16, -3*o = -2*v + 9. Is r greater than v?
True
Suppose 138 = 85*w + 53. Which is smaller: -52/255 or w?
-52/255
Let a = 26240/3901 + -332/47. Let j = 844/3403 - a. Which is smaller: 0 or j?
0
Let x(d) = d**3 + 8*d**2 + 6*d - 4. Let u be x(-7). Suppose 0 = -2*j - 9*l + 13*l + 6, -4*j - 3*l = -67. Does u = j?
False
Let a = -33 - -39. Let w(s) = -8 - 1 + 7*s + a. Let t be w(-1). Which is smaller: -12 or t?
-12
Let y = 51 + -52. Let i = 63 - 53.2. Let t = 9.5 - i. Which is smaller: y or t?
y
Let t be (1 - 4)/((-3)/(-57)). Suppose 4*g + 69 = -3*v - 130, -22*v = 4*g + 1282. Is t bigger than v?
False
Suppose -193*q = -189*q. Let n = 409/441 - -9/49. Are q and n nonequal?
True
Let o(r) = -8*r**3 - 6*r**2 + r + 5. Let v be o(-6). Let h be 18/6 - v/(-492). Let y = 73/12 - h. Is -1 greater than y?
False
Let l = -46 + 73. Let k = -61683/7 - -8839. Which is greater: k or l?
k
Let r = 11 - 9. Suppose -5*p + 3*d - 25 = 0, -5*p + 2*d = r + 28. Is p at most as big as -12?
False
Let r = -6.92563 - 1.07437. Let v be 10/(-20) + (-1)/(-14). Is v bigger than r?
True
Let x = -37.412 + 0.412. Let t = x + 36.69. Is t at least as big as -0.06?
False
Let b = 17762 + -17762.1. Which is smaller: b or 47/3?
b
Let x(p) be the second derivative of -p**5/20 - 3*p**4/4 + 4*p**3/3 - 3*p**2 - 30*p + 2. Let g be x(-10). Which is bigger: 89/6 or g?
89/6
Let z be 24*(1/(-6) - (-12)/((-1224)/187)). Suppose 0 = 3*a - 7*a + 88. Let k be 4/(-22) + (-1074)/a. Which is smaller: k or z?
k
Let t = -23 + 28. Suppose t*f + 30 = 165. Suppose 214 = -11*n + f. Is -14 equal to n?
False
Let d(y) = -5*y - 5. Let l(g) = 2*g**2 + 17*g + 6. Let k be l(-8). Let c be d(k). Suppose 5*h - 2*q = 5, 0 = -c*h + 4*h + 4*q + 19. Is -1/75 equal to h?
False
Let n = -446.095 + 1.095. Let v = -451 - n. Is v at least 6?
False
Suppose 26*b + 1795 = -2116 + 479. Let i = -141 + 8. Which is smaller: b or i?
i
Let g be 2 + (366/21)/1. Let h = g + -19. Let p be ((-10)/(-30))/(2/(-6)). Is h <= p?
False
Let b = -2900 - -6140. Suppose -b = -0*w + 10*w. Which is smaller: w or -323?
w
Suppose 723*d + 4*z = 726*d - 662, 0 = -d - 2*z + 214. Is d less than or equal to 222?
True
Let t = 393.1 + -393. Is t less than -9.488?
False
Let i = 938 - 1180. Let t(d) = -2*d**2 - 12*d + 29. Let y be t(9). Which is bigger: y or i?
y
Let v be (-3 + 3)/(2 - 0/(-3)). Let a = v + 15. Let x(y) = -y**2 - 3*y + 69. Let d be x(7). Are a and d nonequal?
True
Let u = -21 + 20. Suppose -248 = 2*r - 4*f, -2*f + 587 = -5*r - 3*f. Which is greater: r or u?
u
Suppose -4*n + o = 1273, -2*n = o + 4*o + 653. Let p = n - -320. Let r = -227/99 + 24/11. Which is smaller: r or p?
r
Let a be (-4)/((-824)/218) + -1. Suppose 21 = 16*l + 5. Which is smaller: a or l?
a
Let h = -8/4961 - -22147/4504588. Let r = h - 39967/4540. Is 1/2 at least as big as r?
True
Let v be 196/(-11) + (-26)/143. Let s be (-75)/v - (-6)/(-36). Let d = 11183/209 - 588/11. Which is smaller: s or d?
d
Suppose -4*l + 10*s - 14*s = 4, -l = -4*s + 26. Let q be -6 + (-1 + 0 - 1). Which is bigger: q or l?
l
Let v = -0.4 - -1.4. Suppose -s - 65 = -0*y - 3*y, 5*s = 2*y - 377. Let p be 99/1089 - (-62)/s. Which is bigger: v or p?
v
Let y be -2 + 4 + (-1 - -4). Suppose 16 - 6 = -y*u. Let k be (-833)/34 - u*1. Is -22 < k?
False
Let j = 115 - -120. Let n = j - 237. Is -3.2 less than n?
True
Let g be (11 + 1)*(-13)/(-4). Suppose -3*y + 3*a = -6*y + g, 1 = -a. Let u be 3/(45/y) + (-1)/(-6). Does u = 1?
False
Suppose 2*f + 101 - 38 = 61. Which is greater: -1/1958 or f?
-1/1958
Let w be (-14)/(4 + 0 + -5). Suppose 0 = -w*s + 13*s + 15. Let x = -1474/3 - -505. Which is bigger: s or x?
s
Suppose r + 3*r + 48 = -3*a, 22 = -2*r - a. Let s be ((-1)/(-3))/(r/(-1080)). Let c be ((-15)/s)/(12/(-88)). Which is smaller: c or 3?
c
Suppose 0 = -79*r + 81*r - 28. Suppose 10 = -r*y + 13*y. Which is smaller: -8 or y?
y
Suppose i - 8 = q, 4*i + 2*q - 19 = i. Let t be 16 + (126/3)/i. Let j be ((-6)/8)/((-9)/267). Is t greater than j?
False
Suppose i + i = 18. Let s(l) = -l**3 + 10*l**2 - 2*l - 3. Let k be s(i). Let j be (-5)/2*k/18. Is -7 <= j?
False
Suppose 0 = -y, -2*h - 10*y + 5723 + 2333 = -11*y. Which is smaller: 4031 or h?
h
Let o = -6 + 4. Let w be (-39)/(-12) - 11/44. Suppose 4*p = 3*r - 15 - 1, -10 = -2*p - w*r. Is p < o?
False
Suppose -43*m = -4*n - 40*m - 5282, -3*n = 5*m + 4005. Do n and -1324 have different values?
True
Let g(j) = -j**3 - 28*j**2 - 174*j - 56. Let c be g(-19). Is 14/145 at most as big as c?
True
Suppose 16*d = 38 - 38. Are d and 44/41 unequal?
True
Let t be -5*((-240)/(-1320) - 2/(-110)). Suppose 3*p + 6 = 4*p. Let b be 143/(-133) + p/21. Which is greater: t or b?
b
Let x be (9/(-4))/(1527/5090). Let h = -22 - -15. Which is smaller: h or x?
x
Let k(a) = -a**2 - 9*a - 10. Let j be k(-7). Let g be (-5 - 1)*2*(-4)/24. Suppose g = -2*h + 4*p - 2, 5*h = -4*p - 10. Which is greater: j or h?
j
Let b = 1809550/299 + -6052. Let d = -19478 + 19479. Which is smaller: b or d?
b
Let t be (-1263)/(-306)*(-220)/25. Let a = 86/85 - t. Which is bigger: a or -1/2?
a
Let f be (-25)/50 + 35892/72552. Is f at least 1?
False
Let s be (-2*(-4 + 5))/(2/(-3)). Suppose -s - 5 = -4*l. Suppose 4*w + 12 = 2*w. Is w equal to l?
False
Let c be (100/(-78))/(8/336). Let i = c + 1395/26. Let z = -3 - -4. Is z <= i?
False
Let o = 270.0472 - 0.0472. Let r = o - 276.1. Which is bigger: -1 or r?
-1
Let d be 12/12*(2 + 123 + -2). Let l = d - 118. Is l less than -5?
False
Let w = -27.6 + 52.8. Let u = -5.8 - w. Let a = 31.7 + u. Which is smaller: a or -0.1?
-0.1
Suppose -386 = d - 3*s + 405, 0 = 5*d - 5*s + 3935. Is -785 less than or equal to d?
True
Let j be 1/3 - 5/3. Does -1/119 = j