?
False
Let o = 273/4 - 135/2. Let f be 4/18 + 44/(-198). Which is smaller: f or o?
f
Let d be ((-40)/12)/((-2)/3). Let c(q) = q. Let p(w) = w. Let u(a) = d*p(a) - 8*c(a). Let n be u(2). Is n greater than -7?
True
Let r be (-12)/(-195)*5/2. Suppose 8 = 4*g + 4*v, 4*g = 2*v - 0 - 4. Let u = g - 1. Does r = u?
False
Suppose -5*w - 2 = 2*s + 68, -5*w = 3*s + 70. Is -14 bigger than w?
False
Let o = -1367 - -53. Let d = -3833/3 - o. Let x = d - 36. Is x > 0?
True
Let j = 1 - -3. Let a = -3 + j. Let s be (a/(-4))/((-1)/1). Is s != 0?
True
Let p = 119/855 + -11/45. Which is smaller: 0 or p?
p
Suppose 7*f = 3*f + 56. Let c be (4 + -1)/((-21)/f). Which is greater: c or -2/3?
-2/3
Let d = -1 + 1. Let k be 3/(-3) + 0 + d. Let c be k/3*12/20. Which is smaller: c or 1?
c
Let n(y) be the third derivative of y**6/120 - y**5/30 + y**4/24 - y**3/6 + 2*y**2. Let z be n(3). Let s = -6 + z. Is s bigger than 4?
True
Let x(f) = f**3 - 5*f**2 - 6*f - 3. Let s be x(5). Let k be (-22)/s*(-9)/2. Which is bigger: -2 or k?
-2
Let y = 3 - 6.1. Let z = y + 3. Suppose -4*s + 5*r + 28 = 0, 3*r = -4*s + r. Is s != z?
True
Suppose -2*z + 2*v = -10, -z + 2*z = -4*v. Suppose -4*o + 2 = -g, -1 = -3*g + o + z*o. Which is greater: 3 or g?
3
Let w(g) = -g**2 - 11*g + 10. Let u(z) = 2*z**2 + 12*z - 10. Let m(p) = -2*u(p) - 3*w(p). Let i be m(7). Suppose a - 2*y = 0, y + i - 5 = 0. Is 2 > a?
False
Suppose 0 = 6*k - 2*k. Let d be (-15)/(-9) + 1/3. Let h be 2/d + 14/(-6). Which is smaller: k or h?
h
Let x be ((9/(-12))/((-12)/16))/(-1). Are 1/37 and x equal?
False
Let z(s) = -s**2 - 5*s + 8. Let d be z(-6). Suppose y + 2*y = 0. Suppose d*w + 2 = -y*w. Which is smaller: w or 1/3?
w
Let u = 47/66 + -6/11. Let o(g) = g + 5. Let n be o(-4). Let v be ((2/n)/1)/(-2). Which is smaller: v or u?
v
Suppose 0*l - 2*l = -6. Let o be l + (-1)/(1/2). Let n be (-1)/(((-6)/(-4))/o). Which is greater: n or 1/3?
1/3
Let n = -41 + 122/3. Which is smaller: n or 1/3?
n
Let o = -68/21 - 85/84. Is o less than -4?
True
Let i = -52 - -51.9. Is i != -1.1?
True
Let k(m) = m**2 + 6*m - 2. Let l be k(-8). Suppose b + l = -4*h, 2*h + 3*b + 3 + 9 = 0. Which is bigger: 0 or h?
0
Let v(n) = -n - 18. Let o be v(-19). Which is smaller: 2/91 or o?
2/91
Let p(y) = -y**2 + 5*y + 5. Let s(m) = -m - 8. Let c be s(-6). Let w(q) = -q**3 - q**2 - 2*q - 2. Let a be w(c). Let k be p(a). Which is greater: k or -1/3?
-1/3
Let p = 5.8 - 2.8. Which is greater: 2/13 or p?
p
Let h(i) = 0*i - 9*i + 13 - i**2 + 0*i. Let d be h(-10). Which is bigger: d or 0.04?
d
Let k = 0 + 4. Suppose -d + 5 = 5*a, -5*a + 4*d - 16 = k. Which is bigger: -16 or a?
a
Let j = -2.07 + 0.07. Let i = 1.2 - 0. Let n = i + -0.2. Which is greater: j or n?
n
Let c = -16 + 15.3. Let i = c + 0.1. Let q = i + -2.4. Which is bigger: 1 or q?
1
Suppose -20 = -5*n - 0*n. Let z = n - 5. Is 0.3 less than or equal to z?
False
Suppose 2*n - b = 10, -19 = -n + 5*b + 4. Let x(h) = h - 3. Let j be x(n). Which is smaller: j or -0.4?
-0.4
Let p be 4/8 + 22/4. Let j be -4 + p + 11/(-4). Suppose -14 = 2*s - 2*o, -23 = 4*s - 5*o + 10. Is s greater than j?
False
Let t be (-2)/(-6) - (-4)/6. Let k = 93 - 275/3. Is t equal to k?
False
Let j = 1.8 - -6.2. Let p = j + -9. Which is smaller: 0.8 or p?
p
Let s = -1/6 + 1/2. Let b = -0.44 - -0.64. Do b and s have different values?
True
Let g = -85 - -98.9. Let t = g + -13. Let d = 0.1 + t. Which is smaller: d or -2/3?
-2/3
Let j = -12 + 28. Suppose -4*x + j = -4. Which is smaller: 4 or x?
4
Let j = -128 - -634/5. Let n be (-6)/33 - (-18)/(-22). Which is smaller: j or n?
j
Let t = 28 - 57/2. Is -2/7 at most as big as t?
False
Let d = -0.03 + 2.03. Let t = d + -4. Suppose 4*v - b = -4, -4*b + 3 + 1 = -4*v. Do v and t have different values?
True
Let h(j) = -2*j - 17. Let n be h(-9). Is n at most 8/7?
True
Suppose -a - 1 = 1. Let q be (-10)/15*(5 + a). Suppose 0*n + 4*n - s + 5 = 0, -n + s - 5 = 0. Is q equal to n?
False
Let d = -111 + 119. Which is bigger: d or 10?
10
Let o = -11 + 4. Let y = 6 + o. Is -1 > y?
False
Let n = -0.1 + 0.1. Is 6 bigger than n?
True
Suppose -3*b - 4 + 0 = 5*j, -14 = -3*b + 4*j. Let t = -13 + 19. Suppose 2*r + 3*v = -2*v - t, 2 = -v. Is r > b?
False
Let y = -1/9 + 32/45. Is 2 greater than y?
True
Let p = -0.29 + 0.272. Which is smaller: -2/9 or p?
-2/9
Suppose 0*w - 5*b + 13 = -2*w, 2*w - 5 = -b. Suppose -f = -t - 2 + 1, -w = -2*t - f. Let p be (-1)/(-5)*(-3 + 1). Which is greater: t or p?
t
Suppose -10*o + 8*o = 0. Which is smaller: -5/8 or o?
-5/8
Let m = -16.05 - -0.05. Is m > -0.2?
False
Suppose -m + 3 = -2*c + c, 5*m - 3 = c. Is m at least -4/3?
True
Let l be ((-15)/6*-2)/1. Is 5 at least as big as l?
True
Let v(d) = d**3 - 6*d**2 + 4*d + 6. Let i be (7 - 0) + (-10 - -8). Let g be v(i). Let b = 1 - 1. Which is smaller: b or g?
b
Let r be 2 - ((-3)/(-1) + 2). Is -3 smaller than r?
False
Let g be 14/5 - (-3)/15. Suppose g*s = 0, y = -3*y - 3*s. Is -2/9 < y?
True
Let m = 1.4 + -2.5. Let s = m - -0.1. Let h be 3/6 + (-7)/(-6). Which is smaller: h or s?
s
Let v be (-5)/(-2)*(-128)/(-40). Which is smaller: 9 or v?
v
Let p = -47/1890 + 1/378. Which is smaller: 1 or p?
p
Let d = -23 + 28. Is 6 > d?
True
Suppose 42 = w + 122. Let p be ((-18)/w)/(48/10). Let c = p + -41/192. Which is smaller: -2/7 or c?
-2/7
Suppose -7*z + 4*z = -3. Let k be (4 - -1) + -2 + z. Are 3 and k equal?
False
Suppose -j = j - 16. Is j smaller than 7?
False
Suppose -5*r + 5 + 2 = 4*c, -2*c + 8 = 4*r. Let d be (-2 - 0)/(-1 + 0). Is r at least as big as d?
True
Let p be 1/(-4)*(-1)/1. Which is smaller: 0 or p?
0
Let i be (0/2)/(0 - -2). Suppose i = -5*x + 9 + 1. Is x <= 4?
True
Let h = -149/10 - -15. Do h and -1 have the same value?
False
Let h be (-1)/(-3) + 4/6. Let z(y) = -2 - y**2 - 6*y - h + 0 + 4. Let w be z(-6). Which is smaller: 1/7 or w?
1/7
Let x(f) = f**3 + 3*f**2 + 5*f + 4. Let s be x(-3). Let b be s/(-3) + (-2)/(-6). Let i be b/10 + 6/(-15). Is i greater than 0?
False
Suppose y - 1 = x, 4*y - 9 = 2*x - 3*x. Which is smaller: x or 18/11?
x
Suppose 0 = 2*f - 13 + 23. Is f less than -8?
False
Suppose 0*z - 2*z = 0. Suppose l - 2 + 12 = -5*j, 3*l + j = -2. Suppose -4*v + 3*b - 16 = l, -4*b + 18 + 2 = -4*v. Which is greater: v or z?
z
Let g(j) = -j + 7. Let f be g(9). Do 0.07 and f have different values?
True
Let t(p) = 13 + 2*p - 1 - 3*p - p. Let l be t(10). Let g = l - -8. Do -1 and g have the same value?
False
Suppose 5 = 121*q - 120*q. Suppose 3*i = -2*i - 25, -5*i = -4*c + 33. Are q and c non-equal?
True
Let r = -1615/377 - -53/13. Is r equal to -1?
False
Let a(f) = f**2 - 7*f + 6. Let n be a(6). Let i(q) = q + 1. Let w be i(n). Do w and 1 have the same value?
True
Let s = 169/2 + -1774/21. Which is greater: s or 0?
s
Let v = -1 + 0. Let h be -14 + 5 + (-9)/3. Let g be (3 + 38/h)*1. Is v less than g?
True
Let o(i) = -i**3 - 7*i**2 + 10*i + 27. Let t be o(-6). Is t at most as big as -70?
False
Let m(r) be the second derivative of -r**5/20 - 5*r**4/12 + r**2 - 3*r. Let g be m(-5). Let d = 4 + -2. Is d bigger than g?
False
Let g be (-4 + 2)*1/4. Which is bigger: g or -3/4?
g
Let f be 17 - 17 - 4/(-86). Is f smaller than -1?
False
Let o = 35 - 35.06. Let v = 0.1 + -0.1. Do o and v have the same value?
False
Let x = 1.3 + 2.7. Suppose c + z + 2 = -0*c, z = -2*c - 4. Which is bigger: c or x?
x
Suppose 3*i = 7*i - d - 16, d = -2*i + 8. Suppose -i*k + 7*k = 6. Suppose k*t + b + 1 = 0, -5*t + 4*b = 3 + 6. Are t and -1 unequal?
False
Let x be -2 - -1 - (2 - 3). Suppose 0 = 4*j + j - 10. Let q(a) = -a**3 + 3*a**2 - 2*a. Let u be q(j). Is u at most x?
True
Let n = 3015/7 - 430. Let p be (1 - 2)/(-3 - -2). Which is greater: p or n?
p
Suppose -5*d + 10 = 0, -4*b + 12*d + 28 = 10*d. Is b != 6?
True
Let y(a) = 3*a**2 + 4*a - 5. Let t(u) = u**2. Let z(n) = 2*t(n) - y(n). Let h be z(-5). Is -3/7 > h?
False
Let b = 161/10 + -128/5. Suppose c - 132 = 13*c. Which is bigger: c or b?
b
Let b be (2 + -4)*3*-1. Let q be b/4 + 3/2. Is q < 4?
True
Suppose -5*x = -5*p + 60, -p + x = 4*p - 52. Which is smaller: p or 0.4?
0.4
Let a be -4*4/(-6 + 2). Which is bigger: 0 or a?
a
Let n = -11 + 4. Let j = 6.9 + n. Which is smaller: j or 3?
j
Let m = -76 + 73. Is -6 != m?
True
Let x(k) = 6*k - 3 + 0*k + k**3 - 3*k**2 - 4*k**2. Let a be x(4). Let h be 38/72 + (-6)/a. Whi