
Let i be ((-52)/(-20))/(1/5). Suppose -3*a - i = -4. Which is smaller: a or -8/5?
a
Let t(m) = -m**3 + 6*m**2 - 6*m + 3. Let q be t(5). Let i be (q/14)/((-15)/60). Suppose v + 3 = -3*j, v - 2*v = 5*j + 3. Are j and i equal?
False
Suppose 0*r + 2 = -2*r. Suppose 2*z + z = 0. Suppose y + 8 = -3*c, 8 = -5*y + c - z*c. Is r < y?
False
Let j = -0.056 - -3.056. Which is smaller: 1 or j?
1
Let c be (-1)/(((-4)/(-10))/(1776/40)). Which is bigger: -112 or c?
c
Let l(g) = -15*g**2 + 27*g + 2. Let d(w) = -7*w**2 + 13*w + 1. Let q = 2 - 15. Let u(f) = q*d(f) + 6*l(f). Let c be u(7). Which is smaller: -6/13 or c?
c
Let h = 13 - 14. Let f be (0/(-8))/(0 - h). Which is greater: 2/21 or f?
2/21
Suppose -7 = 3*y + 2. Let n be y/((-4)/2 + 3). Which is smaller: n or -1?
n
Suppose 0*u + 10 = 5*u. Let j be 1 + (12/u)/3. Let d be (j/4)/((-5)/(-4)). Which is smaller: d or 1?
d
Let w = 6.03 - 6. Let m = -0.03 + w. Is m at most as big as 0.1?
True
Suppose 5*s + 30 - 395 = 0. Let k = s - 656/9. Is k bigger than -1?
True
Let m = -23 - -38. Is m > 15?
False
Let o = -14/57 - -268/627. Let f = 0.59 - -0.01. Let w = -0.4 - f. Which is greater: o or w?
o
Let j(z) = -z**3 + 4*z**2 + 6*z - 4. Let c be j(5). Suppose -16 = -0*w + 4*w. Let i = w - -3. Is c bigger than i?
True
Suppose 5*t = -2*n - 11, -2*n + 4*t = 3*t - 7. Let j be n/13 - 244/(-104). Does 4 = j?
False
Let o = -80 + 80. Is o bigger than 49?
False
Let u = -39 + 38. Which is smaller: -2/85 or u?
u
Suppose s = 5*f + 6, 5*f - 2*s + 4 = -3*s. Which is bigger: f or -2/137?
-2/137
Let f be ((2 + 4)/(-3))/(90 - -1). Is f > 0?
False
Let c = -23/76 - -1/19. Which is smaller: c or -6?
-6
Let p(a) = -a**2 - 5*a + 6. Let u be p(-5). Suppose 8 = -4*o + u*o. Is 1 < o?
True
Let h = -0.03 + 0.33. Let t be ((-22)/(-8) + -3)*-8. Which is bigger: t or h?
t
Suppose 2*f = -3*v + 12, -8 = 3*f - v - v. Suppose -2*k + 12 = 5*d, 5*k + 2*d - 3*d - 3 = f. Are 0.3 and k equal?
False
Let u = -55.77 - -56. Let k = -0.03 + u. Let m = 0 + 0.1. Which is smaller: k or m?
m
Let y = 5 - 2. Let d = -0.05 + -0.55. Let k = -0.5 - d. Is k greater than or equal to y?
False
Suppose 0 = 5*m - 3*v - 7 - 7, -12 = -5*m + 4*v. Suppose -3*i + 2*i = 2*d + 11, m*i = -3*d - 19. Are 1/4 and i equal?
False
Let y = -1453 - -146755/101. Let v = y - 105/202. Let z = -40 + 39. Is z smaller than v?
True
Let t = -1 - 4. Let m = 4 + t. Is 0 at most m?
False
Suppose 2 = 2*l + 6. Is l bigger than -16/7?
True
Let u = 0.1 + -0.1. Let r = 86.9 + -86. Is u at least as big as r?
False
Let y be (-10)/(-25)*(-5)/4. Let n = 287/45 + -33/5. Are y and n non-equal?
True
Let t be ((-711)/150)/(2/8). Let s = -11947/700 - t. Let p = s - 15/7. Do 1 and p have different values?
True
Let z = 3 + -2. Suppose -14 = -10*a - 4. Is a <= z?
True
Suppose 0*r - 6 = -6*r. Is 3 bigger than r?
True
Let x = 0.2 + 1.8. Let f = 2.1 - x. Is f <= -0.2?
False
Let z = -3 - -1. Let x(o) = o - 2 - 4 - 4. Let u be x(10). Is z at most as big as u?
True
Let p = 75 + -73. Which is greater: p or 3?
3
Let m = 0.023 - -0.077. Is 0.8 less than or equal to m?
False
Let y = -2195/909 - -22/9. Which is smaller: 0 or y?
0
Let l(s) = 1 + 4*s + 1 - 5*s. Let x be l(4). Which is bigger: x or -10/9?
-10/9
Suppose 3 = -9*b + 6*b. Are -1 and b equal?
True
Let k(x) = x. Let s = -7 + 6. Let r be k(s). Is r at least 1/4?
False
Let g = 23/65 - 2/13. Let j(n) = -n**2 + 6*n + 1. Let f be j(5). Let i = f + -6. Is g > i?
True
Suppose -3*p + 2 = 5. Is 1 > p?
True
Let t be 0 + ((-2)/(-1) - 3). Let q = -345/616 - 1/88. Which is bigger: t or q?
q
Suppose -4 = -5*b - 14. Is -1 less than or equal to b?
False
Let h(c) = c**2 + 8*c + 2. Let y be h(-9). Suppose y = i + 5. Let b be 16/i - 0 - 3. Does 0 = b?
False
Let t = 81 + -82. Let n(j) = -j**3 - 7*j**2 - 2*j - 5. Let w be n(-7). Which is smaller: t or w?
t
Let z = -11 + 11.2. Which is greater: -0.05 or z?
z
Let i be ((-3)/((-3)/2))/(49*2). Is 1 less than or equal to i?
False
Suppose 3*q + 9 = -3*a - 39, 5*a = 5*q + 70. Is -9 greater than or equal to q?
True
Let l(n) = -n**3 + 7*n**2 - 4*n + 3. Let k be l(6). Let a be k/(-12) - 3/(-12). Which is smaller: a or -2?
-2
Suppose -1 = -2*g + 15. Suppose v + 4*v + 460 = -5*f, -3*f = -3*v - 282. Let b be (-8)/v*6/g. Which is smaller: b or -1?
-1
Let t = 3.1 - 2.6. Which is bigger: -1 or t?
t
Let h(f) = f**2 - 21*f - 12. Let p be h(19). Is p >= -49?
False
Let u = 96 + -101. Suppose 0*i = -4*s - 3*i + 10, -5 = 5*s - 5*i. Which is smaller: s or u?
u
Let s(h) = h**2 - 7*h + 4. Let y be s(6). Suppose 12 = -2*r + 22*c - 19*c, 2*r + 4*c - 2 = 0. Is y at most as big as r?
False
Let x(i) = i**3 - 15*i**2 - 2. Let f be x(15). Which is bigger: -4/3 or f?
-4/3
Let m(y) = y - 1. Let b(f) = -f**3 - 5*f**2. Let s(w) = b(w) + 5*m(w). Let l be s(-6). Let u(p) = -4*p - 57. Let a be u(-14). Is l equal to a?
False
Let g be 11/44 + 19/(-124). Which is greater: 0 or g?
g
Let k(v) = 8*v + 31. Let z be k(-4). Is z at most -3/4?
True
Suppose -9 = 8*x - 5*x. Is x bigger than -5?
True
Let b be 12/(-54) - 218/(-9). Let a = -1 + 4. Let v be (-17)/b + 1/a. Which is greater: 0 or v?
0
Let v(f) = f**3 + 3*f**2 - 4*f - 3. Let j be v(-4). Let o be (195/(-169) - 4/(-26))*1. Are j and o unequal?
True
Let x(u) = -u**3 - 6*u**2 - 2*u - 8. Let n be x(-6). Let z be (-18)/27 - n/(-6). Is -1/6 < z?
True
Let p = 5 - 3. Let w = 15 - 0. Let x be 6/w + (-39)/(-15). Which is greater: p or x?
x
Let s(k) = k - 3. Let z be s(7). Let b be 1/(-1)*(-4)/(-16). Do b and z have different values?
True
Suppose 2*u = 3*u - 3. Let h be (-33)/(-15) + 2/(-10). Is h > u?
False
Let o = 2 + 1. Let u = -2355/7 - -338. Which is smaller: u or o?
u
Let f = -0.08 - 5.92. Let k = f - -5.8. Let a = 79/3 - 26. Which is smaller: a or k?
k
Suppose -h + 5 = -4. Let c = -4 + h. Let q be 1 + -1*2/c. Is 1 != q?
True
Let t = 0.14 - 3.24. Let l = t - -3. Let c = -81 + 84. Is l not equal to c?
True
Let s = -4.4 + 5. Let j = -0.4 + s. Let k = j + -0.2. Which is smaller: k or -0.4?
-0.4
Let h(i) = -i**2 - 6*i + 8. Let l be h(-7). Suppose j - l = k - 3*k, 3*k + 3*j + 6 = 0. Let o be 4/16 + 3/4. Which is smaller: o or k?
o
Let l = -0.155 - -0.055. Which is bigger: l or -14?
l
Suppose -o - 2 = -5*f, 0 = f - o + 2. Suppose -2 + 30 = 4*x + 5*h, -2*x = 3*h - 16. Suppose -x*g + g = -1. Is f greater than g?
False
Let u(p) = p**2 - 7*p + 3. Let j be u(7). Let f(z) = -z**2 + 3*z + 2. Let m be f(j). Do 3 and m have the same value?
False
Suppose 4*c + 4 = -2*h + 3*h, 3 = -3*c + 3*h. Is c at most as big as 2/11?
True
Let v be (0 - -3)*(-12)/198. Which is smaller: v or 17?
v
Let r(t) = 3*t**3 - 4*t**2 - 8*t + 8. Let j(v) = -4*v**3 + 4*v**2 + 9*v - 9. Let q(a) = 2*j(a) + 3*r(a). Let l be q(5). Which is smaller: l or 2?
l
Let c be (4/(-32))/(1/2). Suppose 0 = -2*k - 5 + 15. Suppose -5*z - 10 = k*q, -3*q = -2*z + 12 - 1. Which is bigger: c or z?
z
Suppose 0 = -3*c + 3*b, 4*c - 4*b = -3*b + 6. Suppose -c*j = -6*j. Which is greater: 1/4 or j?
1/4
Suppose 2*k = 3*m + 2*m - 3, 5*k + 16 = 4*m. Let r(f) = f + 11. Let b be r(-9). Let j be b - (3 + m + -1). Which is smaller: j or 1/3?
1/3
Let k = 3.8 - -0.2. Let d = 5 - k. Is d less than or equal to -1/10?
False
Let a(y) = -3*y - 19. Let f be a(-9). Let m(w) = -w**3 + 2*w**3 - 9*w**2 - 2 + 3*w + 6*w. Let k be m(f). Is 6 != k?
False
Let x be 2*3/(-4)*2. Let a(j) = 2*j + 6. Let b be a(x). Is 3/4 equal to b?
False
Let b = -15 + 11. Suppose -3*i + 3 = -4*i. Are i and b non-equal?
True
Let v = 30 + -29. Let z = v - 3/2. Let y = 0.6 - -2.4. Which is greater: y or z?
y
Let b be 13/(1495/(-462)) + 4. Which is greater: -1 or b?
b
Let y(k) = k**3 + 7*k**2 + 6*k - 6. Let j be y(-6). Let s be 20/(-12)*j/(-8). Is s >= 0?
False
Let y = 89/7 + 94/7. Let t = 2362/77 + y. Let r = 57 - t. Which is smaller: -1 or r?
-1
Let j = -151/279 + 3/31. Let b = -0.6 - 0.4. Which is smaller: j or b?
b
Let k be (6/141)/((-4)/(-10)). Let f = k - -833/564. Let c = -5/6 + f. Is c at most as big as 0.1?
False
Let h = -45 + 83. Let l = -22 + h. Is l less than or equal to 16?
True
Let l = -3.86 - -4. Let q = 0.04 - l. Is 1 greater than q?
True
Suppose -2*v + 16 - 2 = -5*i, i = -v. Which is greater: 1 or v?
v
Suppose 0 = -3*q + 3*b - 9, 5*q + 3*b - 1 = 0. Does -1 = q?
True
Let a be 2/(-3) - 760/399. Which is smaller: a or -3?
-3
Suppose 7*m =