Let o = 621 + -95. Is o smaller than -0.1?
False
Let q = 279.81 - 276. Let y = q + -3.7. Which is greater: 0 or y?
y
Let v = 0 - 0.1. Let h = 881 + -13213/15. Which is greater: v or h?
h
Let k be (7 - 5)/((-6)/69). Let x = k + 22. Does x = -10/7?
False
Let s = -343/3 - -3662/33. Which is smaller: -2 or s?
s
Let y = -350 + 350.1. Which is bigger: y or -138/5?
y
Let a be 140/(-26) - (-2 + -2). Suppose 4*w = -4*y + y - 13, -2*y = 6. Are a and w non-equal?
True
Let g(n) = n + 6. Let d be g(-5). Let z(f) = 0*f - 16 - 8 - f - 2*f. Let k be z(-9). Is k > d?
True
Let o = -1587/4 + 394. Let j be 0 - ((-3)/9 + (-42)/(-18)). Is j at most o?
False
Let v = 352 - 352.1. Is v at most as big as 323?
True
Let y(g) = -2*g**2 - 18. Let b(j) = -1. Let t(w) = -3*b(w) + y(w). Let q be t(0). Is q less than -15?
False
Let k = 34.98 - 35. Suppose -4*i = -0*i - 4*t + 12, -4*t = -i - 18. Let q = -1 + i. Is k at least as big as q?
False
Let w(j) = -j**2 - 17*j - 21. Let y be w(-15). Suppose -6*t + 2*t = -h - y, -20 = -5*t + 3*h. Which is smaller: t or -1/32?
-1/32
Let u(g) = -2*g + 2. Let y be u(0). Let x be 0 - -2 - (2 + -2). Is x at most as big as y?
True
Let y = -33 - -46. Let l = 14 - y. Are l and 0.6 non-equal?
True
Suppose -4*j + 34 = -2. Suppose j*q = -7 + 52. Let t be 3/(-6)*(-11 + -1). Which is bigger: t or q?
t
Let v(g) = -4*g**3 - g**2. Let z be 3/6*-6 + 1. Let r be v(z). Do r and 28 have the same value?
True
Let x = 18989 - 18990. Let j = -15.07 - -15. Is j >= x?
True
Let a = 5 - 2. Suppose 23 - a = 4*u. Suppose -3 = -4*f + 2*s + 7, -f = 2*s + u. Which is smaller: f or -2?
-2
Let p = -57.94 + -0.06. Let k = 60 + p. Let s(y) = y + 3. Let h be s(-2). Is h < k?
True
Let a(y) = y + 6. Let z be a(-7). Let x be z/((-5)/(5 - 0)). Is x greater than -3?
True
Let w = 0.0379 + -9.3379. Which is smaller: w or -1/2?
w
Let w = 28.61 + 0.39. Let t = -6.2 - -37.2. Let o = t - w. Is o less than -2/7?
False
Suppose -3*b + 4*b = -2, -5*y = -3*b + 64. Let w be (1 + -3)*y/56*0. Which is smaller: 2/17 or w?
w
Let q(s) be the third derivative of -1/24*s**4 + 0 + 3/2*s**3 + 0*s + s**2. Let h be q(12). Is h bigger than -4?
True
Let r(p) = 26*p**3 - p + 2. Let s be r(1). Are 33 and s equal?
False
Let w = -157 - -208. Do 155/3 and w have the same value?
False
Let x(u) = -1488*u + 3. Let w be x(-2). Let s be 3/4*w/(-1431). Let r = s - 10/53. Is -1 less than r?
False
Let j be (-2)/24*-9*-4. Let r be j/(3 - (-55)/(-20)). Let x be r/(-26) - -1 - 1. Is 1 at least x?
True
Let i(s) = -2*s - 8 - 1 + 0*s + 8. Let r be i(1). Suppose 0 = -0*g - 2*g - 4. Is r at most g?
True
Let y = -0.0143 + 0.0143. Is -2/493 bigger than y?
False
Suppose -4*h - 12 = 4*t, 17 - 32 = 4*t + 5*h. Is t greater than -4/163?
True
Suppose -5*i - 4*u - 8 = -3*i, -5*i + 4 = 2*u. Suppose i*q - k = -33, k = -2*q - 0*k - 31. Let w be q + 12 - (-4 - -1). Which is smaller: -3/22 or w?
w
Suppose 2*m + 2 = -2*n, -9 = -n - 16*m + 20*m. Which is smaller: n or 4/123?
4/123
Let h be (9/(-25))/(-4*(-4)/(-80)). Which is smaller: h or -19?
-19
Let k = -26889 - -27238559/1013. Is k at least 0?
True
Suppose 15 = -0*s + 2*s - l, 2*s - 5 = 3*l. Suppose 0 = -t - 2*j - 620, 2*t = 6*t + 4*j + 2464. Let w be t/(-63) + 1 + 5/(-7). Is s greater than w?
False
Let j = -5 + 2. Let p = -98 + 145. Let x = p + -152/3. Which is smaller: x or j?
x
Let h be ((4 + -3)*1)/(2/4). Suppose -h*i - 14 = -l, 4*l - 9 = -i + 2. Which is smaller: l or 1?
1
Let r be 0 - (-4)/(-4) - -18. Suppose -y = -4*j + 11, -y + 6*y - r = 2*j. Let w be (-12)/10*360/(-108). Is j bigger than w?
False
Let f(g) = 2*g + 22. Let p be f(-5). Let b(n) = -4*n. Let h be b(4). Let q = h + 27. Do q and p have different values?
True
Suppose 0 = 3*m - 4 - 62. Let t be (-1)/((-28)/12) + (-144)/(-7). Are m and t nonequal?
True
Let d be ((-6)/(-54))/((-970)/(-20)). Which is smaller: d or 0?
0
Suppose -23 = -4*u - 3*g, -5*u + 3*u + 24 = 4*g. Let h be (u/284)/((-1)/4). Suppose 0 = -4*n - 2*r + 8, -2*n - 9*r - 4 = -12*r. Which is bigger: n or h?
n
Let g = 433 - 428. Is g < 84/17?
False
Let r be (-1 - (-9)/6)*14. Suppose -4*h - r - 1 = -5*s, -4*s - h + 19 = 0. Let o(g) = g**2 + 11*g + 12. Let u be o(-10). Is s smaller than u?
False
Suppose -2*f - d = 2*d - 14, -d = -4. Are 1/111 and f nonequal?
True
Let l = -2.1 - -2.2. Let r = -0.11 + l. Let i = -1.19 + r. Is i smaller than 0?
True
Let s(x) = 2*x - 16. Suppose 0*v + 26 = 2*z - 2*v, 5*v = -3*z + 31. Let m be s(z). Suppose m*t = 4*t - 20, -2*n + 5*t + 37 = 0. Which is smaller: 4 or n?
4
Let i = 10/23 - 633/1403. Is i less than -1?
False
Let s = -15.6 + 2.6. Let v = 0.109 + -0.097. Let i = v - 0.112. Is s <= i?
True
Let n be 22/4*(-9)/6. Which is smaller: n or -7?
n
Let t be 1/(34/16*-4). Let v = -2.6 + 0.6. Let a = -1.9 - v. Is a not equal to t?
True
Let j(q) = -6*q**2 + q**3 + 0*q**3 - 3*q**3 + q**3 - 2*q - 1. Let b be j(-4). Let u be 2/(-5)*b/(-245). Which is smaller: u or 0?
u
Let k(v) = v**3 - v**2 - v - 11. Let j be k(0). Let f = -46.69 - -46. Let r = f + 0.69. Is r at most as big as j?
False
Let y = 21 - 12. Let l(s) = 3*s - 21. Let r be l(y). Let q be (-52)/(-14) + r/21. Is 7/2 at least q?
False
Let y = 66 + -52. Let p be y*1*13/26. Which is greater: 39/5 or p?
39/5
Let g = -527 - -527. Do g and 180 have different values?
True
Let w = -0.547 - -0.047. Is -2/45 < w?
False
Let j(p) = -78*p**2 - 5*p - 4. Let o be j(-1). Which is bigger: o or -74?
-74
Let k be (-4)/18 + 46402/396. Let s = 117 - k. Is s bigger than 1?
False
Let a(k) = -4*k + 9. Let v be a(-5). Let c = v - 20. Do c and 9 have the same value?
True
Let u be 1*3*(-912)/(-72). Suppose -2*y + u = -4*y. Is -18 at least as big as y?
True
Suppose 31*d = 58*d - 162. Are d and 35/6 unequal?
True
Suppose 3*i + s = -653, -i - 172 = -2*s + 34. Is -215 bigger than i?
True
Let z be 168/70*15/33. Is z smaller than 1?
False
Suppose -5*l - 25 = -3*n - n, 5*n - 20 = 4*l. Let c be n + 2 + (-2)/4. Let d(k) = -k**2 - 25*k - 46. Let u be d(-23). Which is bigger: u or c?
c
Let t = -11 - -14. Suppose 0 = t*o + 2*o. Which is smaller: -1/12 or o?
-1/12
Let n(y) be the third derivative of -y**5/30 + 3*y**4/8 + y**3/6 - 23*y**2. Let f be n(5). Which is smaller: -1 or f?
f
Let k = -23801/119 - -200. Let l = k + 243/595. Let f = 1 - 1.3. Which is greater: l or f?
l
Let r = 0.9 - -0.1. Let n = 1459 + -1458.9. Which is bigger: r or n?
r
Let k = -2/441 - 284/2205. Let n = k + 1/3. Let d = -1454 + 1453. Which is greater: n or d?
n
Suppose -z - 1 = -2. Let i = -205/34 + 6. Do z and i have the same value?
False
Let c(z) = z**3 + 6*z**2 - 44*z - 20. Let d be c(-10). Which is bigger: d or 216/11?
d
Let i = -65 - -65.64. Let q = i - 0.64. Is q smaller than -1/2?
False
Let z = -1.32 + 0.28. Let o = z - -0.44. Is o > 2/3?
False
Let r = 2244 + -15663/7. Is 5 less than or equal to r?
True
Suppose 5*o - 4*t + 3 = 2, -8 = 3*o + 5*t. Let h(z) = -104*z + 1760. Let k be h(17). Which is bigger: k or o?
o
Let d(q) = 2*q**2 - q - 1. Let i be d(-1). Let v(h) = h**3 + 3*h**i + 0*h - 4*h - 2 + 4*h. Let l be v(-2). Which is smaller: 7/5 or l?
7/5
Suppose 2*y + 237 = -119. Is y at most as big as -178?
True
Let h(t) = 28*t + 395. Let v be h(-8). Is v bigger than 171?
False
Suppose -3*j = -2*j - 6. Let u be 2/j + (-2910)/9270. Which is smaller: -1 or u?
-1
Suppose 5*t - 3*y - 33 = 0, -y + 2 = t - 3. Let w be (-4)/3 + t/9. Let u = -0.21 - -0.12. Is u <= w?
False
Let d = 5 + 4. Let v be 9 - (d/(-6))/(3/6). Which is smaller: -1 or v?
-1
Let x = -1 - -1. Let o = -45 - -16. Let c = 28.8 + o. Is x greater than c?
True
Let m = -8 + 71. Suppose 11*c - 157 = m. Is -2 at most as big as c?
True
Let z = 62 - 439/7. Let a = -0.048 + 0.048. Which is greater: a or z?
a
Let u = 305.8 - 306. Is -0.0454 at most as big as u?
False
Let q be 3/108*-6 - 59/(-210). Is q > 1?
False
Let i = -310 + 147. Let t = 155 + i. Is -34/5 >= t?
True
Let j(g) = g**3 + 4*g**2 + 3*g + 3. Let t be j(-3). Let n be t/(-9) - 159/9. Let s = n + 12. Is -5 <= s?
False
Suppose -3*k + 14 = -2*t, -k - 24 = 2*t + k. Suppose -16*a - 36 = -12*a. Is t > a?
False
Let x be -1 + -4 - 4/(-20)*5. Which is smaller: -27 or x?
-27
Let u(s) = s + 8. Let d be u(8). Suppose -d*l = -15*l - 2. Let v be 2 + -3 - (-22)/5. Is l not equal to v?
True
Let w be 305/15*(-6592)/(-28). Let z = w + -4788. Which is