value?
False
Let g be 1/3 + 0 + 0. Let c = -55/266 - 39/133. Which is smaller: c or g?
c
Suppose 2*z - 5*z - 12 = 0, -5*z = 4*b. Suppose -b*v = -8*v. Suppose v = -k + 4 - 3. Which is greater: k or -2/61?
k
Let c = -1039.4 + 1039. Let q be 6*9*1/(-2). Let a = -241/9 - q. Is c at most a?
True
Let u be (-200)/(-330)*5 + 1 + -4. Which is greater: 13 or u?
13
Let z = 56 + -292/5. Let s = 286/115 + z. Which is greater: s or 1?
1
Suppose 4*f = 3*z + 29, 0 = 4*z + 2*f + 9 + 15. Which is smaller: -25/3 or z?
-25/3
Let v be 24/(((-3)/8)/(21 + -16)). Which is greater: v or -1?
-1
Let q be (-2198)/20106 - (-42)/378. Is q less than or equal to 1?
True
Let b be (-2)/((900/(-56845))/(-1)). Let a = b + 379/3. Which is bigger: a or -1?
a
Let w(f) = 5*f**2 - 2*f - 2. Let i be w(-1). Suppose -i + 0 = o. Which is greater: o or -6?
o
Let h(i) = -i**2 + 3*i + 5. Let t be h(8). Is -38 not equal to t?
True
Let m(y) = y**3 + y**2 + y + 1. Let t = -6 - -6. Let a be m(t). Suppose 4 = 5*n - a. Is -2/27 smaller than n?
True
Let a = 1.98 - 2. Let p = -54 - -54.5. Let v = p + 1.5. Which is smaller: a or v?
a
Let a = -91 - 394. Let p = a - -3415/7. Which is greater: p or 4?
4
Suppose -5*y - 75 = s + s, -105 = 3*s + 5*y. Let g be (6/s)/((-2)/(-4)). Is 2/11 at least as big as g?
True
Let q be 1/(-1)*-9 + 0. Suppose 5*x + 452 = 782. Suppose -q*l = -6*l + x. Is l greater than -23?
True
Let c(p) = -p**3 - 2*p**2 + 10*p + 2. Let o be c(-4). Let k be 7/((-1155)/36) - o/(-33). Which is bigger: k or -2?
k
Suppose 0 = 2*s - 5*l + 2*l - 7, 0 = 2*s + l - 3. Suppose -3*y - q + 0 = -s, 0 = -3*y - 3*q + 12. Let w(n) = n**2. Let j be w(-1). Is y <= j?
True
Let q(l) = -3*l - 14. Let v(b) = 3*b + 15. Let k be v(-7). Let w be q(k). Suppose 2*u = -2*m - 2, 2*u - 2 = -5*m - w. Is -3/7 != m?
True
Let k = -908/15 + 268/3. Let w = 29 - k. Is w greater than 3?
False
Let w = -280 - 497. Let i = w + 45063/58. Let o = i + 93/116. Which is smaller: o or 0.3?
0.3
Let o = -664.1 + 664. Which is bigger: o or -680?
o
Let m be (-9 - -15) + -184 + (-9)/(-3). Which is bigger: m or -172?
-172
Suppose -3*m = -y + 12, -2*y + 18 = -m - 3*m. Suppose 4*v - 2*v + y*z + 5 = 0, 0 = -5*v - 5*z - 10. Let t be (-1)/6 + 25/(-18). Which is greater: t or v?
v
Let x = -335 - -334. Which is smaller: x or -1/71?
x
Let q(b) = 79*b - 112. Let u be q(-5). Which is smaller: u or -1015/2?
-1015/2
Suppose 441*p - 1376 = 439*p. Which is smaller: 2/7 or p?
2/7
Suppose -5*i + 265 = -5*m, m = -i - 27 - 16. Let u be (-1)/(-4 + (-196)/m). Let d be (-8)/u + (-16)/33. Are d and 0.2 unequal?
True
Let o(v) = 6*v. Let c be o(-5). Let b = -26 - c. Let k be b/(-7) + (-396)/385. Which is bigger: -3 or k?
k
Let x(z) = z - 6. Let d be x(6). Let b = -1809039 - -1468939873/812. Let w = b + -9/28. Is d < w?
False
Suppose 0 = 7*s - 13*s - 288. Which is smaller: s or -47?
s
Suppose -903 = -135*q + 142*q. Which is bigger: q or -130?
q
Let q be ((-1)/2)/(-6 + (-66)/(-12)). Let n be q/3*(-78)/(-52). Which is greater: -0.027 or n?
n
Let l(a) = -a**3 - 10*a**2 - 12*a - 23. Let g be l(-9). Suppose -2*n - u = 3*u - 24, g*u - 48 = -5*n. Is 6 less than or equal to n?
True
Suppose -2*o + 3*y = -0*y + 108, -4*o - 2*y - 248 = 0. Let c = o + 61. Are 0 and c nonequal?
True
Let k be 8/24 + (-50)/42. Let u = -3.3 + 3.4. Which is smaller: k or u?
k
Let f = -709 - -3557/5. Which is greater: 1 or f?
f
Let g = 450 + -644. Do g and -196 have the same value?
False
Let w = 1/32 - -1/16. Which is smaller: w or 0?
0
Let x = -167 + 509/3. Which is bigger: 2 or x?
x
Suppose 8 = 3*a - i, -6*a + 7 = -4*a + i. Let d = -10 + a. Which is smaller: -11/2 or d?
d
Let f = 13.86 - 16.86. Let u = 0.2 + 0.8. Let b = -2 + u. Which is bigger: f or b?
b
Let u = 1062 + -1413. Is -349 < u?
False
Let r be 4/(-2) + (0 - 13/(-6)). Which is greater: r or -7?
r
Let k be 4/24*(-6)/(-3). Let h = k + -1/21. Let x(c) = c**3 + 5*c**2 - 1. Let w be x(-5). Does h = w?
False
Suppose -y - 26 = -3*f, f + 7*y = 3*y + 13. Which is smaller: 99 or f?
f
Let g be (9 - 6)*(-1)/3. Let d = -1094 + 12022/11. Which is bigger: g or d?
g
Let w be (-1)/((-2)/8)*(-6)/(-56). Is w not equal to -88?
True
Let z = 3.68 - 2.68. Are z and -2/41 non-equal?
True
Let b = 188 + -2. Let f = 182 - b. Let w = -0.6 - -1. Does w = f?
False
Let u = -130 - -60. Let z be (-4)/10 + 72/u. Which is greater: 0 or z?
0
Let y(h) = -43*h**2 + 472*h - 13. Let p be y(11). Which is smaller: p or 12?
p
Let y = 227 + -227. Let n = 1174021/56 - 20964. Let h = 11/8 - n. Which is bigger: h or y?
h
Let u(n) = -n**2 + 20*n - 65. Let c be u(14). Let l(z) = 2*z + 5. Let a be l(6). Is a at most as big as c?
True
Suppose 4*z + 17 = 61. Suppose 0 = -4*q + z + 5. Suppose -6 = -4*i - q*x + 2, 0 = 2*i + 5*x - 10. Which is smaller: i or -0.2?
-0.2
Let t(r) = -r**2 + 13*r + 2. Let i(a) = -a**3 + a**2 + a + 13. Suppose -12 = -6*g + 3*g, 4*o + 4 = g. Let h be i(o). Let u be t(h). Is u smaller than -4/17?
False
Let p = -2/373 + -23116/1865. Is p at most as big as -12?
True
Let n = 200 + -171. Which is greater: n or -5?
n
Suppose 3*m + 0*m + 30 = 0. Let h = 11 + m. Which is bigger: 1/6 or h?
h
Let j be 3 - 3*(-293)/(-3). Let y be -3 + 1 + (-600)/j. Which is smaller: y or 1?
y
Let k = -4.907 + 0.007. Let s = k - -6.5. Which is smaller: s or -1/4?
-1/4
Suppose 11 = 4*c + 5*l - 0*l, 2*c - l + 5 = 0. Let a be c + 2*7/6. Which is greater: a or 1/3?
a
Let c be 1 - 6 - -13 - 40/4. Suppose 5*v - 25 = -o - 4*o, 4*o - 20 = 3*v. Which is greater: v or c?
v
Let a(z) = z**3 + 5*z**2 - 5*z + 6. Let l be a(-6). Suppose -8*q + 13*q + 95 = l. Is q bigger than -18?
False
Let j be 2 + (5 - -2) - 2. Suppose -5*h + 10 = -q, 0 = -q + 5. Let y(w) = 2*w**2 - 6*w + 7. Let b be y(h). Is j less than b?
False
Let m = -146 - -88. Let k = m - -176/3. Let t(o) = o**2 - 3*o + 2. Let w be t(3). Which is bigger: w or k?
w
Let v = 7648/17 + -450. Let i be (-12)/9*(-4 + 1). Suppose -1 - 3 = i*y. Which is smaller: v or y?
y
Let c(d) = -d**3 + 2*d**2 + 3*d + 1. Let t be c(3). Let h be (-4)/(-1) + (-13)/(-13). Suppose t + 4 = -h*f. Do f and 1/15 have different values?
True
Let l be ((-2)/3)/((-22)/33). Let n be (6 + -7)/(l*-1). Let i be ((-3)/(-9) + -1)/(-2). Is i less than or equal to n?
True
Let r(w) = -25*w**2 - 7*w - 1. Let n be r(-3). Let y = n - -194. Suppose 0 = g + 12 - 1. Is y less than g?
False
Suppose -12 = -5*a + 68. Let p(y) = -15*y**3 + 2*y**2 + 8*y + 7. Let c be p(-1). Is a <= c?
True
Let l(a) = -a**3 - 2*a - 4. Let z(j) = -2*j**3 - 4*j - 7. Let i(b) = -7*l(b) + 3*z(b). Let y be i(0). Is y <= 5?
False
Let k = -12 - -14. Suppose -3*o - u + 0*u + k = 0, 4*u = 5*o - 26. Let r be (-1 - o) + -7 + 11. Which is smaller: r or -1/7?
-1/7
Let w = -217/4 - -54. Let j = -144.95 + 145. Is w bigger than j?
False
Let i = 66 - 62.7. Let x = i + -13.3. Is x equal to 0?
False
Suppose -20 = -2*a - 3*a. Let z = -2 + a. Suppose -240 = -3722*o + 3674*o. Which is smaller: o or z?
z
Let s = 252 + -273. Is s at least -20?
False
Suppose -l - 8 = -2*d + 4, 0 = -5*l - 5*d. Let x(o) = o + 4. Let h be x(-1). Let b be -3*(h + 6/(-2) + 1). Which is smaller: b or l?
l
Let g = -2 + 2. Let t(j) = j**2 - 5*j + 6. Let a be t(4). Let q = a + -2. Is q greater than g?
False
Let v be (-200)/(-6) - 2/6. Let p = v - 35. Is p greater than or equal to -2?
True
Suppose 137*w - 152*w = 15. Which is smaller: w or 2/119?
w
Let s(j) = j**3 + 10*j**2 + 2*j + 5. Let u(n) = -3*n**2 + 8*n - 7. Let b be u(3). Let h be s(b). Is h not equal to -16?
True
Let o = -75 - -30. Is o bigger than 2?
False
Let q(f) = -f**2 + 6*f - 4. Suppose -n - 2*i = 2 - 1, n = 5*i + 34. Suppose 16 = b + n. Let r be q(b). Is -11 less than r?
False
Let n = -804/901 + 66/53. Let o = 64/85 - n. Which is smaller: o or 0?
0
Suppose 0*c = c - 32. Suppose -3*p - c = -4*a, -5*a + 25 = -4*p - 16. Which is greater: 3 or a?
a
Let u(i) = -i**2 - 4*i - 3. Let p be u(-3). Let f be 15/(-3)*(4/15)/(88/(-48)). Is f at most as big as p?
False
Let i be (2/(-6)*4)/(16/24). Let c be 140/44 + i/11. Are c and 7 non-equal?
True
Let o be ((-8)/(-78))/((-8)/144). Which is smaller: o or -2?
-2
Let f = 9 - 6.6. Let o = -66.6 - -70. Let l = f - o. Is -0.14 greater than or equal to l?
True
Let p = -3439/20 - -173. Which is smaller: 1 or p?
1
Let f be (-6)/27 + (-94)/(-18). Suppose -125 = -4*i - f*r, -i 