aller: -6 or r?
-6
Let o be -3 - 116/(-16) - (-6)/8. Suppose -3*v + 3*h - h = 70, 110 = -o*v + 2*h. Is -21 greater than v?
False
Suppose 3*x = -5*h - 72, 5*h = -0*x + x + 4. Let z = 16 + x. Let i be (z + -3)/((-2)/(-3)). Which is smaller: i or -10?
-10
Let o be 35/(-175) + 7/(-15). Is o less than 0.4?
True
Let j = -1413 + 2825/2. Is -41 greater than j?
False
Let y be (6/(-9))/(4/18). Suppose 0*v = 4*b - 2*v - 12, b - v - 5 = 0. Let l be ((b - 1)/y)/2. Which is smaller: l or 1/31?
l
Let u(n) = 3*n + 36. Let z be u(-12). Which is greater: 31/3 or z?
31/3
Let s = 61 + -42. Suppose j = -a - s, -64 = 5*a + 4*j + 27. Let l be 8/(-6)*a/(-10). Which is bigger: -5 or l?
l
Let y(g) = 3*g**2 + 10*g - 7. Suppose 10 = -4*d - 2*q, d + 0*q - 3*q = -20. Let h be y(d). Does 18 = h?
True
Let k be ((-1032)/(-1204))/(2*5/(-14)). Does -1 = k?
False
Let b = 1.3 + 1.3. Let x = 4 + -1.5. Let u = x - b. Is 2 < u?
False
Let h = -72 - -78. Which is smaller: h or 96/13?
h
Let q(h) = -h + 1. Let i be q(5). Let v be (i - 111/(-27))*-3. Which is smaller: 10 or v?
v
Suppose 2*l - 2*v = 10, 10*l + 2*v + 3 = 5*l. Suppose 0 = -5*g + 3*b + 14, -2*g + 14 = -3*g - 5*b. Is l != g?
False
Let w = -0.8 + 0.74. Suppose -12*x - 11 = -7*x - 2*u, -5*x = -5*u + 20. Which is greater: x or w?
w
Let v(q) = 294*q - 616. Let d be v(3). Which is smaller: 269 or d?
d
Suppose t + 7 = 4*u, 3*t - 2*t = u - 4. Let s be (152/2)/(t - -5). Which is greater: 39 or s?
39
Suppose -2*i - 28 = -2*v, 2*v - 4 - 4 = 0. Do i and -5 have different values?
True
Let z = 1 + -0.9. Let o = -20 + 22. Is o not equal to z?
True
Let i = -53 - -18. Let x(v) = -v**3 - 4*v**2 - 4*v. Let a be x(-2). Is i >= a?
False
Let t be -5 - -8*(-7)/(-14). Is 1/166 at most as big as t?
False
Let q = -30 + 32. Suppose 17 = -0*p + 2*p + 5*m, -5*p + 32 = q*m. Is 10 smaller than p?
False
Suppose 0 = -5*h - 43 - 7. Let x(t) = t**3 + 9*t**2 - 11*t. Let k be x(h). Let b be (36/30)/((-4)/k). Do -2 and b have the same value?
False
Let v = -0.05 - 0.35. Let m = -29.1 + -9.9. Let b = m - -38. Which is smaller: b or v?
b
Suppose 2*k + 5*w - 2*w - 29 = 0, 0 = k + 3*w - 19. Suppose -k*f = -15*f - 5. Which is smaller: 1/84 or f?
f
Let s(d) = -d. Let t be s(0). Suppose -2*j + 6 = -5*x + 17, 0 = 5*j - 3*x - 1. Which is greater: t or j?
j
Suppose -8 = -2*v - 4*c, v - 4*c = -1 - 1. Suppose 2*w - v*f = 7*w, -5*f = -3*w - 31. Are 4 and w unequal?
True
Let j(s) = 5 - s - 10*s**2 - 3*s**3 + 2*s + 4*s**3. Let c be j(10). Let h = -16 + c. Is -3 >= h?
False
Let s = -18 + 17.948. Let c = s + -0.948. Does c = -9?
False
Suppose 5*x - 6*x - 4 = 0. Let a be 1/((-2)/3)*x. Which is smaller: a or 5?
5
Let x(t) = 2*t**3 + 2*t**2 + 3*t + 2. Let a be x(-1). Let n be 322/(-7) + 1/a. Is n >= 2/7?
False
Let y = 144834634 + -14338812809/99. Let w = -1859 - y. Do w and -1 have different values?
True
Suppose 0 = 9*t - 4*t. Suppose -j + c + 49 = t, 3*j - 139 = c - 2*c. Let i = j + -189/4. Which is greater: 0 or i?
0
Let c = -0.07 - -4.07. Let b = -2.34 + -1.56. Let o = c + b. Is o at least -4?
True
Suppose -f - 631 = 3*p, 3*p - f + 424 = p. Is -211 less than p?
False
Let t = -219 - -219. Which is greater: -3/148 or t?
t
Suppose -2*j + 4*z = 0, -j + 4*z - 5 = 3*z. Let l be ((-1)/4)/(j/(-8)). Which is bigger: 1 or l?
1
Let a(z) = 2*z**2 + 3*z + 2. Let x be a(-7). Let c = -79 + x. Let d = 2/489 - -457/7824. Which is smaller: c or d?
c
Suppose -5*m = 4*j - 15 + 36, j = 3*m + 16. Let z be 975/(-1001) + 6/6. Is j <= z?
False
Let w(q) = 2*q**3 + 20*q**2 - 20*q + 32. Let i(m) = -m**3 - 10*m**2 + 10*m - 16. Let y(a) = 13*i(a) + 6*w(a). Let v be y(-11). Does v = -2/3?
False
Let g(y) = -y**3 - 3*y**2 + 5*y + 4. Let a be g(-4). Suppose -18 = -5*l + i - a, 2*i + 3 = -l. Is l smaller than 0?
False
Let k(a) = 175*a - 4. Let n be k(-6). Which is greater: -1055 or n?
n
Let u = -22.6 + 2.6. Let o = u - -8. Let p = 12 + o. Are p and -9 equal?
False
Let q = 3.2575 - -0.0425. Is 0.2 less than q?
True
Let t = 384 - 386. Is t at most 8?
True
Let m(o) = -o**2 - 9*o - 16. Let k be m(-5). Suppose 8 = 2*r, -2*r + 182 = k*l - l. Which is greater: l or -0.1?
l
Let s = 780/391 + -28/17. Is -1 at least as big as s?
False
Let v = -4 + 1. Let c(i) = -5*i**2 + 23*i + 5. Let d be c(5). Which is bigger: d or v?
v
Let x = 14.35 - 14.45. Let a = -3 - -2.7. Which is greater: x or a?
x
Let r(d) = 344*d**2 - d - 3. Let i be r(-2). Let m = -6901/5 + i. Do m and -5 have the same value?
False
Suppose -7*k + 60 = -3*k. Let n be 5/2 - (19 - k). Is -1.7 bigger than n?
False
Let g = 0 - -0.02. Let p = g + 0. Let y = p - 0.22. Which is smaller: 0.3 or y?
y
Let i be (1/(-2))/((-2)/12). Suppose -4*c + 3*c = i. Is c less than or equal to 2?
True
Suppose 2*j + 347 = 5*w, w - 67 = -0*j - 2*j. Let s be ((-84)/27 + 3)*3/w. Which is smaller: s or -1?
-1
Suppose 8 = -4*c + 5*h + 29, -3*c - 8 = h. Is 3/20 less than or equal to c?
False
Let n = -535 + 528. Let k = -64 - -170/3. Which is smaller: n or k?
k
Let i = 0.0354 - 0.0064. Which is smaller: 0.6 or i?
i
Suppose l + 0*l = 6. Suppose -j = -4*o + 37, -l = -2*o + 2*j + 14. Which is smaller: 6 or o?
6
Let t = 1617.2 + -1617. Are 64/3 and t equal?
False
Let i = 4 + -6. Let a = 0.122 - 65.122. Let t = -70 - a. Is t > i?
False
Let o = 1143 + -1920. Which is smaller: o or -778?
-778
Suppose 5*q - 24 = -3*m, 0 = m - 0*q - q. Do 4 and m have different values?
True
Let d be -31 - (10/(-6) - -1)*3. Let y = d - -55. Which is smaller: y or 27?
y
Suppose 0 = -9*f + 17*f - 248. Is 28 != f?
True
Let b(j) = j - 1. Let c be b(4). Let w = c - 2. Let k = 1.8 + -19.8. Is k equal to w?
False
Suppose -3*q + 10 = -5*o - 118, q - 52 = -3*o. Which is smaller: q or 29?
29
Let g(x) = x**3 + 9*x**2 - 8*x + 20. Let w be g(-10). Let y = -12.3 + 12.74. Which is greater: y or w?
y
Let c = -295 - -293. Let g be c*(-10)/(-15)*1 + 1. Let m be 5*(-1 - (-2 + 0)). Which is greater: g or m?
m
Let h be (-2 - -1) + 7 + -4. Suppose h*u + 0*u - 2 = 0. Let x = -2 - -3. Is x at least u?
True
Suppose 2*v - 23*n + 2 = -20*n, 0 = -2*v - 2*n + 8. Let m = -2/257 + 1811/1542. Is v >= m?
True
Let n(a) = -a - 4. Let j be n(-7). Suppose j*h + 50 = -2*h. Let m be (22/(-12)*3)/((-1)/(-2)). Is h smaller than m?
False
Suppose 0 = -2*b + b - 7. Let g = 17 + b. Suppose 0 = 4*k + 20, 0*k + g = d - 2*k. Which is greater: -1/4 or d?
d
Let a be (0 - 6)*80/(-24). Let o be ((-12)/(-20))/((-4)/a). Let m(x) = -x + 1. Let h be m(o). Do h and 4 have the same value?
True
Suppose -o + 24 = o - 4*k, -o - 3*k = 8. Suppose o*j = 2 - 6. Are j and 2/71 equal?
False
Let g(d) = 536*d**2 + 2*d - 4. Let j be g(2). Let w = j - 165092/77. Which is smaller: w or 0?
w
Let g = 9 - 5. Suppose -12 = -2*f + g*f. Let q = f + 6. Is -1/3 != q?
True
Let w(v) = 2*v - 6*v**2 + v**3 + 8 - 3*v**2 + 8*v. Let j be w(8). Suppose 4*c + 0*c = -j. Which is greater: c or -5?
-5
Let h(l) = l + 1. Let o be h(-2). Let m = -1140663/40 - -28504. Let p = 61/5 + m. Is o <= p?
True
Let a be (-24)/(-4)*(140/(-12) - -1). Let k be 2 - a/(-28) - 4/(-14). Let q be 3/(-20) + 2/(-8). Which is smaller: k or q?
q
Let p be 4/6 + 26/6. Let q(z) = z**2 + 12*z + 8. Let m be q(-11). Let o = m + p. Which is smaller: o or 3?
o
Let u = -11.01 - -11. Let f = u + 4.01. Let w = f + -5. Is -0.1 < w?
False
Let m = 2.9 - 3. Let k = -59.8 - -60. Let r = k + m. Which is greater: -1/2 or r?
r
Let q(t) = -t**3 - 3*t**2 + 8*t + 9. Let z be q(-4). Which is bigger: -32/5 or z?
-32/5
Let o be -20 + 15 + 1269/255. Is o equal to 1?
False
Let g = -30 - -32. Is 30 at least g?
True
Suppose -14*d + 42 = -16*d. Let q be d/63*(-6)/47. Which is smaller: q or -1/4?
-1/4
Let d = -305 - -389. Which is smaller: d or 1?
1
Let h(g) = 4*g - 17. Let j be h(0). Let a = j + 20. Which is smaller: 4 or a?
a
Suppose 0 = 9*v + 2*v + 924. Which is bigger: -82 or v?
-82
Let z = 5 - 33. Is z bigger than -1?
False
Suppose 5 = -4*m + 5*t, -37*t - 4 = -3*m - 41*t. Suppose 0 = 4*q - 5*k - 39, -4*k - 42 = -4*q - q. Let w be 53/2 + (-9)/q. Is m at least w?
False
Let w = 1320 - 1319. Suppose -f = -0*f - 13. Let g = w - f. Which is greater: -11 or g?
-11
Let h = 216 + -234.4. Let b = 4.4 + h. Is b less than 0?
True
Suppose -3 - 1 = -4*d. Suppose -3*i = -5 - d. Let a be -1*i/((-2)/(-7)). Is a less than -6?
True
Suppose 3*p - 2*w - 240366 = 306226, -5*p + 