*r + 17. Let t be f(6). Let v be c(t). Suppose 88 = 143*x - 147*x. Is x != v?
True
Let s = 5.535 + 671.165. Let o = -679 + s. Which is smaller: -0.3 or o?
o
Let v = 870 + -60901/70. Let x be (1 - 6) + ((-5)/50 - (-1070)/200). Which is bigger: x or v?
x
Let m = 24/67 + -475/1139. Which is smaller: 4 or m?
m
Let p be ((-40)/(-5))/(-8)*(4 - (2 + 3)). Which is smaller: -5/1556 or p?
-5/1556
Let n = 1103 + 2366. Is 3471 >= n?
True
Let t(g) = -8*g**3 - 6*g**2 - 4*g + 2. Let l be t(-1). Suppose l = -4*p, v - 6 = -2*p - 9. Is v != 2/227?
True
Suppose -9*u - 29*u - 380 = 0. Let d(f) be the second derivative of -f**3/3 - 9*f**2/2 + f. Let l be d(u). Is l at least 11?
True
Let y = -196 - -2. Let f be 3 - (-6)/(-4) - y/(-20). Do f and -9 have different values?
True
Let z(j) = 11*j + 2*j**2 + 9 - 2 - 1. Let n be z(-4). Let h be (-23)/n + (-6 - -2). Which is smaller: -2 or h?
-2
Let t = 259 - 91. Let m = -33 - t. Which is bigger: m or -202?
m
Let l = -576 + 632. Suppose p + 0*y + 5*y = -l, 2*y = 2*p + 160. Is p greater than 0?
False
Let f = 1325/8 + -34851483/210424. Is f smaller than -1?
False
Suppose 7*a - 6*a - 3 = -2*v, 3*a - 19 = -v. Suppose 15*i = -2*i + a*i. Does i = -1/296?
False
Let b be (-6)/(-21) + (-86)/7. Let x = -3343/10 - -4832/15. Is x greater than or equal to b?
False
Let g be -1*(0 + 6*7). Let k = -47 - g. Let s be k/(-5) + 10/(-7). Is 2 > s?
True
Suppose -v = 3*v - 3*n + 1287, -5*v - 1557 = 2*n. Is -331 < v?
True
Let a(k) = -3*k + 4*k + 4*k**2 - 2*k. Let x be a(-1). Let g = -12105/7 - -1735. Is x at least as big as g?
False
Suppose 3234 = -48*u + 6834. Let z = -37 + 114. Which is greater: u or z?
z
Let b = -240.9185 - 0.1815. Let d = b - -241. Does d = -85?
False
Let x(s) = s**3 + 15*s**2 - 5*s - 35. Let z be x(-15). Suppose 5*y + 0*y - z = 0. Let w be y - 10 - (-5 - -2). Which is smaller: -1/5 or w?
-1/5
Let s be (118/177)/((-2)/12). Let l be (s/(-24))/((-14)/98). Is l bigger than -2?
True
Let r = -2.804 - -3.57. Let w = 38.366 - r. Is -1/2 at least as big as w?
False
Let o(i) = -72*i + 511. Let d be o(6). Which is smaller: 80 or d?
d
Let v(y) = y**3 + 19*y**2 + 3*y - 815. Let l be v(-15). Which is bigger: l or 102?
102
Let b = 327 + -337.9. Let y = 6.9 + b. Which is smaller: 0.4 or y?
y
Suppose 5*l - 5 = 0, -5*a + 9936 = 5*l + 3096. Which is bigger: a or 6834/5?
a
Let q(m) = m**3 + 8*m**2 + 20*m + 48. Let p be q(-6). Are p and 6/2009 non-equal?
True
Let k be (-1930)/(-386) + (-2)/(-2) + -61. Is 0.52 != k?
True
Let y = 4939 + -12300. Is y > -7361?
False
Let c be (-538)/(-1834) - 68/(-6426)*-27. Is 18 < c?
False
Let q = -237 - -53. Let a = q + 186. Which is smaller: -0.17 or a?
-0.17
Let g(i) = -276*i - 535. Let d be g(-2). Which is bigger: -306 or d?
d
Let m = 13403 - 10905. Does m = -2?
False
Let s be (-3454)/1884 + 1/(-6). Let b = -7 - -1. Let z be 8/6*b/14. Is z greater than s?
True
Let c be 3*((-170)/(-60) - 3)*144. Is c at most as big as -67?
True
Let d(g) = -345*g - 6. Let h be d(-7). Let m = -1291 + h. Let u be m/1560 + 8/(-10). Are u and 0 non-equal?
True
Suppose 0 = -y - 25 + 12. Let j = -8 - y. Suppose -j*l + 3 = -6*l. Does -8/5 = l?
False
Let t(u) = u**3 - 20*u**2 - 4*u + 58. Let i be t(19). Let o = i - -391. Which is greater: 9 or o?
o
Suppose 135 = w + d + 2*d, -3*w = 3*d - 405. Suppose -15 = 5*h + w. Let u be ((-6)/30 - (-4)/h)/(-4). Which is smaller: u or 1?
u
Let j = 402 + -354. Let x = j + -47.98. Is x less than -0.25?
False
Let g = 18 + -18.45. Let o = 673833 + -673832. Are g and o non-equal?
True
Let c be 2/4 + (-59)/(-14). Suppose -3*t + 1 = -x - 157, -5*x + 5*t = 800. Let u = 167 + x. Does u = c?
False
Let j = -0.9 - -1. Let o = -8 + 17. Suppose 0 = g - 2*l - o, 2*l - 1 = -0*g - g. Is j bigger than g?
False
Let u(q) = -q**3 + 2*q**2 + 5*q - 4. Let v be u(3). Let r be (-28)/(-4) - (-1 + 7). Let j be (14/8 + -2)/(v - r). Which is smaller: -1 or j?
-1
Suppose 0 = 5*k - q - 129, 0*k - 4*k + 3*q = -112. Suppose 0 = -4*h + 9*h + k, -4*z - 3*h - 27 = 0. Is -2 equal to z?
False
Let f = 793.94358 + 0.05642. Do -1 and f have the same value?
False
Suppose j + 5*b - 19 = 0, 13 = 12*j - 8*j - b. Suppose 2*x + 6 = j*x, -25 = -4*w + x. Suppose 9*i - w = -16. Is i greater than -7/10?
False
Let z(c) = 5*c + 14. Let f be z(3). Let r = f + -37. Let o be ((-3)/((-144)/(-20)))/((-1)/r). Which is bigger: o or -3?
-3
Let v(b) = -23*b**2 + 39*b + 185. Let m be v(-6). Is -2627/3 at most m?
False
Let j = 32097 + -190327/6. Let s = j + -685/3. Which is smaller: 148 or s?
s
Suppose 177 = 2*d + 177. Which is bigger: d or 1/2085?
1/2085
Let d = 629 + -586.9. Let m = 42.2 - d. Is -68/11 greater than m?
False
Suppose -2*j + 334 = 4*i, j + 2*j = 2*i - 155. Suppose -44 = c - x, 3*c + 3*x + 38 + i = 0. Is c at most -0.1?
True
Let b be 159/6 - 2 - 87/(-174). Which is smaller: 500/21 or b?
500/21
Let g be -132 + 127 - (48/(-18))/((-2)/(-6)). Do g and 1296 have different values?
True
Let s be (16/(-1) + (199 - 195))/2. Suppose o + 5*d + 13 = 0, o + 65 = -4*o + 2*d. Which is smaller: o or s?
o
Let s = 0 - -3. Let x be (-5 - (5 - 12))/(-2 + 0). Let o be (-3)/(s/2) - x - -2. Is o <= 12/23?
False
Let o = 17 - 81/5. Let l = 28.05 + -28. Let h = l - 2.05. Is o < h?
False
Let l be 9/2 + (-13)/((-26)/3). Suppose 0 = 2*b + 3*a + 2 + 6, -4*b = a - 4. Let t(k) = k**3 - 5*k + 5. Let n be t(b). Is n equal to l?
False
Suppose 0 = -m - w - 1, -2*w = -4*m + 2*w + 12. Let o = -76/180409 + -213816601/1637211675. Let a = o - -4/363. Do a and m have different values?
True
Suppose 13 = 2*k - 19. Let b be -6*(-3)/k*(-28)/(-2). Suppose -55*f = -50*f - 75. Is f at most as big as b?
True
Let r = 55055 - 55051. Let j = -6.031 - -6. Which is bigger: j or r?
r
Let b = -8254552/6281 - -14456/11. Which is greater: 0 or b?
0
Let g = 533 - 532. Let f be g/(9/396) - 4. Are 42 and f equal?
False
Let h(p) = -4*p**2 + 2*p + 1. Let c be h(2). Suppose -3*j - 9 = -6. Let r be (10/j - -1) + 0. Is c bigger than r?
False
Let o = 1771.997 + -1772. Which is bigger: 3/2 or o?
3/2
Let a = -1880 + 359086/191. Do a and -1 have the same value?
False
Let j be -24*3808/6540 - -14. Is 0 at least j?
False
Let z be ((-4)/6)/((-4)/(-314)). Suppose -3*n - 4*i = 189, -282 = -46*n + 51*n + 3*i. Is n > z?
True
Let q = -22287/4 + 5572. Is 0.197 > q?
False
Let g(n) = n**2 + 8*n + 36. Let u be g(-11). Let x = u + -94. Let h = 22 + x. Which is greater: -26/7 or h?
h
Let w = 1843 + -1842. Which is bigger: w or -1999/7?
w
Let o = 21326 - 21328. Let x = 0.92 - -3.18. Which is smaller: x or o?
o
Let t = 2.2 + -2.17. Let i = 4.97 + t. Let u = -0.64 + 0.54. Is u >= i?
False
Suppose 3*i + l + 10 = 9, -i + l = 3. Let o be (-120)/15*2/i*1. Which is greater: 14 or o?
o
Let a = 181 + -183. Which is smaller: -91/51 or a?
a
Suppose 0 = -4*b + 5*b. Let m = -310466 - -310556. Which is smaller: b or m?
b
Let c = 0.9 - 4.9. Let f = -5346 + 5329. Does c = f?
False
Let z = 0.0517 + 79.9483. Do z and 1/31 have different values?
True
Let i(s) = 9*s + 247. Let c be i(-27). Suppose 5*q = c*l - 7 + 12, -l - 1 = -q. Which is smaller: l or -8/29?
-8/29
Let x = -31 + 40. Let v(r) = -2*r - 6. Let a be v(x). Let b = -21 - a. Is b at most 15/7?
False
Let t(h) = -4*h**3 + 51*h**2 + 4*h + 28. Let c be t(13). Do c and -800/9 have the same value?
False
Let y be -3 + 1 - -9*4470/1575. Let j = 99/7 - y. Is -9 >= j?
True
Let c = 68 - 69. Let s(a) be the second derivative of a**3/6 + 5*a**2 - 9*a. Let m be s(-6). Which is greater: c or m?
m
Let w be (-20)/(-120) - 3*19/18. Let a be w/(-21) - 615/(-105). Suppose b - 4*b = -9. Is b > a?
False
Let f = -2327 - -2332. Is 45 > f?
True
Suppose 632*x + 35 = 1248*x - 621*x. Do x and -30 have the same value?
False
Let o(u) = -2*u**2 + 25*u - 15. Let z be o(10). Suppose z*b = 29*b. Do b and 3/251 have different values?
True
Let d be 0 - -7 - 132/4. Let u be (-178)/((d/(-78))/(1/2)). Is u bigger than -267?
False
Let h(w) be the first derivative of 7*w**4/4 - w**3 - w**2/2 - 2*w - 21. Let v = 8 - 6. Let m be h(v). Is 39 smaller than m?
True
Suppose z - 26 = 5*s - 98, -199 = 2*z + s. Let a = -292/3 - z. Let p = -91 - -175/2. Is p at least a?
False
Let a(r) = 9*r + 95. Let f be a(-10). Suppose 3*h + f*k = -97, 20*k - 18*k = -h - 33. Which is greater: -30 or h?
h
Let s be (1786716/(-41) - -2)*556/(-2). Let f = -12