is greater: n or t?
t
Let n be 10/25*(-25)/1. Let l = 9 + n. Let a be (-6)/(-4)*1/6. Which is smaller: l or a?
l
Let l = 70 + -54. Which is greater: 46/3 or l?
l
Let h = -2 + 3. Let j = 58 + 14. Let o be (-34)/j - (-8)/36. Which is smaller: h or o?
o
Let a = -12 + 16. Is a equal to 4?
True
Let u be ((-1)/2)/(4/6). Let a be 4/(-6)*3/2. Is a not equal to u?
True
Let v = 1 - 4/7. Suppose -j + 2 = 1. Is v greater than or equal to j?
False
Suppose -6*i - 1126 = -3*i + 5*b, b = i + 362. Let p = 2573/7 + i. Suppose -t = 3*w - 4 - 4, 0 = -4*w + 8. Is p bigger than t?
False
Let n(a) = 6*a**2 + 6*a + 6. Let t(k) = k**2. Let i(m) = n(m) - 5*t(m). Let l be i(-5). Is l > -0.6?
True
Let l be (-3)/18 - (-98)/(-132). Which is smaller: -1 or l?
-1
Suppose -3*z + 4*z = 0. Let w be (0 - 2)/(-43 - -5). Which is smaller: z or w?
z
Let w = -0.162 + 0.042. Which is greater: -2/7 or w?
w
Suppose -8 = 2*u, -u + 0*u + 1 = 5*n. Let x = -63859541/807708 - -9175/116. Let g = x - -6/211. Which is greater: n or g?
n
Let z = -17 - -34. Are 17 and z non-equal?
False
Let v be (-20)/12*(3 + 0). Let j = v - -8. Suppose 17 = 3*x + 5. Which is greater: x or j?
x
Let q = 4 + 9. Which is bigger: 0.1 or q?
q
Suppose 0*c + 2*w = -2*c, 3*c - 2*w + 5 = 0. Suppose 2*s = 4*n + 192, -2*s - 30 = n + 2*s. Let q = n + 277/6. Which is bigger: c or q?
q
Let w = -35 - -106/3. Let v = 2 + -2. Which is smaller: w or v?
v
Suppose 21*z = 13*z - 112. Are -8 and z equal?
False
Suppose 9*q = -202 - 113. Which is smaller: -34 or q?
q
Suppose 2*q = 3*v + 4, -3*q - 3*v + 6 = -v. Suppose q*w = w. Which is bigger: -2/3 or w?
w
Let i = -12717/23 - -553. Which is bigger: i or 1?
1
Let y = -158/3 + 52. Suppose 5 = 3*h + 2. Let x = -1 + h. Which is bigger: y or x?
x
Let m = -52/69 + 2/23. Is m <= 0?
True
Let p = 0.2 + 0. Let h = 4 + 0. Suppose 4*a = -2*d - 8, -h*a - 4 - 2 = d. Is a at most p?
True
Let m be ((-3)/(-1))/((-3)/6). Let j = -4 - m. Suppose 12 = -4*h - j*z, 3*z + 8 = -3*h + 2*z. Do -3/4 and h have the same value?
False
Let o be 1 - (1 - 4/6). Let n be (0/(-2))/(3 + -5). Suppose 0 = -2*w - n*w. Is o > w?
True
Suppose 0 = 5*f, -13 = -3*i + 3*f + 2. Suppose 0 = -i*j + 2*b + 15, -7*j + 5*b = -3*j - 29. Is 4/17 smaller than j?
True
Let i be (-3)/(-6)*(-30 - 6). Is -17 at most i?
False
Suppose 3*b - b = 210. Let q be b/28 + 6/(-8). Is 4 greater than q?
True
Suppose -5*c = 7*c + 108. Are c and -12 equal?
False
Suppose 0 = -0*t + 2*t. Let g = -131 + 58. Let v = -655/9 - g. Are t and v equal?
False
Let w(a) = -a**3 - 7*a**2 - a - 5. Let m be w(-7). Let x be (-1)/(m/(-2)) + 1. Let t be 22/18 - (-2)/(-9). Which is bigger: t or x?
x
Let x = 0 - -3. Let j be (-3)/(-5)*2/x. Which is smaller: j or 1?
j
Let j(z) = -9*z**2 + z - 2. Let k be j(1). Is -8 equal to k?
False
Let p = -15 + 22. Let i = 1 - 1.12. Let d = -0.22 - i. Which is smaller: p or d?
d
Let i(p) = p**2 + 6*p + 6. Let q be (2 - (3 - -1)) + -2. Let v be i(q). Let b be (-1)/(v + (-6)/(-2)). Does b = -1?
True
Suppose 0 = 4*z + 4*o, 3*z - 2*o + 0*o = 10. Is 3 at least z?
True
Suppose -3*n - 3*f = -9, 3*n - 4*f = -0*f + 2. Let a be -3 + -58*n/(-40). Which is bigger: 1 or a?
1
Let o be (-1 + 2/(-4))/6. Is o at least as big as -1/10?
False
Let c = 19 - 15. Which is smaller: c or 7?
c
Suppose 2*i = -3*i - 45. Let v be i*(-1 - (-2)/6). Suppose l - v = 2*b + b, 0 = -l - 3*b. Is l bigger than 3?
False
Let f be (((-3)/(-60))/((-2)/(-12)))/(-3). Suppose -5*w + 5 = -0*w + 5*d, -3*d + 9 = -3*w. Is f <= w?
False
Let h = 43 - 20. Suppose 2*w - 3*x = -h, x + 19 = -4*w - 20. Let p be (12/w)/((-15)/50). Is p less than 5?
True
Let b = -94 - -187/2. Is b bigger than 2.9?
False
Let j(i) = -i**3 + 5*i**2 - 5*i - 10. Let l be j(5). Is l less than or equal to -36?
False
Let v = 6 + 0. Suppose b - 4*b = v. Let l(a) = a**3 + a**2 + 1. Let z be l(b). Are -2 and z nonequal?
True
Let g be 3/(-5) + 36/160. Is g smaller than -1?
False
Let v = -38.28 - -38. Is v < 0?
True
Let w = -94 + 52. Let d = -128/3 - w. Which is greater: -1 or d?
d
Suppose 0 = -2*b + b + 6. Let v = -4 + b. Suppose -1 = -0*o - o. Is v <= o?
False
Let v = 2 - 3. Let r be 3/(-462)*102/(-4). Let n = r - 1/44. Which is bigger: n or v?
n
Let g = 392.99 + -396. Let w = g + 3. Which is bigger: w or -0.1?
w
Let k be (-8 - -5)/(3/(-2)). Suppose 4*w - 24 = -5*d + 2*w, 3*w = -k*d + 14. Which is greater: 3 or d?
d
Let f = -0.13 - 8.87. Let d = -8 - f. Are d and 1 nonequal?
False
Suppose w - 2 = 16. Let q be (-3)/w*(-1 + 0). Is q smaller than 3?
True
Suppose 5*s + 5*z + 5 = 0, -2*s = -3*z - z + 2. Let o be (3*s)/((-24)/(-32)). Is -3 >= o?
True
Let m be 20/8*3/135. Which is smaller: 1 or m?
m
Let n be (7/(-2) - -4)*-2. Which is greater: n or 2/59?
2/59
Suppose -4*q + 4 = c - 0*q, 5*q = 3*c - 46. Suppose 2*f + 2*f = -c. Does f = -2?
False
Let x = -7 + 6. Which is smaller: x or 13?
x
Suppose -4*s = -5*i - s + 21, -s - 2 = 0. Suppose 0 = 3*r + i - 0. Let u = 3 + -5. Which is smaller: u or r?
u
Let d = 0.14 - 0.08. Let p = d - 1.06. Does p = 1?
False
Let o = 0.319 - 8.319. Let m = 0.1 + 0. Which is smaller: m or o?
o
Let m = 1 + -2. Let h be m/(-3)*0/(-4). Is h not equal to -2?
True
Suppose -5*b + 13 = -272. Which is bigger: 1 or b?
b
Let n be 28/6 - (-2)/(-3). Let p = -3 + 3.1. Is p bigger than n?
False
Let m(s) = -s**3 + 11*s**2 + 12*s - 4. Let r be m(12). Which is smaller: -7/2 or r?
r
Suppose 2*q = -q. Is q greater than 1/26?
False
Suppose u - 8 = -3*u + 4*f, 0 = -3*u + f. Suppose 4*g - 19 = -91. Let a be 3 + (104/g - -3). Which is smaller: u or a?
u
Suppose 8*h - 18 = 5*h. Suppose -h*f + f = -20. Suppose -2*g - 2*s - s = -5, -5*g - 2*s + 18 = 0. Is g greater than or equal to f?
True
Suppose 2*i = 4*i - 24. Let d be ((-12)/i)/(2/(-4)). Which is greater: d or 0.01?
d
Let b = 4 + 6. Let a(v) = v**2 - 11*v + 9. Let s be a(b). Let c = -1 + 0. Do s and c have the same value?
True
Let y = -1/141 - 130/1551. Which is smaller: y or 2/5?
y
Let b(m) = m**2 + 17*m + 32. Let k be b(-15). Let n be 1/(-4) - (-13)/20. Which is smaller: k or n?
n
Let w = 86/7 + -12. Let q = 12 - 10. Which is greater: q or w?
q
Suppose -12 = 4*d - 2*d - 2*i, -2 = -3*d - i. Suppose 0 = -u - 2*u + 12. Suppose o = -u*o - 4*k - 25, -2*o = 5*k + 27. Is d > o?
False
Let x be (0 - (-129)/45) + -3. Let c be (-5 - -11)*1/9. Is c at most as big as x?
False
Let u = -0.15 - 0.85. Is u less than 0.1?
True
Let q = 4.2 + -4. Let m = 12 - 11. Which is bigger: m or q?
m
Suppose 5*c - 44 = c. Let f = 22 + -10. Which is bigger: f or c?
f
Let d = 17 - 15. Suppose -d*s = 3 - 5. Let f = -269/5 + 54. Is f bigger than s?
False
Let k = -34 - -32. Which is smaller: 1 or k?
k
Let h = 0.54 + -0.54. Which is bigger: h or 3?
3
Suppose -3*t = -13 + 19. Which is smaller: -14/9 or t?
t
Let s(d) = 0 + 0 - 1 + 5*d**2. Let u be s(1). Which is bigger: 5 or u?
5
Let w be -1 - 1 - 32/(-20). Suppose -4*j = -4*s - 0 + 4, 4*s + 3 = -3*j. Which is bigger: j or w?
w
Let l(j) = -j - 7. Let d be l(-6). Let w = d + 4. Suppose -w*h = -6*h. Which is greater: 1/2 or h?
1/2
Let l = 3 + -3. Let w(a) = a**3 + 6*a**2 + 6*a + 2. Let v be w(-5). Let d be (9/(-120))/(v/(-12)). Is d at most l?
True
Let y = 6 - 6.4. Let m = y + 1.4. Let b(f) = 2*f**3 - f. Let i be b(1). Is m > i?
False
Suppose 6*r - 2*r = -20. Which is smaller: -2 or r?
r
Let b(y) = -y**3 + 6*y**2 - 6*y - 3. Let d(m) = m**2 + 2*m - 3. Let k be d(2). Let v be b(k). Is v != -9?
True
Suppose -5*q + 3*q - 300 = 0. Let v = q - -1052/7. Let m = 0 + -2. Which is greater: v or m?
v
Suppose -l = 3*l - 24. Let c = l + -7. Is 2/25 greater than c?
True
Let y = 12 - 12. Let w = -12 + 12. Are w and y unequal?
False
Let o = -4 - -1.7. Let q = 2.5 + o. Is 0.7 <= q?
False
Let l = -15 - -20. Let y = 1 + -6. Let v = 9 + y. Which is greater: l or v?
l
Suppose 2*b + 5*n = 5*b - 13, 0 = -n - 2. Let r be ((-1)/3)/(13/3). Is b less than or equal to r?
False
Let m(z) = z**3 - 2*z**2 - 3*z + 1. Let w be m(3). Let q = w + -1. Is q equal to 2?
False
Let d = 54 - 62. Which is smaller: -9 or d?
-9
Suppose u = 4*u + 3. Suppose -5*v + 2*p + 6 = -3*v, -1 = -v - p. Suppose v*d = 2*y - 2 - 4, -2*y - 3*d = 9. Which is smaller: u or y?
u
Let f = 50.9 - 59. Let r = 8 + f. Which is greater: -0.14 or r?
r
Let i = 303 - 302. Let l be (20/(-9) - -2)/(-2). Is i != l?
True
Let h be (-6)/2 - 