 q**3 + 2*q**2 - 4*q - 3. Let y be t(-2). Let i be (-207)/y*(-15)/(-4). Let l = 156 + i. Are 0.4 and l equal?
False
Suppose 2*i + 4*w - 34 = 0, -3*w + 7*w + 8 = 4*i. Let o be 1/(i - (-1 + 3)). Do o and 1 have different values?
True
Let l be ((-12)/30)/(0 + 1/(-10)). Suppose 0 = l*c - o - 89, 4*c + o + 3*o - 104 = 0. Suppose c*i - 546 = 17*i. Which is bigger: i or 92?
92
Let j(x) = -4*x**2 - 256*x - 476. Let q be j(-62). Suppose 0*z = -3*z + 24. Are q and z nonequal?
True
Suppose 0 = 2*a - 1025 - 283. Let m be 4 - (1 + 4) - (-657)/a. Which is smaller: m or 0?
0
Let j = 4.619 + -0.229. Is j >= -1?
True
Let w = 17146 + -19154. Are -2002 and w nonequal?
True
Let x(z) = -4*z - 45. Let y = -247 - -236. Let h be x(y). Do h and -1 have different values?
False
Let i(c) = -6*c - 43. Let l be i(-8). Let w be (-288)/(-60) - (-1)/l. Let r(q) = -2*q - 12. Let x be r(-9). Which is smaller: x or w?
w
Let x = -3473/5 - -688. Let s be -7*(3 - 4/2). Which is smaller: s or x?
s
Let j = 1841 + -1842. Which is bigger: 302 or j?
302
Let v = -2199 + 63775/29. Is v at least as big as -3/10?
True
Let c = -922 - -922. Which is bigger: c or -28/489?
c
Let s(w) = -14*w**3 + 7*w - 41. Let q be s(4). Let u = -786 - q. Which is smaller: u or 122?
122
Suppose 165 = -44*h + 121. Is h != -2/53525?
True
Let n be -6*3/9 - (-584)/(-6). Let v = -399139/9 + 44449. Let y = v + n. Is 0 greater than or equal to y?
False
Let b be -5 - (1 + (-7 - -7) + -6). Which is greater: -2/441 or b?
b
Let q(y) = y**2 + 7*y - 17. Suppose 2*l = -c + 6, -3*l + 5*c - 3*c + 16 = 0. Suppose -m - 29 = -4*r, -65 = 3*m + 2*m - l*r. Let s be q(m). Are s and 1/27 equal?
False
Let v(r) = -2*r**3 + 36*r**2 - r + 22. Let n be v(18). Let p be (-30)/14 - (-4 - (4 - n)). Does p = -3?
False
Let p be (690/9)/(10/55 - (-3984)/(-10296)). Which is bigger: p or -375?
p
Let q be (4 - -1)/(-5) - -32. Let r be 21/105 + (-428)/(-10). Suppose 0 = 3*w - 50 - r. Is q < w?
False
Suppose -110*q - 74706 + 8503 = -5483. Which is greater: q or -554?
q
Suppose 3*a - 6*a - 2*s = -16, 3*s = -a + 3. Let b be 52/117 + (-24)/54. Suppose 0 = v + 3*p + 11 - 13, -2*v - p - 1 = b. Do v and a have different values?
True
Let r = 428 - 40.1. Let c = r + -388. Is c smaller than -4/17?
False
Let v = -28 - -33. Suppose 9*z - 4*z + g - 20 = 0, -4*g = v*z - 20. Suppose 6*s - c + z = 4*s, 2*s - 3*c = 4. Which is smaller: -1 or s?
s
Let u(p) = 23*p**3 - 3*p**2 + 9*p + 2. Let x be u(4). Let c be 549884/x - 4/34. Which is smaller: c or 375?
375
Let a be 3/27 - 225212/(-117). Which is greater: 13478/7 or a?
13478/7
Let l be 10/(-15) + (-52)/(-6). Let s be 2*(-2)/l*-6. Let m = 174 - 171. Is s at most m?
True
Let g = -3139894/29 - -2374537615/21924. Let r = -52/189 - g. Is r at most as big as -35?
True
Let q = 793.8 + -790.7986. Let k = 0.0014 - q. Does 0.42 = k?
False
Let s be -76999*1/96255 - (30 + 770/(-25)). Which is smaller: 1 or s?
s
Let w = -20429 + 20429. Which is greater: w or 19/14?
19/14
Let i = -1259/4 - -313. Let m = -13/4 - i. Suppose -a + 4*t - 15 = 0, -a - 7*t + 3*t + 17 = 0. Which is bigger: a or m?
a
Suppose 13 = h - 3*j, -h = -0*h + 4*j + 8. Suppose -2*s - 2*p - 45 = -s, -4*p = -h*s - 144. Which is bigger: s or -272/7?
-272/7
Let j = -7113 + 120855/17. Let y = 335/102 - j. Does y = -1?
False
Let a(q) = 42*q - 2702. Let t be a(64). Which is smaller: t or 19/2?
t
Let q = 326 - 328.82. Let x = -3.41 - q. Which is smaller: x or 1/3?
x
Let h be 4/(-18)*3*(-18)/4. Suppose -h*p = 2*p + 25. Let n = p + 6. Is 4/7 at most n?
True
Let l(b) = -b - 7. Let n be l(-6). Let z = -41711 - -3128333/75. Is z smaller than n?
False
Let s = 5835 - 1674646/287. Let j(r) = -r**3 - 3*r**2 - r + 2. Let i be j(-2). Which is bigger: i or s?
i
Let b be 1/2 + 21/14. Let o be b/(-5) + (-9212)/70. Let j be (-24)/o - (-34)/176. Which is smaller: 1 or j?
j
Let i be (-2)/10 + 22/10. Let j(y) = 672*y - 8673. Let p be j(13). Which is greater: i or p?
p
Let r = -7 + 10. Let y be ((-9)/6)/((-2)/4). Suppose 9 = y*z - 12. Which is smaller: z or r?
r
Let c = 5 - 4.965. Suppose 33 = -4*i - 5*o, 2*i - 39*o - 11 = -36*o. Which is greater: c or i?
c
Let q be 6 + 32/(-5) + (-1 - (-2590)/(-50)). Are -1 and q equal?
False
Let u = -5501/15 - -1102/3. Let v = -19 + 11. Let q = -1 - v. Is u not equal to q?
True
Suppose 0 = -2*j - 3*m - 2, -6*j = -2*j + 5*m + 2. Let y be -43*-1*(-5)/10*j. Which is smaller: -44 or y?
-44
Let h = -1761/2 - -880. Let u = 10.8 + -0.8. Let r = 7 - u. Which is smaller: h or r?
r
Let j(y) = 2*y**2 - 53*y - 2844. Let a be j(52). Is 65 equal to a?
False
Let t(k) = 21*k - 526. Let s be t(25). Which is greater: -3870 or s?
s
Suppose -o = 7*o - 16. Let z be (-12)/10 + o - (-648)/15. Let p = z - 39. Is 5 smaller than p?
False
Let k be 32/2 - (4 - 1). Suppose -3*r - 31 = -k. Let z be 14/35 - 396/90. Is z >= r?
True
Let s be (-19 - (-6822)/360)*(-40)/250. Suppose 5*h = 3*h. Which is bigger: s or h?
s
Suppose -2*b - 3*c + 41 = 0, -53 = -4*b - 5*c + 24. Let y = b + -13. Let m = 75/11 + -203/33. Which is bigger: m or y?
m
Suppose -2*k = f - 13, -5*k + 4 + 6 = 0. Suppose -2*j - 2*q + q = 0, -3*j - 68*q + 66*q - 6 = 0. Is f less than or equal to j?
False
Suppose 2*t - 2012 = -8*m, 2*m + 3*t = -2*m + 1018. Which is smaller: m or 255?
m
Let x be -2*(-1 + 2) - (-2 + -2). Suppose -5*d + 8 = -3*b, -d = -x*d - 5*b + 24. Suppose 7 = -d*r + 3*h, 13 = 4*r + h - 0*h. Do r and 5 have the same value?
False
Suppose 12 = -0*n + 6*n. Suppose 3*v = n*u + 91 + 30, 160 = 4*v - 2*u. Suppose 0 = 2*b - 4*b + 80. Is b > v?
True
Let d = 113 - 113. Let z be 22 + (-3 - (1 + d)). Suppose 109*n = 106*n + z. Which is smaller: 0 or n?
0
Let n(v) = v**3 + 13*v**2 + 13*v + 13. Let p = 26 - 38. Let d be n(p). Let l = d + -38. Are -38 and l non-equal?
True
Suppose -1311*y + 190 = -1292*y. Let u(z) = -z**3 + 9*z**2 - 8*z + 7. Let c be u(8). Which is bigger: y or c?
y
Let m = 2.542 - -1073.458. Let l = m - 1061.99. Let h = -14 + l. Are h and -0.1 equal?
False
Let d be 3*((-476)/(-147) + -3). Let s(c) = c**3 + 6*c**2 + 6*c + 5. Let j be s(-5). Suppose j*l - l = 0. Which is greater: d or l?
d
Let w = -7 + 7. Let f be (59 - w)*(6 + 0 + -7). Which is greater: f or -60?
f
Let q be (446/12)/((-7)/(-105)). Let n = 20095/36 - q. Does n = 0?
False
Suppose 0 = 6*p + p - 70. Let l be (-34)/p + -4 + 6. Suppose -25 = 5*f + 4*x, -5*f - x = x + 15. Is f > l?
True
Suppose 0 = 5*x + 3*n - 217 - 1428, 0 = -x - 2*n + 329. Which is bigger: 327 or x?
x
Let h be (24/96)/(1*3/(-12)). Which is bigger: h or 4/4077?
4/4077
Let t = -0.0344 - -0.1984. Which is smaller: t or -2?
-2
Let w = -1887.3 - -1212.4. Let p = -675 - w. Which is smaller: p or 3.9?
p
Let b = -9444 + 9409. Which is bigger: -1053/29 or b?
b
Suppose 4*r + 713 = 2*k - k, -3*r + 3*k = 537. Suppose -l + 5*j + 22 = 0, 0 = 78*l - 76*l + 4*j - 100. Let h be 12/l - r/(-35). Is h at least -5?
True
Suppose 4*x + 156 = 156, 3*p = 2*x - 6. Suppose -4 = -3*g - 28. Is p != g?
True
Let o = -21096 + 21095.1. Are o and 365 nonequal?
True
Suppose 0 = -88*z + 241*z + 3 - 3. Which is smaller: 1/5429 or z?
z
Let a = -57 + 62. Suppose 8*f - 5*f - 3*b = 0, 0 = -a*b + 10. Let y = -11959/13 - -921. Are y and f equal?
False
Let j = 187 + -381.5. Let o = 21.5 - j. Is o bigger than 1/3?
True
Let p = -0.4402 - -6.8812. Are p and -1 equal?
False
Suppose 74*p - 114*p = -73760. Is 9216/5 smaller than p?
True
Let r be 9 - 1 - (252 - 168). Is r less than -542/7?
False
Let o be (23 - (0 - -2))*(-166)/581. Suppose 4*g + n = 73, -g - 2*n + 20 = -0*n. Suppose -5*z - 5*c - 60 = 0, 3*z - 4*c + c + g = 0. Which is smaller: z or o?
z
Let z = 0.16817 - 0.18264. Which is smaller: 0.2 or z?
z
Let t = -97.1 - -107. Let c = 4.9 - t. Is 1/5 < c?
False
Let h be (7*4)/(11 + -9). Suppose -2 = 3*a - 4*j, 5*j = -4 + h. Suppose 12 = 2*t + v, t - a*v = -3*t + 16. Is 3 greater than t?
False
Suppose -16*i = -26*i + 10. Let z be 1/(-2)*(i - (-10)/10). Which is bigger: -2/1309 or z?
-2/1309
Suppose 0 = 4*x - x + 600 + 15. Which is greater: -212 or x?
x
Let a(r) = 3*r + 19. Let n be a(-26). Let x be (21 + n)*(0 - 1). Which is bigger: x or 36?
x
Let g = 526 + -196. Let i = 320 - g. Which is smaller: i or -1.8?
i
Let l = 1342170/53 + -25324. Which is bigger: 0.15 or l?
0.15
Let t = 11.93 + -12. Suppose 5*r - 3*y + 4 = 0, -6 = -