1 or a?
-5/1131
Let m = 310.9 + -378. Let v = 67 + m. Which is smaller: v or -22?
-22
Let h = -254.13 + 254.6044. Does h = -2?
False
Let u = -27.1 - -44.4. Let w = -14.3 + u. Which is greater: 1 or w?
w
Let d = -80725 - -80723. Let q be ((-10)/14)/(1/3). Which is greater: q or d?
d
Let d be (4/(-3)*-3)/((-312)/(-1170)). Let f be 4/d*(-1785)/350. Does f = -1?
False
Suppose 5*g - 94 = -3*s, 2*s + 2*s = -3*g + 129. Suppose 43*r = 223 + 78. Let f be (s/r - 3)*44/(-12). Is f at most as big as -7?
False
Let i = 11 - 27. Let g = 30 - i. Suppose 165*a = 162*a + 141. Which is bigger: g or a?
a
Let c = -733.9925 - -734. Let a = c + -55.0075. Which is greater: a or 2/7?
2/7
Suppose 14*u + 395 = 19*u. Suppose 6*v - u = -79. Which is smaller: v or -1/21?
-1/21
Let r = -0.1929 + 30.8929. Is r bigger than -6?
True
Let o = -1238/465 + -2/465. Suppose -3*l = -7*l + 4. Let p(w) = -2*w**2 - w - 1. Let b be p(l). Which is smaller: o or b?
b
Suppose -5785 - 520 = 4*w + 9295. Which is bigger: w or -3898?
-3898
Suppose 0 = 23*s - 3*s - 440. Let u be (-3 - s/(-4))/((-195)/(-78)). Does u = 3/133?
False
Let n(f) = f**2 + 5*f + 2. Let l = -36 + 32. Let h be n(l). Let p be (-1)/h - 72/208. Is 0 < p?
True
Let x be 108/22 - (-116)/1276. Which is smaller: x or 202/33?
x
Let w = -15192 - -21000. Is -1 at most w?
True
Suppose 142*m = 5*t + 141*m - 62016, -t - 4*m = -12441. Is 12406 greater than t?
True
Let z = 71 - 69. Suppose -2*i - 36 = z*g, -3*g = 2*g - i + 102. Is g less than or equal to -21?
False
Suppose 0 = -4*t + 19 + 1. Suppose -t*h = -4*y - 11, -6*y = -9*y + h. Is y at least 47?
False
Suppose 53 = -8*k + 149. Suppose 3*c + k = 30. Which is smaller: 33/5 or c?
c
Suppose 5*u = -2566 - 1069. Let k = 45802/63 + u. Let s = 1924 - 1923. Is k != s?
True
Suppose 26*m + 2*k = 21*m + 1310, 0 = k - 5. Let p = m + -258. Do p and 4/5 have different values?
True
Suppose -5096 = 22*u - 1136. Let d = -1553 - -1370. Which is smaller: d or u?
d
Let z(b) = -5*b + 4. Let l(x) = 9*x - 7. Let f(i) = -3*l(i) - 5*z(i). Let d be (1*(-2 + 2)/(-4))/(-2). Let q be f(d). Which is smaller: 2/43 or q?
2/43
Suppose 0*t - 16*t + 48 = 0. Suppose -g + t*o - 1 = 0, 4*o - 3 = g - 0*g. Let b be ((-36)/105)/(-6)*g/(-3). Which is bigger: 0 or b?
0
Let c(s) = -112*s - 59. Let n be c(-10). Let i = n - 80639/76. Suppose 0*d + 7*d = 3*d. Are d and i equal?
False
Let u = 1.05 + -0.3. Let l = u + -0.95. Is 5.9 greater than l?
True
Let s = -2859 + 2765. Which is greater: -57 or s?
-57
Let f(t) = t**3 + 25*t**2 - 15*t + 15. Let m(v) = -24*v**2 + 17*v - 13. Let y(o) = 2*f(o) + 3*m(o). Let r be y(10). Is -3/551 != r?
True
Let q = -202 + 211. Suppose -23*a + 14*a - q = 0. Which is smaller: a or -2/257?
a
Let b be (-218)/20 + 5/(-3)*-6. Which is smaller: -1 or b?
-1
Suppose 8*z + 14 = 22. Suppose -2*s - z = 59. Is s <= -2?
True
Let a(s) = s**2 + 38*s - 83. Suppose 5*n - 8*n + 5*x = 128, -n + x = 42. Let v be a(n). Is 41 greater than or equal to v?
True
Let k be (-194)/9 + (-4)/(-6)*(-86)/129. Which is smaller: k or -339/16?
k
Suppose -s - 2 = -2*t, 5*s + t + 3*t - 46 = 0. Let k = 10 - 5. Suppose -b - s = -k*a + 2*a, 3*b = -2*a + 4. Which is bigger: 0 or a?
a
Let t = 150 + -99. Suppose 4*l - 2*s = -s + 56, -3*l + t = -3*s. Suppose 0 = -2*f + 5*y - l, -38 = -4*f - 3*y + 1. Do f and 6 have different values?
False
Suppose 14*c = 16*c - 4. Let m be ((-6)/(-15))/(c*256/440). Which is bigger: m or 1?
1
Suppose 59 = -7*c - 102. Let i = c + 83. Which is bigger: 58 or i?
i
Let z be 1 - (-11 + (10 - 4)/1). Let w = 15 - 18. Are z and w equal?
False
Let d = -61417 - -93995. Is 32578 != d?
False
Let u = 0.31 - 20.31. Let o = 98 + -164. Let m = -65 - o. Does u = m?
False
Let j be -1 + (-1 + 2)*11. Let x(o) = 30*o - 623. Let m be x(21). Is j smaller than m?
False
Let u(i) = 2*i**3 - 14*i**2 + 45*i - 199. Let q be u(6). Which is greater: -22/107 or q?
-22/107
Suppose 3*g + 3*x = 0, -4*g + 8 = -2*x + 2. Let l be (-6)/(-1)*(-6)/(-12). Let r be (l/(-33))/(44/(-8)). Which is greater: r or g?
g
Let g = -6171 - -3017621/489. Let w = -44650 - -44651. Does w = g?
False
Let c be (14507/(-356))/((-2)/(-8)). Is -150 > c?
True
Let i be (164/1 + 0)*(-27136)/10240. Are -435 and i unequal?
True
Suppose 8 = -0*t + t. Let k(n) = n**2 - n - 58. Let v be k(t). Is v <= 12?
True
Let f = -11275 - -11275.07. Let y = 1 - 1.2. Let n = -0.1 - y. Is f less than n?
True
Let w = 36568 + -36576. Let g(j) = -2*j**2 - 3*j + 3. Let d be g(-3). Which is bigger: w or d?
d
Suppose 5*u + 7*m + 31 = 10, -5*m = -3*u + 15. Is u > -1/11351?
True
Let r = 68.9 - -5.1. Let q = 2.638 + -2.238. Is r > q?
True
Suppose 0 = -5*r - h + 6, 5*r - 3 = 3*h - 1. Let j(f) = f**2 + 3 - r + 6*f + 7. Let y be j(-3). Which is greater: 0.1 or y?
0.1
Let q = -1978.1 - -2382.915. Let i = q - 0.815. Are i and -1/2 non-equal?
True
Let t = -22805 + 4629406/203. Which is bigger: 0 or t?
0
Let n = -86 - -84.92. Let b = -1.13 - n. Which is smaller: -2 or b?
-2
Let c(p) = -6*p + 163. Let h be c(23). Let j be 7073/2475 + (-2)/h. Which is bigger: 4 or j?
4
Let q be ((-2)/3)/(11/(-66)). Let r = q - 26/7. Which is smaller: -45.3 or r?
-45.3
Let p be -9 + (1100/(-176))/((-2)/24). Are 649/10 and p non-equal?
True
Let p be 238/(-2373)*-36 - (4 + 0). Is p > -1?
True
Let y(r) = 2*r**2 + 11*r - 20. Let l be y(-9). Let d = l - 40. Suppose -2*n + 4*h = 36, d*n - 4*n + 4*h = 26. Which is greater: n or -1?
-1
Let c = 8 - 6. Let x be 14/(-4) - -4 - c/3. Which is smaller: x or -9/8?
-9/8
Let o be -6*(1 - 0)/(24/(-12)). Let k be (-3)/5 + (-2)/(-5). Which is bigger: o or k?
o
Let u = 3710 - 3708.8. Which is bigger: u or -5.1?
u
Suppose 2*i + 14 = 3*i. Suppose -7*b + i = -5*b. Suppose -3*z - 24 = -b*z. Do z and 1 have the same value?
False
Suppose -33 = 4*j - 7*j. Suppose -16 = -4*n + 2*l, -2*l = -0*n + 5*n - j. Let d = n - 2. Is 1/17 greater than or equal to d?
False
Suppose -3*h = -5*h - 2*u + 86, -5*h + 227 = -u. Let q(b) = 69 + 3*b**2 - 4*b**2 + 29*b - h - 52. Let x be q(28). Which is smaller: x or -10/19?
-10/19
Let s = 1929644477/5122542852 - -11233/116921. Let a = s + -2/3651. Let p = 1/36 + a. Which is smaller: p or 24?
p
Let t(r) = r**3 - 12*r**2 + 30*r - 294. Let w be t(11). Which is bigger: w or -86?
w
Suppose -18*y = 5*b - 13*y + 2015, -2*b - 809 = y. Let f = b - -389. Which is smaller: -16 or f?
f
Let q = 6119702679/1960 - 24979095/8. Let d = 448/5 + q. Are d and 1 nonequal?
True
Let x = 0.55 - 0.6. Let z = 0.2 - x. Let a = -0.28912 + 0.18912. Which is smaller: z or a?
a
Suppose -2*y - 2*v = -3 + 11, -12 = 3*v. Suppose -7*j - j = y. Let z = -2630 + 381348/145. Which is greater: z or j?
j
Let j = -9162 + 100784/11. Which is bigger: j or -3/719?
j
Let g = -10/8379 + -1867057/1223334. Is -3 equal to g?
False
Let y be 7/(63/(-2)) - (-709148)/(-639). Is y not equal to -1106?
True
Let l = 14826 + -14826. Which is smaller: 109.54 or l?
l
Let q = -0.252 + 0.742. Is q at most as big as 4?
True
Let z be 2/8 - 27/(-4). Let k be (-741)/143 + (-4)/(-22). Let t be 6 + k/(-5) + -2. Is z < t?
False
Let x(d) = -15*d - 154. Let k(f) = 61*f + 621. Let c(j) = 2*k(j) + 9*x(j). Let l be c(-11). Which is smaller: l or -296?
-296
Let r(a) = a**3 + 18*a**2 - 43*a + 13. Let l be r(-20). Suppose -421 = -12*m - l. Do m and -3/4 have different values?
True
Let w = -960 - -974.3. Let i = w + -22.3. Let v = 0 + 0.3. Which is bigger: i or v?
v
Let o(j) = -23*j - 1103. Let k be o(-48). Is 8/53 at least k?
False
Let c = 3539 + -2997535/847. Is -2/5 equal to c?
False
Suppose q - 65 + 62 = 0. Suppose q*d + 141 - 546 = -5*m, -4*m + 351 = -3*d. Which is bigger: 0 or m?
m
Let v(u) = -u**3 + 7*u**2 - 6*u - 1. Let y be v(5). Let j = -14 + y. Suppose -3*t - 18 = i + 2*i, -t = -j*i + 30. Is t at least as big as -11?
True
Let a = 559 + -2313. Is a greater than or equal to -1753?
False
Let y(m) = 2*m - 22. Let g be y(-18). Let s = 65 + g. Suppose 0 = -s*w - 9 - 12. Is w greater than or equal to 28?
False
Let o = 79.711 + -583.841. Let a = 504 + o. Are 2 and a unequal?
True
Let w = 38.87 - 95.87. Is 6 less than or equal to w?
False
Let j = 2620 - 7174. Is j smaller than 2/9?
True
Let b be (-900)/(-63) + -14 - 247/7. Let x = 9 - 4. Suppose 3*d + 2*z + 102 = -z, 0 = -x*d + 5*z - 170. Is b at least d?
False
Let j be 383 - (-2 + 3 + -3). Let m be 4/1 +