rue
Let v be 0 + -4 + (-9)/(-2). Let y = -3 + 5. Which is smaller: y or v?
v
Let i = -20/3 + 6. Which is smaller: i or 0?
i
Suppose 3*x - 5*c = -4, 3*c + 4 = -3*x - 8. Is -3 greater than or equal to x?
True
Let j = -46 - -70. Let w = -32 + j. Is -9 bigger than w?
False
Suppose -4*o = -2*o. Suppose -u - 4*u = o. Let t = -9/8 - -5/8. Does u = t?
False
Let x be (-4)/(-10) + (-3)/(-5). Let o be ((-74)/1295)/(2/(-10)). Which is smaller: o or x?
o
Let a = -5/66 + -1541/132. Is -13 at most a?
True
Let m(z) = z - 8. Let h be m(7). Let n = 3 - h. Is n greater than 4?
False
Let y = 5 + -5. Suppose y = 3*j + 4*l + 6, 10 = -4*j - j - 3*l. Is j smaller than -1?
True
Let s = 1.3 - 2.7. Let u = -1.3 - s. Which is smaller: u or 0.02?
0.02
Let y = 547 + -3275/6. Is y at most 1?
False
Suppose -5*y = 3*l + 7, -5*l - y + 6*y + 15 = 0. Suppose -2*i - o + 13 = 0, -5*i + 3*i - 4*o = -28. Suppose 20 = i*j, 3*q - 5*j + 25 = -0*q. Does l = q?
False
Let t = -1 - -6. Let b(v) = v**2 - 6*v + 5. Let o be b(t). Is -1/3 at least o?
False
Let x = -2.9 + 1.8. Let k = 0.6 + x. Let a = k + 0.5. Is a at least as big as 4?
False
Suppose -5*l - 6 = 2*j, -2*j - 2*j - 5*l = 2. Are 10/9 and j equal?
False
Let s(t) = -t**3 + 3*t**2 + 7*t - 6. Let l be s(4). Suppose -l*v + 4 = -2*v. Let g be (-2)/(-4)*0/v. Is 1 less than g?
False
Let p(y) = y**3 + y**2 + y + 1. Let a be p(0). Let b be 3*(a/(-3) + 0). Let q be ((2 - 0) + -2)/2. Which is bigger: b or q?
q
Let r be 0/1*(1 + 0). Let i be r + 6 - 1*2. Let l = i - 4. Is l != -2/7?
True
Suppose -10*a + 660 = 210. Is a < 46?
True
Let n(w) = -w**3 + 3*w**2 + 8*w + 5. Let j(h) = -h**3 - h**2 + h + 1. Let g(v) = 2*j(v) - n(v). Let m be g(-4). Are 5 and m nonequal?
False
Let t = 9 - 12. Let h = t + 3.4. Let k = -0.3 + h. Which is greater: k or 3?
3
Let p = 34/3 - 45/4. Is 1 at least as big as p?
True
Let h be 12/8 + 3/(-6). Are 10/9 and h equal?
False
Suppose -5*h + 40 = -5*s, -18 + 46 = -3*s + 5*h. Let o be (-29)/(-36) + s/24. Which is bigger: -1/3 or o?
o
Let h = -3.7 + -1.3. Let v = h - -5.4. Let c = v + -0.2. Which is greater: c or -1/4?
c
Let j(f) = f - 2. Let o be j(6). Let i = o - 6. Let s be 4/(-20) + i/5. Which is smaller: s or 0?
s
Let k = -2 + 4. Let v(c) = 4*c**2 - c. Let b(r) = -7*r**2 + 3*r - 1. Let n(m) = 3*b(m) + 5*v(m). Let h be n(k). Is -1/4 smaller than h?
True
Let r(w) = w**2 - 4*w - 2. Let b be r(4). Let t be b/(-4) - (-2)/4. Let y = 1044/5 + -209. Is t smaller than y?
False
Let m = -0.07 - 1.13. Let r = -137.9 - -138. Do m and r have different values?
True
Let d be (4 + 120/(-28))*1. Is d less than or equal to 4?
True
Suppose -4*i - 2 = 2*t + 2, -2*t - 2*i = 2. Which is greater: -2 or t?
t
Let l be (2/1)/(-8) - 21/(-180). Let j be (-1 - -3) + (0 - 2). Which is smaller: l or j?
l
Let p = -7 - -7.3. Suppose 0 = -2*t - 4*j, -t + 0*t + 1 = j. Suppose 0 = -r + t*i + 3 + 5, 0 = -4*r - i - 13. Which is smaller: r or p?
r
Let x(y) = -y**3 + 9*y**2 - 7*y - 6. Let w be x(8). Let r = -3 + w. Is 3/8 greater than r?
True
Let m be (-2)/(-3) + (-2)/3. Let k = 34245/527 - 1080/17. Let j = 771/403 - k. Is j less than m?
False
Let v(x) = -2*x**3 + 3*x**2 - x - 1. Let g be v(2). Let r be 18/2 + 6/3. Let s = g + r. Is s at least 3?
True
Suppose 0*x = -4*x. Which is smaller: x or -24?
-24
Suppose 5*r = 3*l - 23 - 14, 0 = -5*l + 5*r + 45. Is l != 2?
True
Suppose 0*a = 2*a. Let c be (-2)/4 - (-30)/52. Which is smaller: c or a?
a
Let r be (36/21)/(2/7). Suppose r + 6 = -4*w. Let i(u) = u**3 - 6*u**2 - 3. Let x be i(6). Are w and x nonequal?
False
Suppose -34 + 7 = 3*f. Let k = 12 + f. Which is smaller: k or 2?
2
Suppose n + 5*s + 14 = 5*n, -4*n + s + 6 = 0. Is -1/89 less than or equal to n?
True
Let t(m) = -m**3 + 4*m**2 - 3*m + 1. Let z be t(2). Are z and 5/3 non-equal?
True
Let a = -4 - -6. Let m(d) = d**2 + 5*d - 1. Let p be m(-5). Let g be p/5 - 3/(-5). Which is greater: a or g?
a
Let y = 0.04 - 5.04. Let b = 4 + y. Is 4 at least b?
True
Let s be 4*(2 + 3/(-2)). Which is smaller: 8/9 or s?
8/9
Let z be 9/(-143) + (-4)/(-26). Is z less than or equal to 1?
True
Let h = 43 - 333/8. Which is smaller: h or 2?
h
Let x = -13 - -12. Suppose 0 = 5*g - 4*g. Is g not equal to x?
True
Let c = 12 + -13. Which is bigger: -3/8 or c?
-3/8
Let m = 0.07 - -2.93. Let y = 0.5 - m. Let a = -0.5 - y. Is a at most as big as 0?
False
Let n(g) = g**3 - 6*g**2 - 6*g + 3. Let l be n(7). Suppose -l = 2*u - 4*u. Suppose 3*z + u*w + 1 - 10 = 0, 0 = 5*w - 15. Is -2 < z?
False
Let i = -7 + 0. Let z = i + 9. Is z equal to 4?
False
Let l = 111 - 70. Is l less than 40?
False
Let k be ((-84)/(-8))/(6/4). Let m be 38/48 + k/21. Which is smaller: 2 or m?
m
Let j(r) = r**3 + 4*r**2 - 3*r - 3. Let q be j(-4). Let y = 10 - q. Which is smaller: y or -1/6?
-1/6
Let h = 14 + -14. Let q be (-4)/(-10) - 336/990. Which is bigger: q or h?
q
Let m be -14*((-22)/4 + 2). Let g be (-14)/m + 416/(-14). Let v be (3/g)/((-1)/(-4)). Is v >= 0?
False
Let o be -1 + (0 - 1) - 12. Is -13 at least o?
True
Suppose -b - 2 = s, 3*b + s = -s - 8. Let o be (4/10)/(9/(-60)). Which is smaller: o or b?
b
Suppose 0 = 4*v - 6 - 10. Suppose -r = -2*g + v + 1, g = -r - 2. Do g and 2 have different values?
True
Let g(q) = q**3 - 5*q**2 + 6*q - 7. Let z be g(4). Is z greater than -4?
True
Let v = -54 - -46. Which is smaller: 5 or v?
v
Let n be 14/(-12) + 3/18. Suppose -4*c + c = 0. Does c = n?
False
Suppose -2*c - 3*c = 5. Which is smaller: c or -3/4?
c
Let q = -19/5 - -166/45. Is -1 <= q?
True
Let r = -7141/36 - -199. Let b = 8/9 - r. Is b less than 3/5?
True
Let r(w) = w**3 + 5*w**2 - 6*w + 4. Let n be r(-6). Suppose 0 = -3*a - 5*k + 20, 0 = n*a + 4*k - 13 - 3. Is a < 1/14?
True
Suppose 5*r - 9 = 2*t, -r - 3*t + 3 = -4*t. Let l be r/(-2) + 2/4. Let h be 2 - (-3)/((-135)/84). Which is bigger: h or l?
h
Let m = 13 + -6. Let o(p) = -p**3 + 10*p**2 + p - 2. Let y(d) = 2*d + 10. Let q be y(0). Let u be o(q). Which is greater: u or m?
u
Suppose -4*c - 8 = -20. Suppose 4*v - x = -7, -2*x = c*v - 0*x - 3. Is v at least as big as -2?
True
Let m be 2*-12 - 0/(-5). Let n be ((-6)/28)/(9/m). Is n >= 0?
True
Let f = 0.6 + -0.67. Let q = 0.05 + f. Which is smaller: 1 or q?
q
Suppose -47*h = -46*h + 14. Suppose 15 = 2*m + 41. Which is smaller: h or m?
h
Let z be (0 - 4)/(-2) + -2. Let h(s) = -s + 7. Let w be h(7). Is z greater than or equal to w?
True
Let q be 4/3*6/44. Which is smaller: 1 or q?
q
Let y = 297187/4176 + 5/4176. Let d = 101 + -172. Let i = d + y. Are 1 and i non-equal?
True
Let t(f) = 4*f - 5. Let n be t(2). Suppose n*b + 30 = -2*b. Which is bigger: -7 or b?
b
Let q = 2 - -2. Suppose 0 = o + 20*o - 105. Does o = q?
False
Let j = -7 - -9. Suppose -7 = -3*y - o, -7*y + j*y - 4*o + 14 = 0. Is -0.2 greater than y?
False
Let w be 14/4 + 3/(-6). Let z = w - 3. Suppose 5*l = -z*l. Which is greater: l or -2/13?
l
Let u = 13 + -9. Is 4 bigger than u?
False
Let g be (-2)/(-9) + (-9)/((-243)/48). Which is smaller: 17/5 or g?
g
Let q = -14 + 5. Let j be 3/q*(-3)/7. Let a = -30 + 31. Is a less than j?
False
Let a(z) = -z**3 - 8*z**2 + 2*z + 10. Let i be a(-8). Let q be 8/12 + 4/i. Suppose q = -5*w - 0*w + 15. Which is smaller: 4 or w?
w
Let m(i) = -6*i**3 + 2*i + 1. Let l be m(-1). Suppose -3*z + 6 = 0, -3*c - 2*z = -38 + 10. Suppose 3*h - l*h - 8 = 4*n, n - 2*h = c. Which is bigger: n or 1?
1
Let j = 24 + -19. Suppose -j*m + m = 8. Which is bigger: m or -4/5?
-4/5
Let c be 3 - (1 - (-1821)/24). Let v = 74 + c. Is v greater than 0?
True
Let w(p) = -p**3 + p**2 + p - 1. Let f be (1 - 1)/((-4)/(-2)). Let m = 1 - f. Let y be w(m). Is y smaller than -1?
False
Let g(l) = 3*l**2 + l + 2. Let i be g(11). Let o = 1886/5 - i. Which is bigger: o or 2?
2
Let r = 18 + -23. Let h(l) = -l - 11. Let m be h(-5). Is r at most as big as m?
False
Let f = -11 - -7. Let x(b) = 2*b**3 + b**2. Let d be x(1). Let u be -1 - (d/4 - 2). Which is smaller: f or u?
f
Let s be ((-28)/(-8) - 4)*-26. Is 12 at least s?
False
Suppose -4*c = 2 - 10. Suppose c - 14 = -4*p. Which is smaller: p or 4?
p
Let g = 365/1369523539 - 6662249971171237/98387940565299. Let w = g + -2/10263. Let m = -68 - w. Which is bigger: m or 3?
3
Let b = 132 + -131. Which is smaller: b or -1/126?
-1/126
Let c = -6.3 + 3.3. Is -1 < c?
False
Let m be (-17)/2 - (-7)/(-14). Is -9 equal to m