1119 + 327 = 0. Let p be (2/(-4))/((-2)/104). Which is smaller: p or v?
v
Let g = 1976.1 - 1976. Which is greater: -278 or g?
g
Suppose -2*m + s = 87 + 38, 0 = -5*s - 5. Let c be 5 + (-4 - (8 + m)). Which is smaller: c or 59?
c
Suppose -2*f + 11 = 15. Let a be 6*(-30)/24*f/3. Which is greater: 12 or a?
12
Let b be 1/(-1)*(9348/665 + -14). Which is greater: 23/3 or b?
23/3
Suppose -575 = 16*c - 138975. Is c < 8650?
False
Let i be ((-1068)/(-1246))/(16/35). Is i at most -20.2?
False
Let w = 26 - 26. Let d be (-3 - 152/(-52))/(2/(-10)). Is w != d?
True
Suppose 8*c = -4*w - 588, 4*w + 608 = 2*c - 0*c. Is w less than -150?
True
Let d be (-9)/(-3) + -10 + 6. Let p(n) = -451*n - 15. Let k be p(d). Are 435 and k equal?
False
Let v be -35*(-6 - 369/(-63)). Let c = -53/76 + 5461/1292. Is v != c?
True
Suppose 0 = n - g + 4*g + 120, -2*n - 215 = g. Let x(w) = -w**3 + 7*w**2 + 10*w - 12. Let k be x(7). Let r = k + n. Is -48 >= r?
False
Suppose 7*t + 8 + 13 = 0. Let i be 64 + 0 - ((-15)/t - 2). Let k = -60 + i. Are k and -2/117 non-equal?
True
Let k = 128 - 89. Let m = k - 30. Suppose 4*q = -5*r + 3, -2*r + 5*q + m = -12. Which is smaller: r or -1.6?
-1.6
Let x be (-770)/(-322) - (-8 - -10). Which is smaller: x or 0?
0
Let n = 17952 + -17802. Is n at most 186?
True
Suppose 0 = -4*a + 123 + 757. Suppose -4*z + 89 = 3*y + 420, -2*y - a = 3*z. Are -116 and y nonequal?
True
Let o be -2630 - (5/(-30))/(18/(-756)). Which is bigger: -5 or o?
-5
Let v = 2/4369 - -8660/170391. Is -1/23 smaller than v?
True
Let n be 1/4*((9 - 10) + 13). Suppose -b - 10 = -4*b + 4*l, -l + 5 = 3*b. Suppose -b*z + 12 = -5*x, n*z + 6*x - 3*x + 3 = 0. Are z and -4 equal?
False
Let c = -4.5689 + 29.3719. Let p = 24.7 - c. Let m = -0.203 - p. Is m at most 63?
True
Let d = -22 - 221. Let a = -247 - d. Which is bigger: 20 or a?
20
Let m = 361 + -2529/7. Let z = -25 + 32. Is m less than or equal to z?
True
Suppose 0 = -0*c - 11*c + 55. Suppose 3*i + 52 = 5*u, 0 = 3*i - c*u + 2*u + 54. Which is greater: i or -6?
-6
Let x = 0.0059 - -0.3741. Is -0.32 less than or equal to x?
True
Let n be (-1891)/1403 + 2/(6/15). Is 5 at least as big as n?
True
Suppose 5*g + 13*z - 7 = 14*z, 4*z = 12. Suppose 4*q - g*q + d + 32 = 0, -5*q - 87 = -d. Which is smaller: -14 or q?
q
Let r(i) = 7*i**2 + 19*i + 10. Let j be r(14). Let x = j - 9929/6. Is -6 bigger than x?
True
Let b(j) = -3*j**3 - j**2 + j. Let z be b(1). Let s = 46524 - 46575. Are s and z equal?
False
Let f(t) = 3*t - 34. Suppose 0*d = d - 12. Let b be f(d). Suppose -7*r + b*r = 5. Are -12 and r unequal?
True
Let x = -223634/321 - 461/214. Let m = 701 + x. Let k be 20/70 - (-10)/14. Which is bigger: m or k?
m
Let x = 5257.06 - -30.94. Is 0.1 < x?
True
Let g = -15314867/287 - -53362. Which is smaller: g or 1?
g
Let h = 800 - 620. Let i be (-46)/(-161) + (h/(-14))/3. Which is smaller: -3 or i?
i
Let a = 8117 - 8431. Is 2 less than or equal to a?
False
Let h = 0.0454 - -0.3146. Let b = 0.36 - h. Let i = 3 + -2. Are b and i nonequal?
True
Let d be (-552)/10 + 4/20. Let t be 5/(-1) - (27 + 22). Which is bigger: t or d?
t
Let c be 6/60*294/(-15). Is -2 > c?
False
Let y = -2390 - -2356. Let u = -86 + 50. Is y <= u?
False
Let u = 2328.64 - 2367. Let c = 0.64 - u. Let d = -2 - -1. Which is bigger: c or d?
c
Let p be (1 - 43 - 3)/((-6)/(-4)). Which is smaller: -40 or p?
-40
Suppose -2*d - 10078 = -a + 119, 4*a - 3*d = 40798. Which is greater: a or 10200?
a
Let d = -63.597 - -2.557. Let n = d + 0.04. Let g = n + 60.9. Which is bigger: 3/4 or g?
3/4
Let t(u) = u**2 - 2*u + 3. Let r = 50 - 47. Let h be t(r). Suppose 4*o - 2*f = 74, 2*o - 55 = f - h*f. Is -0.1 bigger than o?
False
Let n be (21/36)/(1/(-3)). Let v = 873/2 - 435. Let m = v + n. Which is bigger: m or -2?
m
Let v = -6 + 7.95. Let i = 2.23 - v. Is i bigger than -1?
True
Suppose -5*p + 33 = 2*r, 0 = -5*p - 5*r + r + 41. Suppose 7*u + 12 = p*u + 4*s, 3*u - 3*s = -9. Is -7/16 not equal to u?
True
Suppose 0 = -15*x + 232 + 278. Let r be 2/(-4) + 426/12. Is r at most x?
False
Suppose 157*k + 18676 - 935 = 0. Which is smaller: 9 or k?
k
Let k be ((-3)/18)/(5/15)*2. Let l be (-454)/(-616) + ((-12)/(-16))/k. Is l >= -1?
True
Let i = 6429 + -6428. Which is smaller: 71/95 or i?
71/95
Suppose -16 = 4*k + 4. Let i = 705 - 1009. Let a be -3 - (i/44 - k). Which is bigger: -1 or a?
-1
Let q(s) = 2*s**2 + 13*s - 188. Let g be q(7). Which is bigger: -711 or g?
g
Let a(i) = 231*i + 3004. Let r be a(-13). Which is bigger: 2/163 or r?
r
Suppose -17*p + 104 = 9*p. Suppose r + p*g - 17 = 0, -g = -2*r - 6*g + 22. Which is smaller: r or -1/606?
-1/606
Let h be (-2)/8*(-8)/6. Let a = 197.042 + -0.042. Let j = 197.3 - a. Which is greater: j or h?
h
Let r = 258649/10515 - -4/2103. Let s be (-6034)/315 - -20 - (2 + 14/(-9)). Which is smaller: s or r?
s
Suppose -2*c - 1 = 7. Let q = c - -7. Suppose -5*v - 59 = -39, -v - 39 = -5*s. Which is smaller: s or q?
q
Let j = -26 - -49. Let i(l) = 7*l - 107. Let c be i(j). Which is greater: 52 or c?
c
Let k = -72/203 + -31917/1015. Let y = k - -21. Is -10 less than y?
False
Let w be ((-5312)/646656)/((-2)/(16/42)). Let v = w + -4/421. Is -1 >= v?
False
Let i = 17.1 - 30.7. Let c = -245 + -280. Let g = 524 + c. Is g greater than or equal to i?
True
Let u(k) = 100*k + 701. Let l be u(-7). Which is smaller: l or 0.968?
0.968
Let v(x) = x**3 + 24*x**2 - 27*x - 44. Let u = 0 + -25. Let i be v(u). Suppose -g + 60 = -3*a + 2*g, -i = 2*g. Which is smaller: 2 or a?
a
Let t = -1364/51 + 650594/24327. Which is greater: 5 or t?
5
Let b(i) = -6 - 5*i**2 - 11 - 7 + 0*i**2 + 7*i. Let g(y) = -4*y**2 + 8*y - 25. Let o(u) = -3*b(u) + 4*g(u). Let l be o(7). Which is smaller: l or -4/13?
-4/13
Let k = 951 - 10192. Do k and -9241 have the same value?
True
Let m be ((-18)/105)/((-7)/5). Suppose -16 = -4*w + 5*g + 3, -5*w + 4*g = -35. Suppose 0*y = -3*y - 15, -4*a + 3*y = -w. Which is greater: a or m?
m
Suppose -8 = 3*r - 5*g - 1, -1 = -r + g. Suppose -10*k + r*k + 192 = 0. Suppose -k = 3*a + a. Is a at least as big as -11?
False
Let n = -179.4 - -180. Let s = -0.6 + 0.4. Which is greater: n or s?
n
Let r(z) = 6*z + 42. Let f be r(-8). Let v(n) = -58*n - 349. Let j be v(f). Which is smaller: -13/31 or j?
j
Let o = 4971 - 4972. Is 1/1913 < o?
False
Suppose 0 = -5*l + 2*s - 45, 0 + 3 = 2*l - 5*s. Let x(f) = -f**2 - 16*f - 23. Let b be x(l). Let i be (145/(-45) - (-6)/27)*-11. Is b at most as big as i?
True
Let f = -1.565 + 1.545. Which is bigger: -281 or f?
f
Suppose -11 = 3*t + 1, -4*t - 43 = -3*f. Suppose 4*k - f = -21. Let l be (21/k + 4)/(-1). Is 3 bigger than l?
False
Let h be ((-4)/7)/(39*(-14 + (-6780)/63)). Is 0 < h?
True
Let j = -255 + 256. Let l be (5/(-2) + 14/(-28))*j. Let q(y) = y**3 - 4*y + 3. Let c be q(2). Which is smaller: c or l?
l
Let o = 1374 + -1368. Let m be 2 + -4 - (-19 - -2). Let r = m + -8. Which is greater: o or r?
r
Suppose 81*u - 27 + 97 = 11*u. Is u bigger than -1/24144?
False
Suppose 0*u = -2*u, 3*a + 24 = 2*u. Let x = -1190 - -1673. Let j be 4/(-6)*x/42. Which is bigger: a or j?
j
Let r(l) = 52*l + 57. Let p be r(-1). Let j be (((-12)/(-8))/(-1))/(6/(-28)). Which is greater: j or p?
j
Suppose 2*c + 2 = 5*k, 16*k + 3 = -3*c + 18*k. Which is smaller: c or 14/403?
c
Let w = 135 + -135. Suppose w = -23*j + 213 + 316. Is 20 greater than j?
False
Let b be 6*(-6 + 186/12). Do b and 111/2 have the same value?
False
Let k = 202/5 - 41. Let a = 399 - 391. Let y be 0/((-4)/a*-4). Which is greater: y or k?
y
Suppose 43*r - 6*r = -27*r + 86976. Does r = 1358?
False
Let r(j) be the first derivative of j**4/4 + 4*j**3 + 3*j**2/2 + 2*j + 46. Let c be r(-12). Do c and -3 have the same value?
False
Let d = -159610 + 158844.97. Let v = -765 - d. Which is smaller: 3/8 or v?
v
Let n be (3036/(-121))/((-10)/55). Suppose -56 - 83 = -d. Is n != d?
True
Let o(h) = -19 + 4*h**2 + 19 + 26 + 94*h. Let l be o(-23). Is l not equal to -4?
True
Let v(x) = 2*x + 48. Let g be v(-20). Let r be (-1012)/(-165) + g/(-60). Do -13 and r have the same value?
False
Let b = 199 + -181. Let j(a) = a**3 - 16*a**2 - 32*a - 10. Let s be j(b). Is s at least -0.1?
True
Let z = 25.13 - 24.13. Let f = -0.11 + 4.11. Which is greater: f or z?
f
Suppose -3*f = -3*x - 78, -3*f - 5*x = -f - 73. Suppose -5*g - 15 = -2*t, -11 + f = 2*g +