)*(0 - -1). Are -1 and v non-equal?
True
Let f = 0.0823 + -0.0263. Suppose 0 = 2*j - 2*t + 6, -4*t - 2 - 2 = 0. Is j > f?
False
Let a = 6 + -6. Let u = -17410 + 17185.42. Let r = u + 225. Is r >= a?
True
Let g be (1241/51 - 25)/(2/63). Which is greater: g or -26/9?
-26/9
Let l be 2*((-26)/4 - -3). Let s(d) = -266 + 280 - 3*d + 8*d. Let x be s(l). Which is greater: -1 or x?
-1
Let r = 40.92 - -45.08. Is r bigger than 5?
True
Let d be 5*(-49)/(-35) - (-4 + 0). Suppose -d*i = -7*i + 28. Is i less than -5?
True
Let h(v) be the third derivative of -v**4/8 + 55*v**3/6 - 75*v**2. Let b be h(24). Which is greater: -12 or b?
-12
Suppose -70 - 62 = 4*b. Let o(t) = -2*t**3 - 3*t**2 + 19*t - 9. Let u be o(3). Is b less than u?
False
Suppose 0 = 2*s + d - 30 + 134, 5*s - 5*d + 275 = 0. Which is smaller: s or -37?
s
Suppose -25*h = -27*h - 88. Let g be 6*(20/(-8) + -5). Which is smaller: g or h?
g
Let r(c) = 3*c - 88. Let q be r(40). Let b = 24 + -3. Let n be b/q - ((-14)/6 + 3). Which is bigger: 1 or n?
1
Suppose -46*g + 42*g = 3*o + 27701, g = -2*o - 18474. Which is smaller: o or -9238?
o
Let c be (-1)/((-24)/(-490)) - -4. Let l = c + 63/4. Let v be (-390)/200*-15 + -11. Which is bigger: l or v?
v
Let g(t) = t**3 + 9*t**2 - 25*t - 2. Let m be g(-10). Let v be (-117)/(-172) - 111/m. Is v <= 1?
True
Let x = -623 + 515.4. Is -2 at least as big as x?
True
Suppose 3*a - 9 + 24 = 3*r, -r + 5 = 0. Suppose a = -6*o - 149 + 155. Is -4/63 != o?
True
Let k = -3214 + 3296.2. Is 0 smaller than k?
True
Let j(o) = 4*o**3 - 48*o**2 + 95*o - 121. Let a be j(17). Are a and 7277 equal?
False
Let h(v) = 4720*v**3 - 2*v**2 - 2*v + 2. Let f be h(1). Let j be (-3)/7 + f/11466. Which is smaller: -1 or j?
-1
Let v = 32 - -15. Let h = -127 + v. Let p = 80 + h. Which is smaller: -3.4 or p?
-3.4
Let h = -20 - -20.2. Let a = 193.6 - 215.6. Which is smaller: a or h?
a
Let x = -1308/121 - -24425/726. Let w = -37 - -59. Are x and w unequal?
True
Let r be (-13 - 245/(-14))*(-6)/(-9). Which is bigger: 1/1273 or r?
r
Suppose -654*l + 661*l = -1638. Which is smaller: l or 14?
l
Let b(n) = n**2 + 16*n + 2. Let o be b(0). Which is smaller: 512 or o?
o
Suppose 3*x = 2*x. Let k = 2661/8 + -333. Are k and x nonequal?
True
Let g be (100/(-6) + 5)*-3. Let k be 19 + 7/(g/(-10)). Do k and 16 have the same value?
False
Let j(i) = -i**3 + 9*i**2 - 54*i + 640. Let r be j(10). Which is smaller: 20/77 or r?
r
Suppose 320 = 2*h - 5*n, 4*h - 51*n = -53*n + 688. Which is bigger: 171 or h?
171
Suppose -4*a - 5*n + 8394 = 3147, -2*n + 1314 = a. Which is bigger: 0.09 or a?
a
Suppose -2*m + 17 = -0*j - 5*j, -5*j - m - 14 = 0. Let x = 0 + 4. Is j smaller than x?
True
Let d(y) = -y**3 + 11*y**2 + 11*y - 450. Let p be d(12). Is -462 <= p?
True
Suppose -2*f + 2 = -4*f. Let i be 0 - (3/9)/(3/(-18)). Let p be -1*(-1480)/(-8745) - i/(-11). Which is smaller: p or f?
f
Let l = -26 + 28. Let s be (-4)/l*7/14. Is s greater than or equal to -4/455?
False
Let j = 12087 + -12076. Are 391/38 and j equal?
False
Suppose -28*y = -5*y. Suppose 5*m - 4*g = 4, -3*m - 8*g + 3*g - 5 = y. Which is greater: m or -26/19?
m
Let m = 37205 + -1190677/32. Which is smaller: m or 2/7?
m
Let j = 1.72 + 5.38. Let l = j + -7. Let u = 25.78 - 26. Is u at most as big as l?
True
Let b be (18/(-1269))/(8/(-12)). Suppose -7*d = -2*d + 5. Which is bigger: b or d?
b
Let i = 95 - 98. Let u be 4944/72 + 8/6. Let x be i/(-6)*(-40)/u. Which is smaller: -17 or x?
-17
Let o = -1.36 + 0.79. Let j = -1.47 - o. Let y = -8 - -5. Which is smaller: j or y?
y
Let t = 0.07 + 0.63. Let f = -2.3 - t. Suppose 2*g = 0, 4*s + 8*g - 8 = 6*g. Which is greater: f or s?
s
Let y = -0.02971 - 255.27029. Which is bigger: y or -1?
-1
Let d be -3*15/9*1. Let y be 1/d + -1 + (-456)/(-330). Is y > 1?
False
Let i be (-50*3/3)/(-16 - -18). Let k(d) = -d - 19. Let h be k(3). Are i and h equal?
False
Let o = -13640 + 13357. Is o smaller than -285?
False
Suppose 0 = 29*z + 301 - 10219. Is z > -4?
True
Let d = -6905 + 6903. Is d <= -1?
True
Let r = -18767/1502 - 4/751. Let k = 16 + -22. Let f be (-2)/k - (-185)/(-15). Is r <= f?
True
Suppose 122*y + 224 = 102. Do -2/14917 and y have different values?
True
Let z(t) = -255*t + 852. Let y be z(3). Which is greater: y or 88?
88
Let x be ((-18)/10)/((-12)/(-222)). Which is greater: x or -33?
-33
Let q = -125.095 - -0.295. Let s = q + 19.8. Let g = s + 105.2. Which is smaller: 3 or g?
g
Let r be (-308)/770 + (4/3 - (-14)/(-15)). Is r smaller than 6/10459?
True
Let q be (-236)/1848*2 - 0/9. Let y = 6/77 - q. Which is bigger: y or 6/37?
y
Let f = 715 - 957.4. Let a = -242 - f. Which is smaller: a or 34?
a
Let m = 3/20897 + 17657938/188073. Let a = -94 + m. Suppose g + 4*z + 4 = -6, z = g - 5. Which is smaller: g or a?
a
Let h be -63 + (28 - 63) + 24. Let p = 35 + -109. Do p and h have different values?
False
Let n be (-117)/130*35/(-133). Which is smaller: n or 0?
0
Let s = 174.96 + -175. Let n = s - -0.04. Which is greater: 97 or n?
97
Let v(z) = z**3 + 29*z**2 + 30*z + 58. Let h be v(-28). Suppose -62*y + 61*y + h = 0. Let u be (5 - (-28)/(-8)) + y. Which is smaller: u or 3?
3
Let h be (-4)/(-4)*3 + -3. Let v be ((-18)/(-54))/(-2*2/(-684)). Let i = v - 57. Is h less than or equal to i?
True
Let g be (-1)/(0 + 1 + 39). Let r(w) be the second derivative of -w**3/6 + 2*w**2 + 23*w. Let q be r(5). Which is bigger: q or g?
g
Let i(c) = -c**2 + 18*c + 26. Let o(s) = s**2 + s - 7. Let r be o(-6). Let n be i(r). Is -89 > n?
False
Let t be (-4)/(-4)*-6 + 9 + 391/(-119). Which is bigger: t or 1478?
1478
Let b = 16 - 9. Let r(w) be the first derivative of -w**2/2 + 4*w - 626. Let h be r(b). Which is smaller: -5/3 or h?
h
Let t be 4/(6*(-3)/(-54)). Let y be (-2)/(-4) - (-39)/6. Let m(r) = -r**3 + 6*r**2 + 10*r - 7. Let u be m(y). Which is bigger: u or t?
u
Let i = 93157/9 - 10335. Which is greater: i or 15?
i
Let b = 0.1357 - -0.2743. Which is smaller: -15 or b?
-15
Let t be 13263/(-65) + (-34)/(-170). Let y = t - -204. Which is greater: y or 15?
15
Suppose -83*j = -290*j. Which is greater: j or -10/5357?
j
Let i = -0.261 + 0.2421. Let u = i + 3.0489. Let c = 0.03 - u. Is c not equal to -5?
True
Let k(y) = 112*y**2 + 214*y + 1373. Let c be k(-6). Which is smaller: c or 4123?
c
Let j = 17.479 + 829.521. Which is smaller: 0.1 or j?
0.1
Let y = 51/2398 + -70273/3867974. Which is smaller: y or 1?
y
Let i = -361.3 + 361.2. Which is smaller: i or 615?
i
Let s = 403 - 196. Suppose -s = 3*d - 69. Is -45 less than d?
False
Let d = 8875619 - 239671417/27. Let v = -1100 - d. Is 0 > v?
False
Let f be 5/2 - (-4 - (455/(-26) - -10)). Which is smaller: f or -2/32907?
f
Let x(c) = -52*c + 365. Let k be x(7). Which is smaller: -8/4227 or k?
-8/4227
Let v = -18 - -54. Suppose 3*f + 2*f - 225 = -5*u, 5*f = 3*u - 151. Let y = v - u. Which is greater: y or -13?
y
Let l = 1/3741 - 2753/968919. Let z = -500/6993 + l. Suppose m = 5*v + 3, 0 = 3*m + 5 + 1. Is z less than v?
False
Let q = 181/502 + -36887/144074. Is -1 smaller than q?
True
Let f be 1/(-9) - 2327/(-207) - -1. Which is bigger: 11 or f?
f
Suppose -v + 5 = -7. Suppose -f + 2*f + v = -5*c, 5*f + 60 = -c. Let x = f - -12. Which is bigger: -4 or x?
x
Let j = -28226 + 28384.7. Which is greater: j or 1/2?
j
Let y be 20652/84 + -3 + -8. Is y > 236?
False
Let z = -25423 + 25464. Let r be -2 + (-2 - -2) + 44. Do r and z have the same value?
False
Let b be (218/5559)/(33/15). Is 1 greater than or equal to b?
True
Let s = 3.83998 + 0.16002. Is s > 0.548?
True
Let x(r) = r + 4. Suppose 3*f - 7 = 4*m, 3*m = f - 0*m - 9. Let d be x(f). Let i = -2309 + 2309.16. Which is smaller: i or d?
i
Let i = 0.96 + -0.9482. Let v = -4.4082 - i. Let m = v + 0.42. Which is smaller: 7/5 or m?
m
Let n be -3*1*(0 - 8/12). Suppose -2*y + n = 8. Let m be ((-8)/10)/(y + (-67)/(-20)). Which is greater: -1 or m?
-1
Let g(h) = -224*h + 8511. Let k be g(38). Which is greater: 5/2734 or k?
5/2734
Let c be (-16)/12*(-81)/10. Let g = 1370447/135240 + -1/9016. Let b = c - g. Is b at most 2/47?
False
Let f be -5*11*(-26 + 192864/7420). Is 1 less than or equal to f?
False
Let d = -366 + 480. Let g = 866/35 + -967/7. Let l = d + g. Which is smaller: l or -3?
-3
Let w(m) = -2*m + 2. Let r be w(2). Let t be -1 + 3 + 0 - r. Let y be (10/(-14))/((-189)/1323). W