big as -12?
True
Let y(o) = -o + 5. Let v be y(6). Let p = 20 + -79/4. Which is smaller: v or p?
v
Let n be 62/(-66)*(-6)/(-10). Let l = n + 4/11. Which is bigger: l or 0?
0
Suppose 9*k = 298 + 278. Is k less than or equal to 65?
True
Let x = -0.078 - 0.022. Is x smaller than 1/16?
True
Let v = 129 - 129. Which is bigger: -2 or v?
v
Let w be 1/6*-2*3. Let i = 28 + -11. Let a = i + -167/10. Which is smaller: a or w?
w
Let u be (6/(-4))/((-15)/10). Suppose 4*a = u - 9. Let f = 0 + -2. Is a bigger than f?
False
Suppose -3*q - 5 = q - 3*m, 0 = -3*q + m. Which is bigger: 6/17 or q?
q
Let b = -2 - -5. Let w be (-1)/2 - 34/(-4). Suppose 4*q = -n - w, -b - 6 = q + 2*n. Is q != -1?
False
Let n be 1*(4 - 3075/768). Let k = n - -1039/3840. Which is greater: 1 or k?
1
Let x be (-12)/(-5) + (-6)/15. Suppose -13 = 3*f + x*j, -j = -5*f + j + 5. Which is smaller: 4 or f?
f
Suppose 3*u + 5 = 4*h - 11, 2*h + 3*u = 8. Suppose 0 = 2*f - 0*f - h. Suppose 5*z - 30 + 5 = 0, 4*z = -4*q + 24. Which is greater: f or q?
f
Let a(t) = t**3 - 8*t**2 - 5*t + 6. Let r be a(5). Is r >= -94?
True
Let c = -0.15 + -0.25. Is c < -3?
False
Let c = -59 - -58.52. Which is greater: c or -0.1?
-0.1
Let g = 8.2 + -0.2. Which is smaller: g or -2/7?
-2/7
Let t = 3 - 3. Let g = t + 0. Is g >= -0.1?
True
Suppose -3*z - 1 = 2*x, -3*x - 10 = -2*z - 2*z. Is 6/17 at least z?
False
Let x = -51 - -51.4. Which is greater: 1/6 or x?
x
Suppose 2*j + 0*h - 3*h = 23, 3*j - h - 17 = 0. Let v = 5 - 0. Suppose -28 = -j*a + 4*r, -a - v*r - 14 = a. Are a and 3 unequal?
False
Suppose 4*u - 8 + 0 = 0. Which is smaller: u or 1?
1
Let v be 2/((-2)/(-10) - (-11)/(-5)). Are 7/26 and v non-equal?
True
Let h = 0.1 + -0.2. Let u be (-2)/(-5) - (-28)/(-20). Do u and h have the same value?
False
Let u = -349 - -349. Let x be (3 + -2)*2/31. Is x >= u?
True
Let u = -1 - 2. Let a = -8 - -7.6. Let y = a - -1.4. Are y and u equal?
False
Let i = 2/41 + 68/287. Let m(x) = 2*x + 7. Let d be 8/((-8)/4) + 1. Let p be m(d). Is i equal to p?
False
Let a(t) = -5*t**2 + 3*t. Let c(d) = -4*d**2 + 2*d + 1. Let h(q) = 3*a(q) - 4*c(q). Let r be h(-3). Is 2 smaller than r?
False
Suppose -7 = 2*k - 3. Which is smaller: k or 0?
k
Let t = -12 - -15. Suppose t*h - 28 + 10 = 0. Suppose -5*s - 2*l = -2*s - 22, 3*s + 5*l = 28. Is h greater than s?
False
Let c(w) = -w. Let a(n) = n**2 - n. Let r(h) = -a(h) - c(h). Let v be r(3). Let j be -2 + 1 - (1 + 0). Which is smaller: v or j?
v
Let p be 2/1 + 1*-1. Let v be (-14)/63 - 89/(-117). Let g = -34/39 + v. Which is greater: p or g?
p
Let u = 0.2 + -1.2. Is 2/15 > u?
True
Let o(i) = -2*i + 1. Let l be o(-2). Suppose l*a - 4*r - 6 = -r, -a + 8 = -4*r. Suppose a = n - 4*n - 12, -20 = 4*t + 4*n. Which is greater: t or 1?
1
Let s = -72 + 72. Let r be 0 - ((-1)/14 + 0). Which is smaller: r or s?
s
Let x(w) = 3*w**3 + w + 1. Let s be x(-1). Let j = -11 - -3. Let u(y) = y**3 + 8*y**2 + y + 4. Let v be u(j). Which is greater: s or v?
s
Let w = 334 - 191. Let u = -998/7 + w. Let v = -2 + 3. Is u bigger than v?
False
Let n = -0.996 - 0.004. Let k = 147 + -1325/9. Is n at most k?
True
Let h(b) = -b**2 + 3*b + 3. Let c be h(-1). Which is smaller: c or -2?
-2
Let t be 1/(-4) - 69/(-36). Let p(m) = -m**2 - 4*m + 6. Let w be p(-5). Is w >= t?
False
Let h = 18 - 13. Suppose -t - 3*n - 3 = 0, 4*t - n = -4*n - 3. Suppose 3*f - 13 - 5 = t. Is h < f?
True
Suppose i + 0*i - 2 = 0. Suppose -2*q - 5 = i*r + r, 2*r = -2*q - 4. Is 0.1 greater than q?
True
Let v = 35 - 64. Let m = v + 27. Which is smaller: 4 or m?
m
Suppose 0*y - 14 = -2*y. Let c = -7 + y. Is 1/5 greater than or equal to c?
True
Let p(o) = -o**2 + 2*o + 5 - 3*o - 3*o + 2*o. Let x be p(6). Let t = x - -219/5. Which is greater: 1 or t?
1
Suppose 102 + 98 = 5*n. Is 39 equal to n?
False
Let z = -85 - -45. Which is bigger: -41 or z?
z
Let j be 1 - ((-14)/1 + 0). Let c be 2/(-3) - 488/j. Let n = c - -33. Which is smaller: n or 1?
n
Suppose -o - 6*y + y = 10, -4*o + 5*y + 10 = 0. Suppose o*k = -k + 2. Is 1 not equal to k?
True
Let l be (-2)/(-3) + -11*6/(-9). Let h be (-1*2)/1 - -9. Which is greater: l or h?
l
Let h = -5.12 + 0.12. Let i = 2 + h. Let o = 0 - i. Which is bigger: o or -2?
o
Suppose 0 = 15*j - 14*j + 54. Are j and -0.1 non-equal?
True
Let c be 2/(-7) + 50/(-70). Which is smaller: 1 or c?
c
Let r = -12715/27 + 471. Do r and 1 have the same value?
False
Suppose -5*s = 77 + 103. Let y be 1 + (-5)/((-140)/s). Suppose -4*m + 2*m + 11 = 3*i, i = -2*m + 5. Which is smaller: y or m?
y
Let h = 6 + -4.6. Let w = h - 2.1. Let m = w - -1. Is m > 0.1?
True
Let a = -0.06 - 0.94. Let u = a + 0.8. Let q = -0.1 - -0.1. Which is greater: q or u?
q
Suppose -5*y = 4*g - 3 + 1, 0 = -2*y + g + 6. Is 2/27 <= y?
True
Let h(m) = -5*m - 79. Let o be h(-16). Does -3/89 = o?
False
Let l = -5 + 12. Suppose 0 = -a + l*q - 3*q + 8, 2*a = -5*q - 10. Let t = 4 + -2. Is t bigger than a?
True
Suppose -3*y - 175 = -4*n - 0*y, 2*y + 40 = n. Is n less than 45?
False
Let c = -9/11 + 67/55. Let x = -132 + 132. Is c < x?
False
Let t be (-233 + -2 - -2)/3. Let q be -11*(6 - -1)*-1. Let l = t + q. Do l and -1 have different values?
True
Let y be 0/5 - 0 - 0. Which is smaller: y or 2/35?
y
Let j = 5 + -1. Let t = 4 - j. Let c = 0.2 - t. Which is smaller: c or -0.2?
-0.2
Let m be (10/(-28)*-4)/(12/54). Which is smaller: m or 5?
5
Let r = 137.98 + -138. Which is greater: 1 or r?
1
Let w(j) = -j + 4. Let s(k) = k**2 - 9*k + 11. Let r be s(8). Suppose -2*n - 8 = -r*p - n, -3*p = 2*n - 20. Let x be w(p). Which is smaller: 4/3 or x?
x
Suppose d + 77 = -2*i, -3*i + 74 = -4*d - 179. Are -66 and d non-equal?
True
Suppose -3 = -3*t + o, -2 = t - 3*t - 2*o. Suppose -p + 5*p + 8 = 0. Let d be p/(-3)*2/(-4). Is d < t?
True
Let c = 390 - 212. Suppose 5*x - 58 = -c. Let u be (-2)/8 + (-22)/x. Which is smaller: u or 0.1?
0.1
Let n = 2.02 + -2. Let j = n + -0.42. Let z = j - -0.4. Is -1 <= z?
True
Let x be 9/(-6)*(-12)/(-54). Let h be 6/15 - (-7)/(-5). Which is bigger: x or h?
x
Let l(i) = -i**3 + i**2 + i. Let j be l(2). Let a(b) = b**2 + 13*b + 10. Let f = -13 - -1. Let w be a(f). Is w at most as big as j?
True
Let t be 0*12/18*6/8. Let p be ((-6)/8)/(2/8). Let l be (p*4/(-6))/13. Are t and l nonequal?
True
Let x = 55163/59 + -935. Which is bigger: 0 or x?
0
Let u = 79 - 58. Is u != -1/3?
True
Suppose -2*z + 2 - 8 = 0. Let k be 6/z*(-1)/(-2). Which is greater: k or 0?
0
Let b = -14 + 7. Let x = -6.9 - b. Let i be (2 - 4)*2/(-4). Are i and x nonequal?
True
Let c(o) = 2*o**2. Let b be c(-6). Let d be b/81 - 4/6. Let s = -1.1 + 1. Which is greater: s or d?
d
Let n(p) = -p**3 + 2*p**2 + 7*p - 6. Let c be n(4). Let y be c/(-8) + 2/(-8). Which is bigger: y or 2/15?
y
Suppose -5 = 5*x + 5. Is -2 less than x?
False
Let l be (26/(-2)*1)/1. Let c be (1 - 34*1)*12/36. Is c >= l?
True
Let a = -0.08 - -0.13. Let x = 2.05 - a. Which is smaller: -1/2 or x?
-1/2
Let o(l) = -2*l. Let n be o(3). Suppose 11 = 6*s - 25. Let g be (-34)/s + 6/9. Which is smaller: n or g?
n
Let p be (-22)/4 + 4/8. Let y be 48/(-22) - (3 + p). Is 1 at least as big as y?
True
Let a be (27/36)/(10/16). Let b = 3/2 - a. Is -1 at least as big as b?
False
Let p be (1/2)/(1/2). Let r = -1778/9 - -197. Let y = -11/36 - r. Is y > p?
False
Let v = -28382/33 - -860. Are 1 and v nonequal?
True
Suppose 2*r = 5*f - r + 31, -21 = 5*f + 2*r. Which is smaller: f or -4?
f
Let a(p) = p**2 + 16*p + 14. Let f be a(-15). Which is bigger: -2/23 or f?
-2/23
Let i be (-24)/9 - (-2)/3. Let m be (-40)/16 - i/4. Which is smaller: 0 or m?
m
Let v be 36/(-16) + 1/4. Let o = v + 3. Let u = -232/153 - -22/17. Is o > u?
True
Let k be (-2)/(-6) - (-188)/12. Let b = -31/2 + k. Which is smaller: -1 or b?
-1
Let j = 0.2 + -0.1. Let q = -3 + 3. Let b = q - -0.1. Is j >= b?
True
Let q be (2/(-3))/(17/3). Let g = -59 + 58. Is q less than g?
False
Let k = -9 + 10. Let t = k - 4. Is 5 greater than t?
True
Let f = 0.005 + -1.005. Which is bigger: f or -3/20?
-3/20
Let m be (-2)/13 + 178/(-26). Is 2 <= m?
False
Suppose 3*z - 2*z = 2*l - 184, -180 = z - l. Let q be (-4)/(-22) - 34/z. Is 1 not equal to q?
True
Suppose 12*t + 9 = -3. Which is smaller: -2/225 or t?
t
Let i be ((-20)/(-24) + 2)*4. Let l = i + -12. Is l <= -0.07?
True
Let f be 26/476 + ((-100)/(-35) - 3). Are f and 1 equal