, 33 = -3*p - 3*u. Is -9 > p?
True
Suppose 3*q - 18 = -2*n + 5*n, 22 = 4*q - 2*n. Let i be q + -9 + 6 + 1*-9. Is -7 greater than i?
False
Let q = -528 + 260. Let j = q - -184. Which is bigger: j or 2/7?
2/7
Let j(k) = 5*k + 9. Let q be j(2). Is 19 at most q?
True
Suppose -3*r + 8 + 4 = 0. Suppose 0 = -4*j - 3*n + 5*n - 22, -4*j + r*n = 28. Let z be ((-30)/(-9))/(j/6). Is z >= -5?
True
Let o(k) = k**3 + 3*k**2 - 2*k + 3. Let c be o(-3). Suppose -16 = -42*n + 362. Are c and n equal?
True
Let u be (-4)/(-14) + 558/(-434). Let b be (2 + -1)*32/4. Let c be 2/b + 108/(-560). Which is greater: u or c?
c
Let b be 4/(-3)*(-9)/(-66). Suppose -9*k = -18*k. Is b greater than or equal to k?
False
Suppose 5*b - 2*h + 5 = -h, 5*b - 5*h + 5 = 0. Let v be (-3)/(3/(-12)*b). Suppose -r + 40 = -4*s, -2*r - 9 = -1. Which is bigger: v or s?
s
Let s be 1/(-7 + (-3766)/(-539)). Are s and -76 nonequal?
True
Let s = -11254 + 5975876/531. Is -0.1 greater than s?
False
Let g be 2*(5 - (1 + 2)). Suppose -27 = -g*i - 19. Is i at most 0.13?
False
Let y = 170 + -99. Suppose -3*l - 4*h - 50 = 0, 4*l - h + 2*h = -y. Which is greater: l or -20?
l
Suppose -5 = 5*t - 2*t + r, 14 = 2*t + 5*r. Let h be (t - -4)*(-2)/(-2). Which is greater: h or 3.9?
3.9
Suppose 40 = 3*j + 4*n, 3*j - 6*n + 7*n - 46 = 0. Which is smaller: 9 or j?
9
Let b = 9 + -9.3. Let l = -29/4 - -675/92. Let i = l - 56/115. Are b and i nonequal?
True
Let l = 0.65 + -0.03. Let f = 0.1 - 0.7. Let r = f + l. Are 1/3 and r nonequal?
True
Let n be 4/10 - (-4)/(-10). Let x be (0 - n)*4/(-8). Let j = 125.8 + -125. Is j greater than x?
True
Suppose 10*b + 215 = 195. Are -19 and b unequal?
True
Let w(z) = -z**2 + 9*z + 3. Let p be w(9). Let n be 2 + (14 - 2)/(-2). Let j be 0*n/(5 + p). Which is smaller: j or 1/2?
j
Suppose 0 = -10*a + 1 - 21. Which is bigger: a or -28/13?
a
Suppose -2*b + 3*s = -3*b + 3, 9 = 3*b + s. Let w be 27/36*(8 - 0). Suppose w = -b*u - 0*u. Is -0.4 != u?
True
Let f = 38 + -33. Suppose -126 = -f*n - 16. Which is smaller: n or 20?
20
Let n = 44.747 + 0.253. Which is smaller: -1/5 or n?
-1/5
Suppose 47*i = 49*i - 10. Suppose 4*m - 450 = -i*m. Is 50 at least m?
True
Let z be 8/(-18) - (-3632)/(-1224). Which is smaller: -3 or z?
z
Suppose 9*g = 41*g - 160. Let d = -4 - -13. Is d not equal to g?
True
Suppose 3*d = -7*d + 60. Suppose 62 + 28 = d*z. Which is smaller: 14 or z?
14
Let j be 102/255 + (-432)/55. Is j greater than -6?
False
Let n be (-3)/(-12) - 291/(-4) - -2. Let r = -527/7 + n. Which is bigger: -4 or r?
r
Let s = -258 - -213. Which is smaller: s or -46?
-46
Suppose 2*j - 32 - 12 = 0. Let n = 10 - j. Let w be (-15)/n*8/20. Is 1 at least w?
True
Let w = 1 - 6. Let o(h) = -11*h + 6. Let d(g) = 13*g - 6. Let i(t) = -6*d(t) - 7*o(t). Let j be i(w). Which is smaller: 3/13 or j?
j
Let b be 9*(-6)/(-144) - 4167/168. Is b > -25?
True
Let n = -3.6 - -6.9. Let z = n + 0.7. Let g = 9 - z. Is g > 2/3?
True
Suppose 0 = -i + l - 6, 0*l + 3 = 3*i + 4*l. Let q(d) = -5*d - 6. Let s be q(i). Suppose -s*j = -12*j + 6. Is 9/5 at least j?
False
Let t = 77 + -23. Which is greater: t or 0.2?
t
Let r be ((-228)/15656)/((-3)/(-8)). Is 0 >= r?
True
Let i = -3456 + 3446. Suppose 0 = -3*v - p + 6*p + 9, 4*v + 3*p = 12. Is i less than v?
True
Let h be (-110)/342 - (-2)/6. Let v = -2507170868/855 + 2932363. Let q = v - h. Is -2 > q?
False
Let q be (-4)/38 + 34/(-38). Is q <= -0.017?
True
Let o(z) = 54*z**2 + 3*z - 3. Let i be o(1). Is i at least as big as 54?
True
Let h(j) = j - 2*j + j - 16 - 2*j. Let t be h(0). Let u = -17 - t. Does 0 = u?
False
Let o(u) = -u**3 - 3*u**2 - 19*u - 76. Let n be o(-8). Is n <= 397?
True
Suppose 2*s = -3*c - s - 3, 0 = -s - 3. Suppose 2*y + 41 = l, 50 - 5 = -c*y + 5*l. Is -19 less than or equal to y?
False
Let f be 8/(-34)*(25/10 - -7). Is -1 not equal to f?
True
Let c(g) = 4*g**3 - 3. Let t be c(3). Suppose o = -0*o - 3*r - 51, -t = 2*o + 3*r. Let a be (2/6)/((-6)/o). Which is smaller: 5 or a?
a
Let n be (-35)/(-25) - 9/(-15). Let h be 1/n*0 - -4. Suppose 2*x + h = 2. Which is smaller: -1/10 or x?
x
Let k = 17 - -3. Suppose y + 3*s - 12 = 0, 5*y - k = 2*y - 5*s. Is y > 0.1?
False
Let c be (-12)/(-15) + ((-168)/15)/8. Which is greater: c or -3?
c
Let b(o) = -o**3 + o + 4. Let w be b(0). Suppose -2*g - w*r - 10 = -7*g, -2*r - 6 = -3*g. Let c be (-2)/4*2 - g. Is c at least as big as -3?
True
Suppose -9*v - 805 = -3163. Is 261 less than or equal to v?
True
Let r(v) = -v**2 - 11*v - 9. Let y be (10/(-4))/((-3)/(-12)). Let c be r(y). Is -2 != c?
True
Let h be 0/((1 + 3)/2). Suppose x - 3*x - 8 = h. Let n be 4 - (-12)/16*x. Is n <= 8?
True
Let l = 2 - -2. Let k = 47 - 241/5. Which is bigger: l or k?
l
Let g be ((-1)/2)/(15/(-6))*2. Which is greater: g or -145?
g
Let u = -5403961/119 - -45413. Let p = u + -46/17. Which is bigger: p or -1?
-1
Let l = 150 + -137. Suppose 19*u - l*u = -36. Is u bigger than 0?
False
Let b = 133 - 126. Is b <= 76/11?
False
Let j = 47784/101 + -3049532/7777. Let k = j - 558/7. Which is smaller: 0 or k?
0
Suppose 0 = 5*u - 2*n + 63, -3*u + 0*u - n - 40 = 0. Suppose 0 = -5*x + 2*h - 11 - 13, 4*x + 3*h = -33. Let d = u - x. Which is greater: d or -8?
d
Let g be (-2)/4*248/(-26598). Is g <= -1?
False
Let o(h) = -3*h**2 + 28*h - 2. Let v be o(-3). Is v >= -109?
False
Let u = 0.75 + -0.25. Let i = -5.3 + 4.5. Is i less than u?
True
Let n = 105/388 - 2/97. Suppose -5*m - 4*f + 17 = 0, 2*m = 2*f - 5*f + 4. Suppose 0 = 5*d - m*u, d - 8*u = -3*u. Which is smaller: d or n?
d
Let r = -0.3 - -0.35. Let p = 0.533 + 0.067. Let v = p - -1.4. Is v less than r?
False
Let n = 492643541/4401 + -111939. Is n at least -1?
True
Let x(j) = -j**3 - 3*j**2 + 8*j + 16. Let l be x(-4). Is 17/2 <= l?
False
Let p be 118/1003 + ((-32)/(-17))/1. Suppose 0*a + 5*m - 20 = 5*a, -4*m = -p*a - 12. Is 3 greater than a?
True
Let l = 52 + -80. Let v = -26 - l. Which is smaller: -2 or v?
-2
Let h = 2385 + -2403. Which is bigger: -21 or h?
h
Let z = 8 - 10. Let c(m) = 2*m + 3. Let d be c(z). Let q = -610/3 + 201. Which is smaller: d or q?
q
Let s = 17 - 15. Let f = 2 + 5. Suppose f*j = 5*j + 8. Is j at most s?
False
Let j(s) = -s - 1. Let l(n) = -2*n - 1. Let v be l(1). Let y be j(v). Let k be (0 + -2)/(y/(-1)). Do 2 and k have the same value?
False
Let w(q) be the first derivative of q**3/3 - 3*q**2/2 - 7*q + 1. Let k be w(5). Let r = -347 + 349. Is r equal to k?
False
Let p be 2*15 + (-11 - -14). Let q be 11/p - 50/6. Let t be (-2)/(1*2/6). Which is bigger: q or t?
t
Let t = -984 + 943. Is -50 equal to t?
False
Let q be (-2)/((-2)/(-12)*4). Let k = 1.45 + -0.85. Let h = -3.6 + k. Is q bigger than h?
False
Let o be (1 + -46)*(-1)/(-1). Let g(q) = q**3 - 19*q**2 + 59*q - 221. Let m be g(16). Is o != m?
False
Let a(o) = 11*o**2 + 14*o + 2. Let q be a(-1). Is 1/200 smaller than q?
False
Let l(q) = -2*q**2 + 25*q - 15. Let g be l(12). Let c = 6 - g. Let d = -6 - -15. Is d less than or equal to c?
True
Let o = 42 - 24. Let x = o - 16. Suppose 0 = a - 3*m - x, 2*m - 2 = a - 5. Do a and 2 have the same value?
False
Let r be (10/18282)/5*422. Let i = 4/277 + r. Which is bigger: -1 or i?
i
Let m(c) = 3*c + 75. Let n be m(-24). Let b(x) = -3*x + 7. Let i be b(5). Let f(y) = y**3 + 7*y**2 - 10*y - 12. Let t be f(i). Which is bigger: t or n?
t
Let n be (-10)/(-45)*(-9)/(-2). Is -6/31 less than n?
True
Let r be ((-5)/10)/((-2)/4). Let n be 1 + (0 + 57/21 - 2). Are r and n unequal?
True
Let g = -3 + 2. Suppose -8*x + 7*x + 27 = 0. Let c be ((-4)/42)/((-9)/x). Is c <= g?
False
Let y = -23 + 32. Suppose 0*u - 3 = 4*u + m, -m = -2*u - y. Suppose 0 + 11 = -q - 2*p, 2*p = 2*q - 8. Is q greater than u?
True
Let c = 16 - 14. Suppose -2*l = c - 10. Suppose 3 = 3*k - 9. Is k less than l?
False
Let i = 1192 + -1437. Which is greater: -243 or i?
-243
Let b be (-348)/462753*(-3)/2. Is b > 1?
False
Let p be (-75)/175 + 2 + 11/(-7). Is p less than 1/107?
True
Let z(y) = -2*y + 1. Let r be z(-1). Let v be 669/6*(-8)/(-6). Let t = v - 146. Does r = t?
False
Let m = 3.8 + -31.8. Let g = 28 + m. Do -1 and g have the same value?
False
Let x = 259625/184 - 1411. Which is smaller: 0 or x?
0
Let n = -1.39 + 1.53. Which is greater: n or -34?
n
Suppose -6*i - 7 = i. Which is bigger: -12 or i?
i
Let o be (14/(-21))/(6/117). Which is greater: o o