e v(8). Is a equal to p?
False
Suppose -96522 = 178*f + 27188. Which is greater: f or -698?
f
Let v = -58637 + 3401227/58. Which is smaller: 4 or v?
4
Suppose 7*u - 3*u = 72. Let f = 32 - u. Let r be (-17)/((-272)/60)*4. Which is greater: f or r?
r
Let a(g) = g**3 - 2*g**2 + 17*g + 43. Let x be a(-13). Which is bigger: -2714 or x?
x
Let q = 59232/7 - 8483. Is -0.2 equal to q?
False
Let l = -201.3 + 191. Let q = 10.3 + l. Which is greater: q or 1.6?
1.6
Suppose -5*x + 290 = -5*c, -4*x + 2*c = -3*c - 229. Let o(z) = 18432*z - 55232. Let g be o(3). Is g less than or equal to x?
False
Let m = -244639 - -244628. Let c be 0 + 0 + -2 + -4. Is c greater than m?
True
Let a = -34213 + 34216. Which is greater: a or 30/709?
a
Suppose 4*f - 2*r - 2250 = 0, r - 1316 = -3*f + 364. Let y = 419 - f. Is y greater than 0.1?
False
Let x be (-3)/(-4 - (-2 + -1)). Suppose -d + 1 - 21 = 0. Let o be (-264)/(-585) - (-8)/d. Which is bigger: x or o?
x
Let h = 26305/116337 + 4/2041. Let b = -3259/456 - h. Which is bigger: b or -7?
-7
Let t = 610409/4 + -150766. Is 1835 greater than t?
False
Suppose 2*h = 3*h + 2*f + 14, 0 = -4*f. Let y = h + 46. Let u = 30539 + -30507. Is u < y?
False
Let s = 2.09353 + -0.09353. Is 2728 > s?
True
Suppose -2*a - 141 = -3*v, 4*a - v - 60 = -327. Is a greater than or equal to -41?
False
Let i = -134.918 - -135. Let h be (-2 - 13/(-6))/((-45)/60). Is h greater than i?
False
Let x(d) = d + 15 + 3*d**3 - 6 - 2*d**3. Let l be x(0). Suppose -l = 10*p - p. Is p != -4?
True
Let p = -141 + 104. Let v = p + 36. Is v less than or equal to 19?
True
Let l be (-1 - 0 - 3) + 3. Let h = 20 + -30. Let d be (-2)/h - 112/(-490). Which is smaller: l or d?
l
Suppose 0 = 170*p - 158*p - 588. Which is smaller: p or 6?
6
Let b = -273.175 + 0.175. Let q = b - -275.1. Which is greater: q or 2/5?
q
Let r = 31.2 - -26.3. Let u = -23.5 + r. Which is smaller: 1/4 or u?
1/4
Let r = -96 + 96.01. Let p = r + 45.99. Let u = -67 + p. Is 2/3 less than or equal to u?
False
Let x(a) = 4*a - 95. Let c be x(15). Let o be (-33)/c + (4 - 6) + 1. Which is smaller: -2/7 or o?
-2/7
Let t(u) = 2*u**3 + 10*u**2 - 1. Let y be t(-5). Let z = -21.966 - -21.9. Which is smaller: z or y?
y
Suppose 8772 = 8*k + 52*k - 2508. Is 162 at most as big as k?
True
Let m be 1 + -4 + 5 + 7. Suppose 0 = -l + m - 1. Let p be 4 - l*(-6)/(-21). Which is greater: 2 or p?
2
Let d = 7.049 - 6.999. Is d > -299/5?
True
Let q = -17 + 25. Let w(x) = x**3 - 7*x**2 - 10*x + 18. Let v be w(q). Suppose -3*m - 4 = -v*m + 3*o, 2*m + 5 = -3*o. Do 5/2 and m have the same value?
False
Let d(o) = -o**2 - 10*o - 31. Suppose -2*p - 4 - 1 = -s, -5*p = -2*s + 15. Let v be d(p). Is v greater than -96/17?
False
Let f(h) be the first derivative of h**4/4 - 8*h**3/3 - 7*h**2 + 39*h - 45. Let s be f(9). Which is greater: -12 or s?
s
Suppose 5*v - 21 = -16. Let a be (-2 - v)/((-6)/(-4)). Let i = 120/7 + -132/7. Which is smaller: a or i?
a
Suppose 206*s = 4*b + 202*s - 4, 5*b + s - 5 = 0. Is 33/20 less than or equal to b?
False
Let m(g) = -g**3 - 4*g**2 - 2*g - 2. Let i be m(-4). Let b(y) = -y**2 + 5*y + 4. Let r be ((-50)/35)/(4/(-14)). Let x be b(r). Which is greater: x or i?
i
Let v be 4*(-86)/(-24) + (-5 - 248/(-48)). Which is bigger: 16 or v?
16
Suppose 11261 = 3*v - 5*r + 29709, 18464 = -3*v + r. Is -6156 <= v?
True
Let b = 54 - 21. Let o = b - 32. Suppose 2*d + 5*s + 2 = 0, 5*d - 4*d = -2*s - o. Is d > -1/8?
False
Suppose -2*u = 4*k + 164, 0 = 202*u - 204*u + k - 154. Which is smaller: u or -60?
u
Let b(g) be the second derivative of g**5/20 - g**4/3 + 3*g**3/2 - 11*g**2/2 - 4*g + 38. Let c be b(2). Let m = -101/5 + 20. Is m bigger than c?
True
Let a = -35495157909712239787/4760 - -7456965983071097. Let t = 35652559 - a. Let f = -18/85 - t. Which is bigger: f or 1?
1
Let t be (-3695)/1235 + 4 + (-2 - -1). Suppose 0 = -136*p + 127*p + 9. Is p less than or equal to t?
False
Suppose -4*h - 2*f = -10, -3*h = -12*f + 10*f + 3. Is h greater than 23/133?
True
Suppose 0 = z - u, -5*u = 111*z - 112*z + 4. Are 1/1183 and z non-equal?
True
Let y = -82 - -37. Let a be (-1 + 13)*2/y. Suppose 0 = 3*f - 4*f. Are a and f equal?
False
Suppose -18*m + 81 = 9. Suppose 3*t + 9 = 3*q, -4*t + 0 + m = 4*q. Is q less than 15/16?
False
Let c = 525 + -181. Suppose -c + 242 = 6*z. Is -15 greater than z?
True
Let z(h) = h**2 + h - 29. Suppose 23*w - 21*w = 10. Let l be z(w). Is -3/119 smaller than l?
True
Suppose 11*n - n = 0. Suppose n = -r + 4*x + 356, -6*r = -11*r + 4*x + 1764. Which is greater: 353 or r?
353
Suppose -i + 6 = i, -4*t + i = 27. Let b be (t/5)/(-3)*950/615. Let z = b - -2/41. Is z > -18?
True
Let c = 596 - 596. Which is greater: c or 3856?
3856
Let d be ((-136)/14)/((-140)/1470). Let a be 42*(-17)/(d/(-44)). Is 308 less than a?
False
Let w(b) = 2*b**2 - 19*b - 5. Let y be w(10). Suppose -3*v - 6*o + y = -5*o, -5*o + 15 = 5*v. Are -2/389 and v equal?
False
Let h = -290 - -222. Let g(j) = -j**2 - 6*j + 4. Let t be g(6). Is t at most h?
True
Let i = -428 + 430. Let c be 1 + i - (410 - (-5 + 6)). Is -407 >= c?
False
Let w = -3 - -2. Let c be 5344/444 - (-24)/(20/(-10)). Is w at most as big as c?
True
Suppose 29*h = 32*h + 3*s + 3270, 0 = -s + 3. Which is bigger: -1095 or h?
h
Let l be (2/14)/(339/(-791)) + 520/12. Let s(t) = t**3 + 9*t**2 + 2*t - 3. Let y be s(-8). Which is bigger: y or l?
y
Suppose 0 = -5*j - g - 4958 - 63000, j + 4*g = -13622. Which is smaller: j or -13589?
j
Let y(f) = 2*f**3 + 12*f**2 + 2*f + 5. Let s be y(-6). Let h be (-4)/8 - s/(-2). Let u be (-2)/((-2)/h + (-147)/318). Which is greater: -54 or u?
u
Suppose -5*l + 43 = 2*s, 2*l = -5*s + 79 + 39. Suppose -2*w - 46 = -k, -s*k = 4*w - 23*k + 98. Which is smaller: -31 or w?
-31
Let c(j) = -481*j - 4310. Let s be c(-9). Let u be (-202)/(-10) + (-6 - -4). Is s equal to u?
False
Let z = 2306184 + -1003191878/435. Let b = z - -22/29. Let y = -1211/345 - b. Is 1 bigger than y?
True
Let o be (((-50)/(-305))/5)/((-12)/402). Are o and 0 equal?
False
Let x = -2217 + 2217.873. Let k = -22.973 - -23. Let y = k + x. Which is smaller: 0 or y?
0
Let y(r) = -r**2 + 1403*r + 1179. Let a be y(0). Is a bigger than 1177?
True
Suppose -4*x = -12, -x - 255 = -4*w + 562. Let c = w - 202. Which is smaller: c or 7?
c
Let p = 23.11 - 0.11. Let t = 5.9 + 18.1. Let n = t - p. Which is smaller: n or -14?
-14
Let f = -2/37346195 + 1025937323047/3771965695. Let o = 272 - f. Which is greater: o or 0?
o
Suppose -4*x + 2108 + 272 = 2*c, 2*c - 2*x - 2386 = 0. Which is smaller: c or 1194?
c
Suppose -9*p = -3 + 3. Suppose 2*q + 287 = -3*i, p = -4*q - 4*i + 8*i - 564. Are -143 and q equal?
False
Let r = -181/141 - 32899/2820. Let p = r + 51/4. Are 1/22 and p nonequal?
True
Let x = -7167 - -7167.43. Which is smaller: -3 or x?
-3
Let l = 5 - 4.5. Let y = -227.851 + 228. Let a = y + -0.129. Which is greater: l or a?
l
Suppose -60 = 350*n - 346*n. Let o be (-273)/(-104)*(-22)/n + -4. Suppose -2*g + 3*i + 5 = 0, 0*g - g - i = 0. Is o smaller than g?
True
Suppose 6*d - 1819 - 778 - 31 = 0. Is d greater than or equal to 442?
False
Let v = 0.17 + 2.83. Let n = v + 0. Let r be (27/(-18))/(15/(-4)). Is r not equal to n?
True
Suppose 43 - 4063 = -60*g. Which is bigger: 30 or g?
g
Let q = 29 - -69. Suppose -y + 3*y = 6. Suppose -260 = -y*i - q. Is i at most as big as 53?
False
Suppose 0 = w + 3*n + 100, 3*w = -5*n - 280. Does -117 = w?
False
Suppose -24*u + 756 = -q - 23*u, 4*q = 3*u - 3026. Let r = q + 757. Is -1/211 greater than r?
True
Suppose -9 - 31 = -10*j. Suppose 5*m = j*z - 1 - 4, 3 = -3*m + 4*z. Let t be 0/(0 - (m - 1)). Which is bigger: -3 or t?
t
Let q = 13.074 - 13.174. Is -48 greater than q?
False
Let g = 654 + -1305/2. Let m = -28 + 26. Which is bigger: m or g?
g
Suppose 3*d = n - 4628, -3*n = 4*d - 4078 - 9780. Which is greater: n or 4623?
4623
Suppose -5*g + 134 + 536 = p, 555 = 4*g - 3*p. Is g less than 679/5?
True
Suppose -105 = 3*f - 39. Are f and -232 equal?
False
Let b = 9259/12 + -3177/4. Is b at least as big as -22?
False
Let g = 3 + -4. Suppose -64*v = -68*v - 16. Let t be (-1)/v - (81/(-132))/(-1). Which is smaller: g or t?
g
Let s be 12 + (6 - (-63)/(-7)). Let g(f) = -f**2 + 15*f - 18. Let i be g(s). Suppose -156 = -4*y + 2*h, 3*h = 5*y - y - 160. Is i at least y?
False
Let r = 5528 + -