*2 + r - 2. Let d be h(-2). Suppose -2*x + x + 17 = d. Let n = 9377 - 9360. Does x = n?
True
Let m = -310 - -308. Let i be (-2)/m + (-18)/(-288). Which is bigger: i or 2?
2
Let v(x) = -463*x**2 + 143*x - 792. Let q be v(5). Is 2/7 at most q?
False
Let v be 167097/1308 + 2/8. Which is smaller: 81 or v?
81
Let m = 15.03 - -1.37. Let a = m - 16.4. Is 19/5 at most a?
False
Let k = 789.6 - 791.6. Which is bigger: k or 0.153?
0.153
Let m(y) = 2*y**2 - 7*y - 5. Let f be m(-4). Suppose 9*x - 4*x = f. Let w = x - 12. Is 0 < w?
False
Let m = 13 + -8. Let o(c) = -c**3 + 8*c**2 - 8*c + 4. Let a be o(6). Suppose 67*q = 71*q - a. Is q less than m?
False
Let k = 2.254 - 2.244. Let a = -16 + 17.4. Let r = -2.4 + a. Which is bigger: k or r?
k
Let r = 0 + -33. Let h = r + 33.09. Let m = -1.91 - h. Which is smaller: 2/3 or m?
m
Let y be (20/8 - 3)/(7/112). Let m be (11 - (-104)/y)/((-1)/14). Suppose 5*w - 85 = -3*o + 56, 5*w - 5*o = 125. Which is bigger: w or m?
m
Let q = 301 + -295. Suppose 5*z - 8 = -4*f + 9*z, -5*f + z = -q. Is 1/498 <= f?
True
Let a be 4/(-6) - 18209*(-20)/1680. Let t be (-12 + 3)/(4/(-93)). Let w = a - t. Which is smaller: 8 or w?
w
Let h = -31 - -30. Let x be (7 + -3)/(-3 - h). Let n be (0 - 0)*(3 + x). Which is bigger: 2/35 or n?
2/35
Let o(x) = -781*x + 4160. Let f be o(3). Which is smaller: f or 1816?
1816
Suppose 3*g - 822 = 259*u - 255*u, -614 = 3*u - g. Is u smaller than -214?
False
Suppose -6158 + 1433 = 18*d + 4347. Is -1508/3 bigger than d?
True
Let c(o) = -o**3 + 4*o**2 - 3*o + 2. Let p be c(4). Let r(m) = -m**2 - 11*m + 32. Let t be r(-13). Let k be (-2 - p)*(-7 + t). Is 2 at least as big as k?
True
Let u = -668 + 655.67. Let t = u - -0.33. Let a = t + 11.8. Which is smaller: a or -6?
-6
Suppose z - 21*c - 11 = -24*c, -10 = -2*z - 3*c. Suppose 3*o + 23 = -16. Let j be ((-154)/52)/1 + (-10 - o). Is z smaller than j?
True
Suppose -22*c = 27*c + 12691. Which is smaller: -262 or c?
-262
Let g = 109 + -107. Suppose -5*z - 3*a - 391 = 0, 0*a + a = 4*z + 306. Which is smaller: g or z?
z
Let k(c) = -c**3 + 13*c**2 + 85*c - 8. Let b be k(18). Let z be b/245*(-1)/(-31). Which is smaller: z or 0?
z
Suppose 4 = -24*h + 124. Suppose 0 = -5*i - 5*j + 205, -2*j = i + j - 31. Suppose 4*o - i = 2*n, h*o + 4*n - 38 = -0*n. Is o at least 10?
True
Let r = -695.964 - 7.036. Is r > -3?
False
Suppose 295 - 170 = -5*u + 5*x, 4*u = -4*x - 68. Is u smaller than -74?
False
Let q = 44 + -201. Let i = q + 156.996. Is i less than or equal to -0.1?
False
Let y be 4/(-14) - 880/(-385). Is 100/29 less than or equal to y?
False
Let r = -12/1399 + 28693/246224. Is r less than 0?
False
Let x be (0 - 1)*(-2544)/216. Let k = -4537/399 - -5/133. Let y = x + k. Is -1 != y?
True
Let p be (91/(-52195))/((-5)/50). Do p and 0 have the same value?
False
Suppose 3873 = 14*h + 667. Let w = 2291/10 - h. Is w greater than 0.3?
False
Suppose 2482 = 628*g - 611*g. Which is smaller: 168 or g?
g
Let m = -6730 - -6714. Are 177 and m equal?
False
Let u = -1789 - -8903/5. Suppose -90 = 1219*d - 1209*d. Is u greater than d?
True
Let n = -40363883/205445 - -3340/17. Which is bigger: 0 or n?
n
Let x be ((-276)/36)/(23/230*(-5)/6). Which is smaller: x or 76?
76
Suppose 0 = -q + 15 - 6. Suppose -6*x = -3 - q. Suppose -8 = 5*j - x*d, -j + 3*d + 0*d + 1 = 0. Which is greater: 8/3 or j?
8/3
Let l be (42/(-16) + 3)*-12. Suppose -4*g = -3*g, 5*s + 25 = 2*g. Is l greater than s?
True
Let r = 34311 + -139401/4. Which is smaller: -538 or r?
r
Let r = -67/65 + 19/26. Is r bigger than -120?
True
Let b(l) = l**3 + 8*l**2 - 89*l - 1964. Let n be b(-22). Are -6782 and n non-equal?
False
Let m = -121/6 + 20. Let y = -0.097645 + -13.902355. Which is bigger: y or m?
m
Suppose -6*r + 5*r = 2, 2*r - 504 = 4*g. Let v = g - -124. Is v greater than -35?
True
Suppose -4*f - 3*v + 1878 = 0, v + 120 + 1282 = 3*f. Which is smaller: 7938/17 or f?
7938/17
Let s = 3111 - 3131. Which is smaller: s or 3/13?
s
Let z be (20/30)/((-1)/(-1731)). Let n = -2036 + z. Let u = -44980/51 - n. Which is greater: 1 or u?
1
Let w(n) = -782*n + 3106. Let z be w(4). Let h = -4 - -8. Suppose h*m = m - 66. Are m and z unequal?
False
Let y(p) = 2*p**2 + p + 2. Let x be y(-2). Let r = -1075/3 + 351. Let d = x + r. Is 3/2 at most as big as d?
False
Suppose -3*z = 2*z - 15, -5*r - 4*z + 707 = 0. Let w = 36 - r. Is w greater than or equal to -103?
True
Let y(i) = -127*i - 125. Let v be y(-1). Which is greater: 22/15 or v?
v
Let m = -4315.1 - -4269. Is m at least -0.2?
False
Let d be -7 + 4 + 16/5. Let x = -871 - -870.82. Which is smaller: x or d?
x
Suppose -b + 2*h + 3 = 0, 0 = -2*b - 120*h + 117*h - 8. Is 2/573 greater than or equal to b?
True
Let p = -0.1 + -133.9. Let y = -240872 - -240874. Which is smaller: y or p?
p
Let w be ((-10)/(-104))/((-775)/(-1240))*1. Let j be (-1 - -2) + (2 - -1). Suppose -19 = -n + j*r - 8, -n - 2*r - 7 = 0. Is w <= n?
False
Let u be (-2)/3*(-6)/4. Let d be (36/54)/((-4)/822). Let o = -1779/13 - d. Which is greater: o or u?
u
Let n be (17 - (3 + -5))/(-1 + 2). Suppose -n - 3 = 3*x + 5*o, -3*x - 3*o - 12 = 0. Let m = 4 + 2. Is m != x?
True
Let b = 10194 + -10081. Which is bigger: -1.2 or b?
b
Let a(z) = 16*z + 303. Let n be a(-19). Is -4/3357 less than or equal to n?
False
Suppose -3*h + 7*h = 16. Suppose -2*u = -4*l + 4, -h*l = 5*u - 23 + 5. Suppose 2*y = 3*a + 16, -22 = -l*y - y + 4*a. Is 3/4 at least as big as y?
False
Let h(u) = -u**3 + 2*u - 1. Let n(y) = -5*y**3 - y**2 + 11*y + 2. Let p(b) = 4*h(b) - n(b). Let r be p(2). Is 9 >= r?
True
Let j(v) = -6*v**2 - 3*v - 9. Let w be -5*-1*14/(-35). Let s be j(w). Which is smaller: -28 or s?
-28
Let o = 37 + -43. Let i be (6/o)/((-1)/11). Let t be (-47)/(-4) + (7 - i). Which is smaller: t or 9?
t
Suppose o - 3*u = -o - 87, u + 209 = -5*o. Let b = -5447 - -5477. Let r = o + b. Is r bigger than 1?
False
Let l = -16739 + 15168. Which is smaller: l or -1566?
l
Let q(i) be the second derivative of -i**4/12 + i**3/3 + i**2 + 2*i. Let m = 206 + -204. Let n be q(m). Are n and 3 nonequal?
True
Suppose -4*v = 2*b - 6*v - 706, 3*v - 1717 = -5*b. Is 349 at most b?
False
Let k be 4*31*(18150/88)/(-33). Is -771 less than k?
False
Suppose 2*h - 13 = 5. Let j(r) = -12*r + 5. Let m be j(h). Let q = -43 - m. Do 60 and q have the same value?
True
Suppose -14*c = -9*c - 525. Suppose -7*m + 105 = c. Which is bigger: m or -4/31?
m
Let m = 2740/111419 - -2/1447. Let f(d) = d - 13. Let u be f(16). Suppose 0 = q - 2, 2*x + u*q + 0 - 4 = 0. Is x at least as big as m?
False
Let k(c) = -c**2 - 11*c + 620. Let h be k(20). Let f = -16 - -36. Let n be (-198)/(-824) - 5/f. Is h < n?
False
Let j(m) = m**3 - 3*m**2 - 6*m - 24. Suppose -40 = -7*y + 9. Let x be j(y). Suppose 2*z + x = 2*h, h = -h + 3*z + 127. Which is smaller: h or 67?
67
Let r(w) = -2*w**3 - 7*w**2 + 29*w - 15. Let b be r(-7). Which is bigger: b or 867/7?
b
Suppose 0 = -5*z + 3*m - 19624, m = -5*z + 6313 - 25925. Is z <= -3922?
True
Let t be -5 - 1452/16*(-6)/117. Suppose -172*b + 167*b + 5 = 0. Is t greater than or equal to b?
False
Let j(q) = 50*q + 188. Let p be j(5). Do p and 433 have the same value?
False
Suppose 66*j + 11 - 69 = 8. Is -8/789 not equal to j?
True
Suppose -a - y = -5394, 5*a - 5*y = 2*a + 16238. Which is smaller: a or 5399?
5399
Let d(a) = -240*a - 1. Let k be d(-1). Suppose -k*n + 28 = -235*n. Are 4 and n unequal?
True
Let j = 16/5433 + -4656193/38031. Which is smaller: -123 or j?
-123
Let d(w) = -2*w**2 - 17*w + 8. Let f be d(-9). Let x = 6427/55588 - 1/4276. Is f at least x?
False
Suppose 0 = 3*q - 234 + 1107. Let h = 1163/4 + q. Do 0.14 and h have the same value?
False
Let t = -0.04177 - -222.14177. Let x = t + -40.1. Which is bigger: x or 1?
x
Let c = -653782/25 + 26146. Which is greater: -6 or c?
c
Suppose 2*u - 7*r - 5 = -4*r, u - 6 = 5*r. Is u less than 13/50?
False
Let o(t) = -131*t + 80. Let b(x) = -13*x + 75. Let m be b(6). Let l be o(m). Is l less than or equal to 474?
True
Let c = 3 - -3. Let m(q) = -3 + 0*q - q - 5 + c. Let n be m(8). Which is smaller: -8 or n?
n
Let h = -8801/58 + 123/29. Is h != -148?
True
Let q(u) = -2*u**3 - 5*u**2 + 3*u - 3. Let h be q(-4). Let w be ((-388)/(-18))/((-19)/((-741)/26)). Let r = h - w. Which is smaller: r or -0.58?
-0.58
Suppose 71*v - 73*v - 15 = -5*p, 17