aller: -4 or r?
-4
Let g = 10/9 + -1. Which is smaller: 0 or g?
0
Let j = 5 + -5.06. Let w = -7 - -6.96. Let n = w + j. Which is greater: -4 or n?
n
Suppose 0 = -a + 93 - 94. Is 2/13 at least a?
True
Suppose g + 3*s = -2*g + 33, 3*s + 12 = 0. Let i = -10 + g. Is 4 at least as big as i?
False
Let v = -2.23 + 0.23. Suppose 0 = -u - 1 + 3. Is u > v?
True
Let v = 134/35 + 2258/105. Is 26 < v?
False
Let y(h) = -h**2 + 4*h + 3. Let l be y(4). Let r(a) = -l + a**2 - 2*a - 1 + 1. Let c be r(3). Is 2/5 at least as big as c?
True
Let a = 11 - 19. Let g = a - -6. Is g < -2?
False
Let x = 0 - -1. Let o = 28 + -28.8. Let t = x + o. Is 1 > t?
True
Let w = 3.7 - 4. Let t be -6*3*8/(-36). Suppose 0 = -5*u + t*u - 1. Which is bigger: w or u?
w
Let g(x) = x. Let p be g(4). Suppose 2*a + 1 = -3*l, 2 = 2*a - a + 4*l. Let v be a/p*(0 + 2). Is v at least as big as 2/9?
False
Suppose -3 = f - 5. Is f less than or equal to 2?
True
Let f = 1.625 - 0.025. Is f less than -0.3?
False
Let l = -2 + 5. Let g = -8 - -10. Suppose -g = -l*i - 5. Which is greater: i or -3?
i
Let g = 10.92 - -0.08. Let k = g - 10.87. Which is bigger: k or 0?
k
Suppose -3*f = -3*p + 2*p - 7, -3*f = -2*p - 2. Let c = -2 + f. Let r be c/(-6) - 4/6. Which is smaller: -3 or r?
-3
Suppose 4 = 3*k + 2*i, -30 = 5*k + 3*i - 7*i. Let q be (-20)/(-16) + k/8. Suppose n - 3*n = 4*o + 10, -5*o + 25 = -5*n. Which is bigger: q or o?
q
Let f = 6.7 - 7. Let l = f - -0.2. Let h = 0 + 0. Which is greater: h or l?
h
Let a = 18/11 + -212/143. Suppose 0 = -t - 3. Let x be 4/t + (-2)/(-6). Which is greater: x or a?
a
Suppose 2 = -d - 2. Which is smaller: d or 0?
d
Let p be 15/5 - 30/8. Are -3/7 and p equal?
False
Suppose -3*k = -3*u + 9, -3*u = 4*k + 7 - 2. Which is smaller: u or 0.39?
0.39
Let g(y) = y**2 - 6*y - 1. Let j be g(6). Let k = -1 - j. Let a = 0 - 0. Is a < k?
False
Let g = 87 - 437/5. Let h be (-1 - 1)*1 - -2. Are g and h nonequal?
True
Let i be (6/(-27))/((-4)/186). Let r = i + -20/3. Which is bigger: r or 4?
4
Let p = -65 - -64. Is p greater than or equal to -4/39?
False
Let w be 20*(-2)/(-4) + -2. Suppose 2*h + 9*f = 4*f + 18, h - 9 = 4*f. Do h and w have the same value?
False
Let a = 19102/19 - 1006. Which is smaller: a or 0?
a
Let z = 48.29 - 48. Is 2 at least z?
True
Let t(g) = -g**3 - 12*g**2 + 16*g + 19. Let j be t(-13). Let m be 3/j + 2/5. Which is bigger: m or -2?
m
Let k = 8 - 5. Let g = -49/17 + k. Is g greater than or equal to 0?
True
Let j be (-2 - 0) + (-12)/(-5). Suppose -v + 2 = v. Suppose 0 = 4*l - 3 - v. Is l >= j?
True
Let h be 3/(-2 + (5 - 2)). Let t = -2 + h. Let o be 3/9*(0 - 0). Is o greater than t?
False
Let o = -1451/1155 - -26/21. Are -1 and o equal?
False
Let k be (-8)/(-6) + 174/(-63). Is -1 less than k?
False
Suppose 0 = -19*i + 32*i. Is i bigger than -2/189?
True
Let o be 2*(3/(-2) + 2). Let f(t) = t**3 - 13*t**2 - 15*t + 20. Let y be f(14). Is y at least as big as o?
True
Let n = 10.55 + -1.05. Which is smaller: 0.1 or n?
0.1
Suppose 2*l = 3*l + 4*d + 10, -3*l + 50 = -4*d. Let t be l/(-7) + (2 - 0). Is 2 greater than t?
True
Let g = 8/9 + -2/3. Which is bigger: -1 or g?
g
Let v be (0 - -1)*(-30)/3. Let j = v + 14. Let y(w) = -w + 1. Let g be y(-2). Which is smaller: j or g?
g
Let b be 25*(-7 - -5) - -3. Which is greater: b or -2?
-2
Let v be 2/3 + 26/6. Suppose 0 = -v*o - 0*o - g - 9, 2*o - g = 2. Let s be (o/3)/(1/3). Is s < -2?
False
Let d(b) = -2*b - 4. Let u be d(7). Suppose -a + 3*n = -2 - 1, a - 2*n = -2. Let h be u/a - 2/(-4). Which is greater: -1 or h?
h
Let s be (-1)/((-3)/(-30)) - 1. Let j = s + 10. Which is greater: -2 or j?
j
Suppose 5*x - 1 - 9 = 3*a, 4*a + 4 = 2*x. Let n(d) = d**3 - d**2 + d - 3. Let o be n(0). Let w = o - -11/4. Is a equal to w?
False
Suppose 3*y + 21 = 2*o, 0*o - 4*o - 5*y = -9. Suppose -5*u - 3*n = -o, -u + 0*n - 2 = -n. Is u > -1/11?
True
Let f = 827/9 + -92. Does 1 = f?
False
Let d be 4/1 - 2*1. Suppose -6*c + 2*c = -16. Let t be (4 + -2)*c/14. Which is greater: d or t?
d
Suppose 2*d + 0*a = -a - 27, -27 = 3*d - 3*a. Let v be 3/(-12) - 7/d. Let k(n) = -n**2 + 2*n + 1. Let f be k(2). Which is smaller: v or f?
v
Let x be 4 - 45/48*4. Is 3/5 greater than x?
True
Let z be 6/14 + 594/(-1932). Let g = z - -1/46. Is g less than -1?
False
Let w be ((-9)/(-96))/((-3)/6). Does 0 = w?
False
Let p = 0.01 + -0.01. Let h = p + -3. Is -1 >= h?
True
Suppose 16*v = 21*v - 280. Is v not equal to 56?
False
Suppose -t - 5 = 3*t - a, 5*t + 10 = 2*a. Suppose -6*w - 84 = -t*w. Which is greater: -15 or w?
w
Let p be 3*6/(-9)*-1. Let t be p/(-1) + 16/6. Suppose -5*b = -5*y - 25, -y - 15 = 4*b + 2*y. Do b and t have the same value?
False
Suppose 9*l + 1368 = -9*l. Is -75 equal to l?
False
Let p(z) = 4*z**3 - z**2 - 3*z + 3. Let j be (-6)/5*20/8. Let c be p(j). Let i be 2/(-9) - c/108. Which is greater: i or 1?
1
Let z(q) = q**3 + 11*q**2 + 2*q + 17. Let l be z(-11). Suppose 3*g - 2*i - 3 = -22, 4*g + i + 7 = 0. Is l at least g?
False
Let u = 27.92075 - 0.03075. Let z = -28 + u. Let a = -3.89 + z. Which is greater: -0.1 or a?
-0.1
Let i = 2/1699 - -73047/8495. Let v = -139/15 + i. Suppose -5 = 3*j + 1. Which is bigger: v or j?
v
Let q = 6 + -6. Let f = 75 - 1126/15. Which is bigger: f or q?
q
Let v = -37295/34 - -1097. Which is bigger: v or -1?
v
Let b be (-300)/(-9)*6/(-4). Let v = -32 - b. Let y be 4/v*6 - 1. Which is smaller: 0 or y?
0
Suppose -4 = -8*r + 10*r. Let l = -67/4 + 31/2. Which is bigger: r or l?
l
Let z = 0.34 - 14.34. Let t = 14.2 + z. Which is smaller: t or -2/13?
-2/13
Suppose 0 = 3*m, -7*m = -x - 3*m. Let r = 17 - 12. Suppose r*w + 0*w = x. Which is smaller: w or 1?
w
Suppose z = 3*z - 6. Let i be 6*(z + -2)/(-2). Let k = 4 + -7. Is k bigger than i?
False
Suppose 0 = 2*j + 3*j + 40. Suppose 7 + 2 = -w. Which is greater: w or j?
j
Suppose 150 = -h + 122. Is h equal to -27?
False
Let s(y) = y**2 - 5*y - 2. Let c be s(5). Let z be ((-8)/20)/(c/10). Suppose -29 = -z*f + 5*o, -4*f + o - 2*o = -3. Which is greater: 4/7 or f?
f
Suppose 0 = r - x - 0*x - 3, 5*x - 1 = 3*r. Suppose 9*w - r = 13*w. Let o = -11 - -8. Are w and o equal?
False
Suppose 10 = 5*d + 4*m, 2*d = -4*m + 6 - 2. Suppose 0 - 2 = d*s. Is -2/7 > s?
True
Let d = 19177/294 - 1044/245. Let g = -14/5 + d. Let f = -58 + g. Do 0 and f have the same value?
False
Let p = -0.11 + -5.89. Let c = p + 7. Is c >= -1/2?
True
Let s(t) = -7*t + 41. Let f be s(6). Is -4/59 less than or equal to f?
False
Let j = -0.6 + -2.4. Let c = -0.2 - 0. Let h = c + 0.3. Is h >= j?
True
Suppose -3*h = 2*i + 25 + 21, -h = i + 23. Is -1/2 at least as big as i?
True
Suppose -3*r + 2 = 14. Let n be (-36)/104 - r/(-26). Which is bigger: n or 0?
0
Suppose x - 4 = -4*t - 6, -4*x - 4*t + 28 = 0. Suppose 4*j = 2 - x. Is -5/2 at most j?
True
Suppose 0 = 54*o - 61*o + 35. Which is bigger: o or 7?
7
Suppose -2*a + 0*a + 14 = -4*x, -3*a - x = 0. Let y = -35 + 71/2. Is a less than or equal to y?
False
Let l = -153 + 171. Is l at least as big as 19?
False
Let p = -55/126 + 3/14. Suppose -n - 90 = 2*n. Let i be 7/4 - n/(-40). Which is smaller: p or i?
p
Let a = -1.5 + -2.6. Let x = 4 + a. Let c = -4 - -4. Which is smaller: x or c?
x
Let w = -52 - -76. Let m be (2/(-6))/(8/w). Which is smaller: m or 0?
m
Let d = -10 - -10.3. Let u = -3 - -4. Which is greater: d or u?
u
Let p = 3 - -1. Suppose -p*h + 74 = -3*y, 75 = 6*h - h + 5*y. Let b be 1/4 + h/(-36). Which is greater: b or 0?
0
Let l(y) = -3 - y**2 + 2*y**2 - 2*y - y. Let q be l(5). Suppose -5*z = -4*h - q + 3, -3*h - 3 = 3*z. Is -2/7 bigger than h?
True
Let v be -3*((-10)/(-3) - 3). Which is bigger: -3/13 or v?
-3/13
Let h = 78 - 77.99. Suppose -p + 4*p = -3. Which is smaller: p or h?
p
Let q(j) = j**3 - 8*j**2 + 10*j + 17. Let z be q(7). Does z = 38?
True
Suppose 4*d - 3*c + 15 = 0, -d + 3*c = 2*c + 4. Let h(o) = o**2 + 10*o. Let v be h(-10). Suppose v = -3*l - 5*x - 6, -3*x + 7*x = 0. Is d >= l?
False
Let h(q) = q**2 - 3*q. Let a be h(4). Let r be 3/10*a/6. Is 1 greater than r?
True
Let l = 66 - 67.6. Which is smaller: l or 3/5?
l
Let c be (-2)/8 + (-8)/((-128)/(-828)). Do c and -52 have different values?
False
Let n(w) = -w + 1. Let p(u) = 2*u + 8. Let q be p(-6). Let a(m) = -3*m - 1. Let v(l) = q*n(l) + a(l). Let i be v(3). Is -1/2 <= i?
False
Let r = -6 - -8. Suppose 2*q 