 z?
True
Suppose 6 = 3*y - 3*s, 2*y - 6 = 3*s - 0*s. Let k be (9/6)/(1/4). Suppose -k*j + 0 = 6. Is j bigger than y?
False
Let q = 637 + -634. Let m be 52/14 + 2/7. Which is smaller: q or m?
q
Let w = -1.22 - -0.22. Let k(q) = q**3 + 10*q**2 + 10*q + 1. Let g be k(-9). Let o = 12 + g. Is w at least o?
False
Suppose 0 = -2*f - 10, 0*f = -4*i - 5*f - 29. Let q = 633/10 - 55. Let t = 34/5 - q. Is i at most as big as t?
False
Suppose -27 - 197 = 4*p. Is -396/7 greater than or equal to p?
False
Let d be (-92)/(-126) - (-2)/(-7). Let b(g) = 3*g - 1. Let c be b(-1). Let t be (-32)/112 - c/14. Is t greater than or equal to d?
False
Suppose -5*i - 4*h - 384 = -54, -10*i - 690 = 2*h. Is i not equal to -74?
True
Let t(m) = 2*m - 15. Let i be t(7). Let y be (10*i/36)/((-2)/(-6)). Is y greater than -1?
True
Let s(t) = -t**3 - 5*t**2 + 7*t + 6. Let g be 84/7*(-1)/2. Let o be s(g). Which is bigger: 2/53 or o?
2/53
Let t = 72.8 + -83. Let p = t - 1.1. Let i = p + 11. Is 0 greater than i?
True
Let i be (6 - -1) + (48 - 12). Which is bigger: 46 or i?
46
Suppose 6*g = g + 5. Let t(i) = i**2 - 5*i + 4. Let a be t(5). Suppose -a*v = l - 10, 3*l + v - 12 = -2*v. Is l < g?
False
Let m = 54 + -56. Let w = 2170/9 - 242. Which is greater: m or w?
w
Let p be (5/((-50)/4))/((-33)/(-1980)). Is -24 > p?
False
Let t = 2/13 - 43/195. Let m be (72/15 - 4/(-20)) + -2. Let p be 0*m/(3/(-1)). Which is smaller: p or t?
t
Let g be 2/5 + (-1)/(5/(-8)). Suppose 42 = 3*r - g*r. Is r at most 42?
True
Let u = 2/141 - 485/24252. Do u and 1 have the same value?
False
Let y(t) = -t + 3. Let v = 64 - 63. Let m be y(v). Suppose 2*c + 0 - 2 = 0. Which is smaller: c or m?
c
Let w be (7 + 132/(-16))*-4. Which is smaller: 57/13 or w?
57/13
Let u be 1 + -2 - (0 - -1). Let f(i) = -i**3 - 7*i**2 + 15*i - 29. Let x be f(-9). Is x less than u?
False
Let w = 236 + -233. Is 0 > w?
False
Let s = 4442 - 493058/111. Which is smaller: s or -1?
-1
Let t = -12 + -3. Let n = t - -32. Which is smaller: 0.2 or n?
0.2
Let z be (-6)/2 + -2 + 3. Let h(p) = 3*p**3 + 3*p**2 - p - 6. Let c be h(z). Suppose 0 = 4*w - 0*w + 60. Does w = c?
False
Let o = -260 + 391. Are o and 130 nonequal?
True
Suppose -2*v + 2 = -4*v. Let t be v/(3 + (-87)/30). Let f = -188/19 - t. Is f greater than 1?
False
Suppose 9*u - 6*u = 6. Let a = u - -7. Suppose -5*r - a = 3*c, -5*r - 17 = -2. Is c bigger than 2?
False
Let w be 69 + 4*6*2/16. Let j be ((-10)/8)/(6/w). Are -16 and j nonequal?
True
Let l = 0.1816 - 6.1816. Is l at least as big as -0.05?
False
Let y(v) = -2*v + 19. Let h be y(8). Let j be 15*((-13)/5 + h). Suppose -j*i = -7*i + 3. Which is smaller: i or -2/5?
-2/5
Let u = 0.62 + 29.38. Let x = 16 - u. Let p = -12 - x. Is -2/5 at least p?
False
Let v be 4/10 + (-38654)/125860. Let w = v + -11/58. Are 1 and w equal?
False
Let k(b) = -b**3 - 5*b**2 - 3. Let n be k(-3). Let h = n + 21. Suppose 2*v + h*v = 0. Is v at most as big as -1/14?
False
Let d = -39 + 38.8. Let o = 67 + -69. Is d at least o?
True
Suppose 3 = -3*n, -3*p + n - 5 = -5*p. Suppose -16 + 2 = 2*g + p*s, -3*g = s + 21. Let v = 8 + g. Do 7/3 and v have the same value?
False
Suppose -12*h + 5 = -7*h - 5*c, -3*c - 3 = 0. Which is smaller: -13/157 or h?
-13/157
Let q be ((-6)/(-4))/((-6)/(-180)). Let g = q - 317/7. Suppose 22 = -2*z + 5*h, -3*h + 7 = -5*z - 10. Which is greater: z or g?
g
Suppose 15 = 2*p + 9. Suppose 3*v - 2 + 11 = 0, p*v = -b. Which is bigger: b or 62/7?
b
Let w be -4*((-3)/2)/(-1). Let g(h) = 3*h - 7 - 3*h + h**2 + 5*h. Let m be g(w). Which is smaller: m or -2/7?
m
Let b be (-58)/(-208) + (-6)/39. Let k = 13 - 23/2. Let x = k - 1. Is x at least as big as b?
True
Suppose 3*w + r = 238, -3*w + 253 = -4*r + 2*r. Let v = w - 53. Let a be 4/6*(-21)/v. Does -2 = a?
False
Let r be ((-2)/(-4))/(45/(-2835370)). Let s = r - -31427. Let w = s + 77. Which is smaller: 1 or w?
w
Let g be (-1)/((-16)/20)*4. Is g less than 0?
False
Suppose -3*a + 2*q = q - 21, 0 = 4*a - q - 27. Let h be 1/(-5*3/(-60)). Let j be 9 + 4*(-2)/h. Which is greater: j or a?
j
Let k = -20 + 19.89. Let a(g) = g**3 - 10*g**2 + 11*g - 9. Let j be a(9). Let p = j - 10. Which is bigger: p or k?
k
Let r(n) = -n**3 - 9*n**2 - 9*n - 5. Let v be r(-8). Let c = v - -2. Suppose -6*d + c = -d. Which is greater: -2/57 or d?
d
Let l be 2/6 + (-20)/(-30). Suppose -2*u - w + l = 0, -5*u + 2*w + 3*w = -25. Let a be 12/(-4)*2/(-6). Is u equal to a?
False
Let i = -1.813 - 2.187. Let m = -0.5 - -0.3. Let c = m + 0.2. Which is smaller: i or c?
i
Let t(n) = -n**2 - 5*n + 6. Suppose 3*u - 6 = u. Suppose 4*q + 23 = -r, u*q + 16 = 3*r - 5. Let m be t(q). Which is smaller: 2/3 or m?
m
Let k = 408 - 7754/19. Let m = -1502/9 + 167. Which is smaller: k or m?
k
Let q = 127 + -212. Which is bigger: -2/3 or q?
-2/3
Let w be (-36)/(-135)*3/2922. Is w less than or equal to -1?
False
Let o = -28 + 31. Suppose 38 = -a - 4*t, -4*t = -o*a - 0*t - 50. Let g = 21 + a. Which is bigger: g or 3/19?
3/19
Let m be 11/(22/40) - -7. Are m and 27 unequal?
False
Let x = -861 + 863. Are x and 8/13 non-equal?
True
Suppose 5*g + 5*d = -304 + 839, -3*g = -2*d - 321. Suppose 11 = -2*q - g. Is -59 at most q?
True
Let b = 12.94 + -2.94. Which is greater: 1 or b?
b
Let k = 0.1 + -0.2. Let h = 368 + -391. Are k and h non-equal?
True
Suppose -10*k - 17 - 63 = 0. Let l(x) = 2*x**2 + 17*x + 8. Let j be l(k). Which is greater: j or -25?
j
Let h = -899 + 894.9. Are -2 and h nonequal?
True
Suppose -4*d + 6*d - 3*x - 50 = 0, 8 = -2*x. Which is smaller: 14 or d?
14
Let k be ((-15)/(-125))/(28/24*27). Does 1 = k?
False
Let j = 134/3 + -21559/483. Let r = 4/23 - j. Is r not equal to 1?
True
Let j = 2.4 + 0.2. Let n = j - 3.6. Which is bigger: n or 0.23?
0.23
Suppose 0 = -4*l - 0. Let h be (0 - (-1)/(-62))/((-90)/120). Which is greater: h or l?
h
Let m = 1/254544058 - -108621713142325/11199938552. Let y = -9698 + m. Let v = y + -6/11. Which is smaller: v or -2/9?
-2/9
Let v = -0.09 + -0.21. Let f = v + 0.1. Let s = 1/60 + 11/60. Which is bigger: s or f?
s
Let k = 468 - 468. Which is smaller: -7/44 or k?
-7/44
Let v be 86/30 - (-190)/1425. Let g be (-10)/(-3)*(-3)/7. Is g < v?
True
Let u(h) = -h + 6. Let n be u(6). Suppose n = -3*q + q + 4. Suppose q*y + y = 18. Which is smaller: y or 7?
y
Let a be ((-1)/2)/(-37 - (-1 + -2)). Which is bigger: 0 or a?
a
Let j be (26/6)/((-2)/6). Let q = 118 + -116. Suppose -q*u + 45 = -5*u. Does u = j?
False
Let h(p) = -p**2 + 3*p - 15. Let i be h(-5). Let c = i + 73. Is 20 greater than c?
True
Let k(q) = -q**3 + 22*q**2 - 50*q + 53. Let j be k(19). Is j equal to 186?
True
Let l(t) = -9*t**3 - 3*t**2 - 31*t + 144. Let k be l(4). Is k equal to -604?
True
Let o = 55/288 + -142679/18720. Let l = o + 42/13. Is -4 greater than l?
True
Let f(b) = -2*b**3 - b**2 - 12*b - 15. Let q be f(-4). Is q at most as big as 145?
True
Let w be (-297)/(-18)*2*1. Let c = -30 + w. Suppose -b = -4*b + c. Are -2 and b non-equal?
True
Let f = -258 - -257.5. Which is greater: f or -1.6?
f
Let r = 1 + 1. Let f = -5.771 - -5.811. Which is smaller: f or r?
f
Let k = -4 - 14. Let r = -381 - -398.9. Let p = r + k. Is p smaller than 11?
True
Let o = -0.59 + 0.64. Let f = -2.6 - -4.6. Which is smaller: o or f?
o
Let l = 22.7 + -10.4. Let y = -2.7 - l. Is y smaller than 1?
True
Let x = -42.7 + 1.6. Let t = x + 41. Let l = 3 + -4. Which is smaller: t or l?
l
Let f be 7/35 - 180/25. Let k = -8 - -4. Let l = -2 + k. Which is greater: f or l?
l
Let h be (-1386)/(-30) + 3 - (-3)/(-15). Which is greater: 50 or h?
50
Let k(a) = -a**3 - 5*a**2 + 7*a + 5. Let w be k(-6). Let o be (45/(-75))/((-8)/5). Is o at least w?
True
Let f be (4 - 4)*-1 + 2261/38. Which is smaller: f or 61?
f
Let h(r) = -3*r**2 - 26*r - 86. Let m be h(-16). Are -437 and m unequal?
True
Let i = -400601/151 + 2653. Is 1 smaller than i?
False
Let f = -23 + 26. Suppose -q = -f*q - 4. Which is bigger: q or 6?
6
Suppose k - 3*j - 5 = 0, 4*j = 23*k - 27*k - 12. Which is smaller: k or 2/3707?
k
Let j = -10 - -1.6. Let b = j - -11. Let t = 2.6 - b. Which is smaller: t or 2?
t
Let w = -72 - -72. Let y be 2/8 + 115/(-300). Is y > w?
False
Suppose -100 = x - 4*g, 0 = -2*x + g - 47 - 132. Which is smaller: -90 or x?
-90
Let p be (-2)/(-14)*(1 + 1). Suppose -6 = 2*v - 2*b, 0*b - 3 = -b. Suppose 5 = -5*f - v*