+ 67*z + 51. Is z < 2/311?
True
Let l = 33 - 36.6. Let s = 3.7 + l. Which is greater: s or -29?
s
Let f = 0.2 - -1.8. Let t = f + -3.8. Let s = -1.2 + t. Which is greater: -0.1 or s?
-0.1
Suppose -5*k + 5*m = -1445, 5*k + 4*m + 1450 = 10*k. Suppose k = -5*s + 11*s. Does 49 = s?
True
Let q be 1/(-4) - 54/(-24). Suppose q*i + 3*i = 10. Let l = -0.051 - -0.021. Is l greater than i?
False
Let n = 720 - 1056. Let w be 1 - 2 - (-8714)/(-26). Let y = w - n. Which is bigger: 0 or y?
0
Suppose -43*n + 48*n = 45. Suppose 0 = 2*u - n*u + 7. Which is smaller: 1/10 or u?
1/10
Suppose 42*y - 33 = 3117. Is y >= 76?
False
Let u = -2.9 + 14.9. Let x = -13 + u. Is x greater than -10?
True
Suppose -a + 8 = 5*k - 2*a, 0 = 4*a + 12. Are k and 1/786 non-equal?
True
Let k = 72 - 51. Suppose 4*g = -0*j + 2*j, 2*j - k = -3*g. Suppose d - j*d + 80 = 0. Is d >= 16?
True
Let h = 729 - 62697/86. Is 1 at most as big as h?
False
Let j = -0.17 - -0.97. Let w = -0.9 + j. Let x = -1 + 0.93. Are x and w nonequal?
True
Suppose 11*k = 16*k - 315. Suppose 0 = 67*q - k*q - 116. Which is greater: 30 or q?
30
Let q = -5 + 7. Suppose -v - 18 = q*v. Let r(w) = w**3 + 7*w**2 + 8*w + 7. Let d be r(v). Which is smaller: d or -1?
d
Let n = 2 + 0. Let w(v) = 4*v**2 - v. Let p be w(1). Suppose 9 = 2*z + p. Which is smaller: n or z?
n
Let a be (-3)/4 + 1 + 315/(-252). Which is smaller: a or 4?
a
Let m be (4 - 2)*(-6)/3. Let t(g) = 4*g - 23. Let n be t(4). Which is smaller: m or n?
n
Let p(n) = 7*n**2 - 3*n + 2. Let i be p(1). Let b be ((-3)/12)/(3/i). Which is smaller: b or -0.33?
b
Let o = 86 + -53. Let z = o - 32.85. Is z < 2/5?
True
Suppose u - 10 = 5*o, 4*o = -4*u + o + 132. Is 30 bigger than u?
False
Let t be ((-4)/(-3))/(-4) - 52/(-12). Suppose t*b + 0*s - 2*s = -26, 5*s - 5 = 0. Suppose -5*n = 4*o + 14 + 16, -4*o = -n - 6. Is n smaller than b?
False
Let d = 43/26 - -1379/78. Is d less than 19?
False
Suppose -4*f + 3*f = -5. Suppose -7 = -3*n + 4*j - 1, f = -n - j. Let m be -5 - (66/(-16) + (-27)/72). Which is smaller: m or n?
n
Let p be (-96)/12 + (-162)/(-6). Is 24 less than or equal to p?
False
Suppose 11*w = 13*w - 18. Suppose w + 6 = 5*f, 7 = -4*t + 5*f. Which is smaller: 3 or t?
t
Suppose -4 = -0*l + l. Let g be l/6 + (-66128)/(-6600). Let p = 102/11 - g. Is 0 smaller than p?
False
Let l be ((-1 - (-1)/1)/(-2))/2. Is l at least 50?
False
Suppose -2*u - f = 23, 5*f - 6 = u - 0. Suppose -31*a - 27 = -22*a. Which is bigger: u or a?
a
Let x = -8 - -5. Let c be (9/4)/x*-4. Let j(p) = p**2 - 4*p - 2. Let v be j(5). Is v greater than c?
False
Let g = 30 - 33. Which is greater: g or -28?
g
Let y be 2/2 + 1 - 5. Let s be -2*((-10)/(-4) + y). Let u(p) = 5*p**2 - 2*p + 1. Let b be u(1). Which is smaller: s or b?
s
Let i(v) = -2*v + 9. Let x be i(6). Suppose -3*o + 19 = 5*b, -3 = -5*b - 2*o + 18. Suppose 3 = -8*t + b*t. Is t less than x?
False
Let w be (-18)/5*(-65)/(-182). Is w less than -1?
True
Let n = -48 + 68. Let s be (-10)/n*(-2)/(-3). Which is smaller: -18 or s?
-18
Let v(d) = -d**3 + 6*d**2 - d + 3. Let t be v(6). Let m be (-3)/18 - (-13)/6. Suppose -3*z = -3*p + 6, m*p - 27 = 6*p + 3*z. Is p at least as big as t?
True
Let k = -465 + 562. Which is smaller: 96 or k?
96
Suppose -15*x - 70 = 55*x. Which is smaller: -4/343 or x?
x
Suppose 0 = -3*h - 35*q + 34*q - 1094, -3*h + 2*q = 1106. Is h equal to -364?
False
Let z be 3*(4/(-2) - 3). Let n = 13 - 6. Suppose 0 = -o - n - 7. Is o smaller than z?
False
Let p = 0.03 - 0.05. Let t = p + 0.1. Let u = 628/3 - 209. Which is bigger: u or t?
u
Let f = 121/18009 + -2/6003. Do -1 and f have the same value?
False
Let b be 1/12*31*-3. Suppose 0 = -5*v + 11*p - 89, -5*v - 3*p + 46 = 79. Which is greater: b or v?
b
Suppose 3895*i - 18 = 3889*i. Is i > 19/5?
False
Let p(h) = h - 34*h + 13 + 0 + 2*h**2. Let n be p(15). Is n > -33?
True
Let k be ((-17)/(-34))/(4/(-8)). Let v be (-2 + 1)*4/80. Which is greater: v or k?
v
Let c = 7.3 + -32.3. Is -0.1 > c?
True
Suppose 5*s - 17 = 5*d + 3, s - 16 = 5*d. Is s >= 449?
False
Let i be 3*(-386)/(-9)*3. Let c be i/536 - (-2 + 44/16). Which is smaller: c or 1?
c
Let d = -0.0213 + -3.9787. Is d != 3?
True
Let f be 5*3*17/((-119)/63). Which is smaller: f or -942/7?
f
Let x = -9 + -5. Let z = -730 - -715. Is x equal to z?
False
Let o be (-2 - 21/(-10))*(-83 - -79). Is o >= -480?
True
Let r = -843 - -879. Let s(x) = 9*x. Let m be s(4). Is m at most as big as r?
True
Let u = -2 - -1. Let a = 229 - 1379/6. Is u at most a?
True
Let i = -169 + 170. Let w be 2*4 + 6/(-3). Let t = w - 51/8. Which is smaller: i or t?
t
Let j be -5*(-2)/(-12) - (-32361)/66330. Which is smaller: 0 or j?
j
Let y be 4 - (-66)/(-18) - (-13)/(-3). Let s = -4 - y. Let c = 127 + -3936/31. Are c and s non-equal?
True
Let n(j) = j + 4. Let q be n(10). Suppose -5*o + 36 + q = 0. Let s be (28/o)/(4/20). Are s and 15 unequal?
True
Let d be -1 - 7/3*1. Let o = -655 + 651. Is d not equal to o?
True
Let z = 25.5 - 27.68. Let t = -0.16 - z. Let j = t - 0.02. Does j = 1?
False
Suppose -3*y + 0 = -2*g - 2, -4*y - 23 = g. Let l(t) = t**2 + 6*t - 9. Let d be l(g). Let u be (-18)/14 + d/(-7). Are u and -9/4 unequal?
True
Let h = -0.07 + -0.12. Let y = -1.19 - h. Do 10 and y have the same value?
False
Suppose 0 = 230*u - 218*u - 1212. Which is greater: 1110/11 or u?
u
Let y = -53 - -213/4. Suppose 5*u + v = 5*v - 21, -u + 2*v - 9 = 0. Is u != y?
True
Let p = -32.1 - -18.5. Which is smaller: -0.2 or p?
p
Let j be (-5)/40*1 + 125/360. Is -14 greater than or equal to j?
False
Suppose 2*b = 23 + 31. Let v be -1*3/14*36/b. Which is smaller: v or -4?
-4
Suppose -2*x + 39 = y - 36, -3*y = -2*x + 87. Let l = x + -37. Let f be (-6)/21 - (-38)/(-14). Is l > f?
True
Suppose o = -3*o - f - 336, -f - 84 = o. Which is smaller: -82 or o?
o
Suppose 0 = 5*h - h. Suppose -4*j + 48 = 2*y, 2 = -h*y + y. Let x = j - 10. Is x less than 3?
True
Let s = 150505/183 - 2467/3. Is s >= -1?
True
Let k be ((-3)/(18/465))/(3/(-6)). Is 155 bigger than k?
False
Suppose -2*n - 57 + 57 = 0. Is n greater than -5/52?
True
Let a(m) = -m**2 - 10*m + 24. Let q be a(-12). Suppose 0 = -3*f + x - 17, q = f - 2*x - 0 + 14. Which is bigger: f or -16/3?
f
Suppose 7*s = 31*s - 24. Which is bigger: 2/91 or s?
s
Suppose 2*z - 4 = 0, 13 = -2*g + 4*z + 7. Are 24/23 and g equal?
False
Let o = 180.7 + -181. Is o >= -51?
True
Let y = 30 + 59. Let x be 3 - (y - 1) - (-2 - -3). Which is smaller: x or -87?
-87
Let m = -44958/67 - -671. Let y = -467/134 + m. Suppose 4*b + 23 = i + 6, 3*i + 4 = b. Which is bigger: y or b?
y
Let w = 305 - 244. Is 60 smaller than w?
True
Let l = -94 + 56. Let b = l - -38. Which is smaller: -1/21 or b?
-1/21
Suppose s - 11 = 4*q, 0*q = 5*q - 4*s. Let c be (-9 - (6 + -4)) + (-3 - q). Which is bigger: c or -11?
c
Suppose -88*a + 74*a = -14. Are a and 37/20 equal?
False
Suppose 0 = q + 3 - 4. Suppose 42 - 50 = 8*u. Does u = q?
False
Let a be (-3*2/21)/(24/(-3996)). Is 49 smaller than a?
False
Let u be 3/12*256/192. Is u at least 130?
False
Let r be (400/88 - 8) + 8/2. Which is bigger: 0 or r?
r
Suppose -9*j = -14*j + 10. Let f(a) = a**3 - 5*a**2 + 5. Let o be f(4). Let b = o - -15. Which is smaller: j or b?
j
Suppose -3*i + 0*i - 5*o = -25, -5*i + 3*o + 19 = 0. Let k(s) = s**3 + 19*s**2 - 1. Let c be k(-19). Which is smaller: c or i?
c
Let b(o) = -o - 5. Let v be b(9). Let z = 16 + v. Suppose -3*k = -z*k. Which is smaller: -3/7 or k?
-3/7
Let b be (0 + 4 + -5)*-1. Let s be b/4 - 119/28. Which is bigger: s or -2?
-2
Let u be ((-13)/(117/(-7146)))/(-8). Is u greater than or equal to -98?
False
Let i(h) = 3*h + 71. Let l be i(-24). Which is bigger: l or 2/1073?
2/1073
Let r = 2/55 + -116/165. Suppose -18*d = -29*d + 154. Let k = d + -15. Which is greater: r or k?
r
Suppose 0*y + 89 = 2*y - u, 2*y - 2*u = 86. Let h = -49 + y. Is -7 greater than h?
False
Suppose 0*t - 2*t = 0. Let y = -3 - -49. Let j = y + -55. Which is greater: t or j?
t
Let a(p) = p**3 - 4*p**2 + 4*p - 10. Let w be a(3). Let h(l) = -l - 5. Let u be h(w). Which is bigger: 4 or u?
4
Let h = 58.19 - 58. Let p = h - -4.81. Is p <= -1/3?
False
Let c(r) = -r**3 + 4*r**2 - 2*r + 3. Let d be c(3). Which is bigger: 12 or d?
12
Suppose 3*n = -3*j + 5*j - 24, -66 = -4*j - 3*n. Is 18 at most j?
False
Suppose -4*q - 3*t + 7 = 0, -12 = q 