))/((-4)/(-24)). Do b and a have the same value?
False
Let d = -3.3 + 0.3. Let s = 9.1 + -9.09. Which is bigger: d or s?
s
Let l = 1.98 - 0.18. Let s = 11 - 15. Let k be 15/35 + s/(-7). Are k and l equal?
False
Let i = 4 - 1. Let v be i/(-2)*(-6)/(-7). Let a = -1037 - -1035. Is v < a?
False
Suppose -13 = z - 2*j, 3*z + 19 = -j + 2*j. Let f(p) = p + 2. Let g be f(z). Let q be 56/4 - (g + 4). Is 13 equal to q?
True
Let o be -1 + -7*1 + -1. Suppose -583 = 117*v - 64*v. Are o and v equal?
False
Suppose -4*f = 4*o - 16, 2*f - 36 + 28 = 0. Is o != 1/16?
True
Let u be ((-8)/3588 + 0)/((-1)/(-3)). Is -2 smaller than u?
True
Let i be (2 - -1) + -1 + -39. Let o = 16 + i. Let y be (3 - 0)*o/9. Are -7 and y non-equal?
False
Let w = -4313848/26465 - -9074/395. Let v = 140 + w. Is 0 bigger than v?
True
Let l be ((-27)/21)/((-1)/7). Let x(q) = q**3 + 6*q**2 - 7*q + 8. Let v be 2/(-4) + 13/(-2). Let c be x(v). Is l at most as big as c?
False
Let p be (-33)/(-55) + 54/210. Let b(o) = o**2 + 4*o - 8. Let s be b(-6). Suppose -3*a + 8 = -5*m, -m = -s*a + 2*m + 7. Is a > p?
True
Let c = -46 - 3. Let u = -93 - c. Is u less than or equal to -44?
True
Let m = 0.605 - 0.405. Which is greater: -96 or m?
m
Let y(l) = 10*l + 116. Let r be y(-11). Let k = 4 + -1. Which is smaller: r or k?
k
Suppose 0 = 20*o - 11*o - 99. Suppose 3*v + 2*c - 36 = -v, 0 = 2*v - 2*c - 18. Which is smaller: o or v?
v
Let g = -79/116 - 2/29. Let i = -117 + 821/7. Is g less than or equal to i?
True
Let i = 24 + -23.57. Let j = i - 0.3. Let o be ((-1)/2)/1 + 1. Which is smaller: o or j?
j
Let k = 968 - 701. Which is smaller: k or -0.3?
-0.3
Let d = 0.0561 - 2.3261. Let l = 0.13 - d. Let k = -1.4 + l. Which is bigger: 19 or k?
19
Suppose -4*f = v + 13, -3*v - 14 = 5*f - 3. Are v and 14/9 non-equal?
True
Let b = -34 - -46. Which is smaller: b or -2?
-2
Suppose -4*r = -0*r + 4. Suppose 3*t - 28 = 2*o, 2*t + 4*o - o = -3. Suppose h - t = l + 2*h, 0 = 5*l + 2*h + 15. Is r equal to l?
True
Let l = 72.1 - 25. Let s = l + -6.1. Which is greater: s or 1?
s
Let h(g) = g + 16. Let x be h(-7). Suppose -l - x = 2*l. Let s be l - -2 - (-44)/56. Which is smaller: 1 or s?
s
Let m = -0.244 - -0.144. Is m at least 4/5?
False
Suppose -7*i = -2*i + 5. Let w be (-1859)/10560 - (-2)/12. Let c = w + 1307/2880. Which is bigger: i or c?
c
Let x = -2.3 + 5.4. Let h = x - 3. Suppose -162*d - 85*d = 549 - 55. Which is smaller: h or d?
d
Let c(p) = p + 2. Let s be c(-5). Let g(b) = b**3 + 3*b**2 + 1. Let v be g(s). Is 22 greater than v?
True
Suppose 32*y - 59690 = 126*y. Is -636 greater than or equal to y?
False
Suppose -3*n = 3*b + 93, -17*b + 3*n + 161 = -22*b. Is -35 < b?
True
Let r = 937.8 + -989. Which is bigger: r or 2?
2
Let i(g) = -9*g - 1. Let d be i(-5). Suppose 0 = v - 9 + d. Let t be (8/(-10))/(14/v). Is t bigger than 8/7?
True
Suppose -10 = -5*z, -t = z - 3 + 10. Which is bigger: -2 or t?
-2
Let w(a) = 3*a**2 + a - 3. Let u be w(2). Suppose 5*t - 2*t + 42 = -4*x, 2*t = 3*x - u. Let m(f) = f - 5. Let p be m(-5). Is p bigger than t?
False
Let l = 33 + -48. Let v be (1286/(-10) - -1) + (-16)/40. Let m be 2/l - v/510. Which is smaller: 0 or m?
0
Let n = -76.5 + 62.6. Let q = 30 - 44. Let g = n - q. Which is greater: -0.4 or g?
g
Suppose -1287*j + 1294*j + 3472 = 0. Which is smaller: j or -495?
j
Let w be (4851/(-2870))/(-9) + 3/(-15). Suppose -2*s + 6 - 1 = 3*v, -5 = -5*v. Which is greater: s or w?
s
Let q be 1151/(-4) - (7 + -10). Let x = 288 + q. Do x and 4 have the same value?
False
Let o = 35.987 + 0.013. Let i = 1 + o. Which is bigger: -1/3 or i?
i
Let v = 1.1 + -0.95. Let q = -2 + 2.15. Let l = v + q. Which is smaller: l or 4?
l
Suppose g - 3*s - 13 = 0, 7 + 20 = 3*g + 3*s. Suppose 5*a - 1 = 2*x, 10*x - 13*x + 46 = 2*a. Is g less than or equal to x?
True
Let f = 2278/2107 - 50/43. Let s = f - -1/98. Is 0 > s?
True
Let k = -368 + 368. Which is smaller: k or 2/333?
k
Suppose 0*x - 4*x = 5*y + 3, 5*y + 3*x + 6 = 0. Let v = 446 + -3113/7. Is v greater than y?
True
Let t = 11 + 0. Let r = 1686 + -1677. Which is smaller: t or r?
r
Let k(f) = -f**2 - 7*f - 12. Suppose -10*g - 23 = 27. Let x be k(g). Which is bigger: -3 or x?
x
Let l(x) = -x**2 + 1. Let k be 0 + (4 - 3) - (-2)/(-1). Let t be l(k). Is -1/103 at least as big as t?
False
Let f = -1006/11 + 1036/11. Let b = 188/77 - f. Suppose -5*r = -2*m - 0*r + 25, -4*m = -2*r - 10. Which is greater: m or b?
m
Suppose 0 = 2*j + 10 - 2. Suppose -10 = -u - 4*r, -11 - 4 = 3*u - 3*r. Which is bigger: j or u?
u
Let q be (-2)/(-8) + 95/38. Do 2/11 and q have the same value?
False
Let r(t) = -t**3 - 5*t**2 - 5*t - 4. Let b be r(-4). Let k = 280 + -1135/4. Let i = k + 17/4. Which is smaller: b or i?
b
Let f(d) = d**3 - 7*d**2 + 5*d + 7. Let o be f(7). Let a = o + -18. Let x be (1/9)/((-3)/a). Are -2 and x equal?
False
Let k = -1002 + 3040/3. Which is greater: -0.2 or k?
k
Suppose 2*b + 2*o + 4 - 2 = 0, -2*o = -4*b + 14. Does 2 = b?
True
Let n = -22 - -34. Let c be (-68)/7 - n/42. Let a = 88/9 + c. Are a and -6 unequal?
True
Let p be ((-5)/20)/(3/54*3). Which is bigger: 1 or p?
1
Let r = -34 + 25. Let d = 1 - 10. Is r less than or equal to d?
True
Let v = -1.131 - -1.331. Are -706 and v nonequal?
True
Let m(s) = -31*s + 90. Let z be m(3). Is -53/12 not equal to z?
True
Let q = 1 + -1. Suppose r - 101 = -i - 3*i, -44 = -i - 4*r. Let k be i/(-108) + (-3)/(999/(-92)). Are q and k non-equal?
True
Let g = 18 - 14.6. Let r = g - 3.5. Which is greater: r or 6?
6
Let a = 26/43 - 1424/1075. Let i = a + 356/425. Let l = 1 + -1. Are l and i equal?
False
Let p be 2/(-7) + (-26)/7. Let v be 42/(-10) + 32/40. Is v != p?
True
Suppose 12*j + j + 156 = 0. Let a be -1 - ((-10)/30)/((-2)/j). Is 7/3 smaller than a?
False
Suppose -28*v + 79*v = 51. Which is smaller: v or 3/509?
3/509
Let n be (-1 - (-74)/68)*(-12)/765. Which is greater: n or 0?
0
Suppose -11*t = -8*t + 4*j + 651, -5*t = 2*j + 1099. Which is greater: t or -0.2?
-0.2
Let w = -27 - -30. Suppose 4*i + 2*q - 18 = 0, 2*i - q - w = -0*q. Let t be -6 + -9*(-1)/i. Is t >= -4?
True
Let i(x) = -18*x. Let a be i(1). Let l be -18 + 6/36*3*(-6)/3. Are l and a non-equal?
True
Let r = -1 - 2. Let n(d) = d + 13. Let u be n(-9). Suppose u*b + 1 = 2*h + 13, -2 = -4*h - 5*b. Is r >= h?
False
Let b = 481 - 567. Is -86 at least as big as b?
True
Let a = -6.18 - 0.12. Let y = -1.3 - a. Which is smaller: y or -5/3?
-5/3
Let x = 1075 + -18243/17. Which is smaller: x or 1?
1
Let m be (4/(-12))/((-2)/12). Suppose -m*r - 7 = h, 21 = h + 4*h - 4*r. Is -32 greater than h?
False
Suppose -c + 8 = 5*z - 25, 4*z - 77 = -3*c. Suppose 11 = -11*n + 198. Let v = c - n. Which is smaller: 5 or v?
5
Let p(u) = -3*u**2 + 9*u + 64. Let j be p(-5). Is -56 greater than j?
False
Let x = -28 - -25.9. Let i = 0.1 + x. Let n = 292/35 + -41/5. Which is bigger: n or i?
n
Let i = -101.973 - -102. Which is smaller: i or -0.2?
-0.2
Let k = 295 + -305. Is k at least as big as 1?
False
Let p(c) = -c. Let y be p(10). Let z = -20 - y. Let t be 24/30 + (-12)/z. Which is smaller: 0 or t?
0
Let b = 2 - -2. Suppose -b*d + 15 = -1. Let r(k) = -2*k + 7. Let i be r(d). Which is smaller: i or -18?
-18
Suppose 0 = -3*l + 5*l. Suppose 0 = -x - l*x - 5. Which is bigger: x or -4?
-4
Let j = 5.1 + -1.5. Let y = j - 5.6. Which is bigger: y or 12?
12
Let i be (-4)/(-16)*0 - 52/(-13). Let o = -2 + -3. Is i > o?
True
Let o = -335.1 - -335. Does 142 = o?
False
Suppose -2*c - k = 39, c - k - 90 = 6*c. Let w = -4 - 14. Which is greater: w or c?
c
Let b = 2150 - 1495. Which is smaller: b or 657?
b
Suppose -5*z - 3*s + 5*s = -9, 5*z + 3*s = -1. Let o be 9/z*(-3)/(-9). Let v be ((-5)/15)/(o*-3). Is -1 >= v?
False
Let z = -2.339 + 1.339. Are 4.77 and z unequal?
True
Let g = 331.27 + -333. Let p = g + -0.27. Is p < 2/3?
True
Let n be (-9)/15 - 38/(-5). Suppose n*z - 10*z = 0. Suppose z = -4*t - 4, p - 3*t = -0*p + 2. Are 0.2 and p nonequal?
True
Let k be (-10)/(-4)*(-12)/15 + 7. Let w be k - (-535)/45 - (-4)/36. Which is smaller: 5 or w?
5
Let h be (5 - (2 + 1))*-2. Let q be (-2)/h + 10/4. Let m be (-3 + (3 - q))/(-1). Do m and -1 have different values?
True
Let l = 340 + -187. Which is smaller: 156 or l?
l
Suppose 2*n = -h + 11 - 29, -2*h - n = 42. Let f = -8 - h. Let w = f - 24. Is w greater than or equal t