 f be u(29). Is -960 >= f?
False
Let m be 0*((-20)/(-8) + -3). Which is greater: m or 25?
25
Suppose 7*k = -0*k - 581. Let p = k + 124. Let f = 23 + 18. Is p < f?
False
Let x = 81/259 + -1/37. Let s be ((-7272)/(-14904) + 4/(-9))*(-25 - -1). Is x bigger than s?
True
Let s(i) = i**3 - 66*i**2 - 894*i - 169. Let b be s(78). Which is smaller: 3106 or b?
3106
Let u = -2474 - -3160. Is u at least 689?
False
Suppose 76*j + 59184 = 124*j. Which is smaller: 1235 or j?
j
Let q be 308/(-1)*((-680)/(-16))/(-17). Suppose 765 - q = 5*r. Which is smaller: r or 1/524?
r
Let k be (-12 - -3) + (-4674)/902. Let u = 0 - 13. Is u smaller than k?
False
Let g be (6/5 + -2)/(9/(180/8)). Is g greater than or equal to 1579?
False
Let y be 8/(26/(-13 + 26)). Let h = 6 + -4. Suppose 0*d = 4*k + h*d, 3*d = 0. Is y >= k?
True
Let z = -73 + 75. Let a be 3/(z + 214)*10. Suppose -9*h + 13*h = 0. Is h at most as big as a?
True
Let r = -16636.9 - -16637. Is 138/67 bigger than r?
True
Let d = -199 - -206.2. Let z = 7 - d. Let n = -44 + 62. Is n smaller than z?
False
Let y = -3735526909/1730412 - -1/432603. Is -2160 greater than or equal to y?
False
Let v = -111109 + 2780123/25. Let p = v - -37/25. Let k = -14121/145 + p. Which is smaller: 0 or k?
0
Suppose -261 = -3*s - 2*c, -2*s = 3*s - 5*c - 410. Let r = s + -27. Suppose -22 - r = -5*f. Is f bigger than 15?
True
Suppose 2*u - 4*w + 90 = 0, 0 = -3*u - 214*w + 210*w - 75. Is u > 6?
False
Suppose -378 = -25*g + 647. Let r = 74 - 36. Is r at least g?
False
Let l = 5326 + -5313. Which is greater: 282 or l?
282
Let y be ((-4308)/480 - 1)*35. Which is bigger: -348 or y?
-348
Let a = 13635/4 + -832131/244. Is -2 != a?
True
Let x be (-4)/101*-100 + -13 + 9. Are x and -1 nonequal?
True
Let w = -0.11734 + 8.11734. Is w at most -0.0642?
False
Suppose k + 2 = 0, 30*u + 3*k + 6 = 26*u. Let j = 565 + -76839/136. Are u and j unequal?
True
Let l = 11003 - 10970. Which is smaller: 688/21 or l?
688/21
Let w = 451/244 - 128/61. Are w and -10776 unequal?
True
Let k be 1474/536 - (-3650)/8. Which is bigger: k or -6?
k
Let w = -2.7 - -3. Let o = 0.048 + -12.348. Let b = o - -9.3. Which is greater: w or b?
w
Let o = -550.2 - -546.7. Which is smaller: o or 6?
o
Let i be ((-56)/(-6))/(3*1). Let n be 2/(-17) - -17*72/10404. Are n and i equal?
False
Let u(l) = 3*l**2 + 2*l. Let y be u(-1). Let i = 0.45638 + -20.40738. Let p = -0.049 + i. Which is smaller: p or y?
p
Let z be (-5516)/80 - 3/(-4). Suppose 21*s = 26*s + 2*y + 353, 49 = -s + 5*y. Which is bigger: z or s?
z
Suppose a + 38420 = 21*a. Suppose 10*t - 2379 = a. Is 430 at least as big as t?
True
Let h be (-180)/(-243) + (-14)/21. Let z(a) be the second derivative of a**3/6 + a**2/2 + 2*a. Let l be z(-2). Is l at most as big as h?
True
Let w = -0.123 - -1.523. Is w at most 0.058?
False
Suppose -z = -2*z + 2. Let h be 2 + z + 193 + -2. Which is bigger: 0.1 or h?
h
Suppose -228 = -4*n + 4. Suppose -3*a + 18*k - 17*k - 87 = 0, 2*a - 5*k + n = 0. Is -32 >= a?
False
Let r(t) = -t**3 + 9*t**2 + 9*t + 13. Let g be r(10). Suppose -2*m - 2*u = -20, -2*m + u + 8 + g = 0. Suppose m = -w - 6. Do w and -13 have different values?
False
Suppose 0 = b, 17*a = 21*a - b - 32. Is 124/15 < a?
False
Let v(d) = 96*d. Let p be v(-1). Let t be (2/6 - p/36)/1. Let c be (-24)/28 - t/21. Is 2/25 smaller than c?
False
Let u be (31 - -3) + 4*(-8)/(-8). Let a(r) = r**3 - 7*r**2 + 7*r - 1. Let j be a(6). Suppose -j*v - k = -0*v + 70, v = -5*k - u. Are -14 and v nonequal?
True
Suppose -23460 - 389364 = -103*z. Which is smaller: 4007 or z?
4007
Let k = 1154 - 149. Is k equal to 1005?
True
Suppose -12 + 10 = -4*s - j, -10 = -5*j. Suppose 5*a - 135 = -4*n + 91, s = 4*n - 16. Suppose -205 = -6*y + y. Which is smaller: a or y?
y
Suppose -4*x = -24, -5*l + 743*x = 740*x + 1223. Which is greater: l or -208?
-208
Let c = -4726 + 4725. Is -23.09 not equal to c?
True
Let j be (-3248)/(-60) + (-8)/60. Suppose -79 = 3*q + 2*t + j, 4*q = -2*t - 174. Is -119/3 < q?
False
Let c = 7100661/40715 - -7/8143. Let z be (-1038)/(-6) + 4/2. Let j = z - c. Which is bigger: 2 or j?
2
Suppose 0*s = -4*s - 5*s. Suppose -4*j + s*w = -3*w - 242, 3*w - 192 = -3*j. Suppose -j*i + 63*i + 8 = 0. Are 2 and i nonequal?
True
Let c(j) be the second derivative of -j**4/12 - 7*j**3/2 - 39*j**2/2 + 31*j - 2. Let m = -2 - 14. Let v be c(m). Is 40 at least as big as v?
False
Let b be (0/(-1))/(6 + 24/(-3)). Suppose -h + 157 - 12 = -4*u, 5*u + 4*h + 155 = b. Is -37 not equal to u?
True
Let i = -22584 - -27689. Is -2/3 at least as big as i?
False
Suppose h + 5 + 10 = 4*o, -h - 19 = -5*o. Let m be ((-6)/o)/((-3)/44). Let n be -3*(m/30 + 0). Which is smaller: n or -3?
-3
Let i = 21.039 - 0.039. Let z = -400 + 130.8. Let l = z - -269. Is l less than i?
True
Let b = 24.52 - 24.48. Let u be (-14)/13*245/(-650). Let r = u - 1/169. Which is smaller: b or r?
b
Let w = -3747 - -3706. Is -30 less than w?
False
Suppose -49 = -2*x + 2*y - 17, -y - 64 = -4*x. Let w be (8/(-12))/((-10)/225). Are w and x non-equal?
True
Suppose 162 = 7*s - 10*s. Suppose 11*a - 10*a + 2 = 0, -2*q - 124 = 4*a. Is s bigger than q?
True
Let o(j) = j**3 + 9*j**2 + 8*j - 16. Let f be o(-7). Suppose -f*y + 28*y = -52. Let p = y - -25. Which is bigger: -2/23 or p?
-2/23
Suppose 0 = 3*j - p - 3446, -5*p = 23 - 13. Which is smaller: j or 4589/4?
4589/4
Let x be 25 + -11 + -4 + 2. Let n(i) = -7*i - 87. Let m be n(-12). Is x equal to m?
False
Let b(j) = -j**3 + 64*j**2 - 7*j - 39. Let d be b(64). Which is bigger: d or -482?
-482
Let z be ((-8)/(-28) - (-220)/(-35)) + -52. Is z bigger than -60?
True
Let o = -42.734 + -0.266. Let h = o - -39. Which is smaller: 28/5 or h?
h
Suppose 95*b + 718 = -4*z + 97*b, z + 5*b + 174 = 0. Is -187 < z?
True
Let c = 337 - 138. Suppose 3*g = m - 197, 2*m - 311 - 86 = 3*g. Which is smaller: c or m?
c
Let p = -4154 - -4154.1. Let a = -23 + -13. Which is greater: a or p?
p
Let c be -5 - (-424)/(-40)*5. Let f be (-5 - (-12 + 4)) + 166/c. Let h(g) = -g**3 + 6*g**2 + 1. Let w be h(6). Which is smaller: w or f?
f
Let d be (-12)/(-18)*(-48)/216. Suppose -j + 4*j = -r + 21, -39 = -5*j - 3*r. Suppose -4*a + 5 = -5*g, j*g - a + 5 = g. Are g and d equal?
False
Let p be ((-8)/20)/((-40)/80) + (-1096)/(-5). Which is smaller: p or -5?
-5
Suppose 4*q = 4*c - 0 - 12, 5*q + 5 = 0. Suppose -1005 - 510 = -2*h - 5*o, -3*h = -c*o - 2282. Are h and 760 unequal?
False
Let n = 316 - 665. Let g = n + 343. Which is smaller: -35/6 or g?
g
Let u = 2/5 + -49/60. Let s be (-4294)/(-14) + (-22)/(-77). Let z = s + -307. Are u and z equal?
False
Let a = 727.5 + -109.5. Let f = a - 619. Which is greater: -14/3 or f?
f
Let m = 20359 + -20467. Which is greater: -195 or m?
m
Let z = -0.3 - -0.21. Let a = -710 - -490. Let g = -218 - a. Which is greater: g or z?
g
Let f = 1080 - 1080.4. Let n be -1*1 + (-7 - -4). Is n greater than f?
False
Let y = -9 + 15. Let t = 6 - y. Suppose -4*f + 3*w + 127 = t, 3*w - 118 = -5*f + 7. Is 28 at most f?
True
Let r be (-42)/(-54) + -1 + (-1985)/(-1170)*16. Which is smaller: 27 or r?
r
Let j = -16059 + 18127. Do 2067 and j have the same value?
False
Let q = 6460 + -7408. Which is smaller: q or -946?
q
Let v be 1*(-3)/3*-1. Let h be (2 - v)*3/(-63). Suppose 2*z = -4*r + 14, -5*z + 0*r = -r + 9. Is h < z?
False
Let f(m) = m**2 + 19*m - 20. Let o be f(1). Which is greater: o or -1/454?
o
Let b(o) = -2*o**2 + 103*o + 1000. Let h be b(57). Which is bigger: 362 or h?
h
Suppose 429 + 961 = -10*c. Suppose -11*a = -21*a - 1380. Is a greater than c?
True
Suppose -704*r + 5346 = -349*r - 377*r. Is r smaller than -260?
False
Suppose 85*x - 84*x = -q - 3763, 0 = -5*x - 40. Does q = -3756?
False
Let j = -12505 - -13902. Which is smaller: j or 1401?
j
Suppose 16 - 28 = 4*q + 2*v, 4*q + 3*v = -18. Which is greater: -14/87 or q?
q
Let o be 918/170 - (0 - 0). Is o != 3?
True
Let v be (-2)/(-21*(-12)/(-90)) - 4. Let p = 0 + -4. Do p and v have the same value?
False
Let c be ((-251)/(-8283))/(2*1357/(-12)). Which is smaller: c or -1?
-1
Let m = -364 + 28. Let w = 338 + m. Let n = 3/52 - -233/468. Is w at least n?
True
Suppose -13*j + 292 + 267 = 0. Suppose u - j = -205. Is u at most as big as -161?
True
Suppose -3*x + u = 1258, -11*x + 9*x - 820 = 4*u. Is -1 less than x?
False
Let n = 9313 - 9269. Is -1 b