 -6?
False
Let g be (-7)/(-8596)*-3*(-8)/12. Is -0.1 <= g?
True
Let i = -0.416 + 0.426. Which is bigger: -18 or i?
i
Let n = 1212 + -1202. Which is smaller: n or 2?
2
Let k = 6.9 + -56.9. Let q be (-416)/768 - 2/(-64)*-4. Is q > k?
True
Let n(y) = 4*y - 3. Let g be n(7). Let c = 37 - g. Let j = -13 + c. Is -4/23 >= j?
True
Let f = 36 + -36.3. Which is bigger: f or 41/5?
41/5
Let q = 0.081 + -0.181. Is 0.072 < q?
False
Let z = -41 - -33. Let h(n) = -3*n - 25. Let m be h(z). Which is smaller: m or -1/3?
m
Suppose -2*u = -4*y + 5*y + 264, u + 5*y + 141 = 0. Which is greater: -0.2 or u?
-0.2
Let w = -1279 + 38357/30. Is 0 greater than w?
True
Let z = 109 - 109. Is 1/137 equal to z?
False
Suppose -10*s = -30 - 60. Let j = 0.5 + -0.3. Which is greater: s or j?
s
Let g be (8/(-12))/((-14)/903). Is 44 > g?
True
Suppose -82 = 16*o - 482. Is o != 25?
False
Suppose 26*b - 8*b = 5652. Which is greater: 316 or b?
316
Let a = -23 - -28. Suppose 4*g = -3*k - 0*k - 513, -363 = 3*g - a*k. Let n be (-32)/56 + (-44)/g. Which is greater: -2/21 or n?
-2/21
Let g = 373.6 + -370. Is g < 1/2?
False
Let v = 76 - 36. Suppose z = 6*z + v. Is -2 less than or equal to z?
False
Suppose -8*l = -14*l - 19212. Let s = l + 1015032/317. Is 1 not equal to s?
True
Let d(y) = 2*y + 5. Let u be d(5). Let c = u + -15. Let q = 259 - 5181/20. Which is smaller: q or c?
q
Let i = -2 + 2. Suppose -4*n - 2*s = -226, 2*n - 3*n - 5*s = -70. Let k be (2 - n/30) + 0. Is k greater than or equal to i?
True
Let b = -53 + 82. Suppose 0 = -3*d + 3*x + 102, 4*x - 9 + 0 = -d. Do d and b have different values?
False
Let a be 150*(-7 - (-82)/10). Is 180 != a?
False
Let n = -196.5 + 196.6. Suppose -4*p - 3*b - 2 - 5 = 0, -2 = 2*b. Is p smaller than n?
True
Let z = -2/647 - 8389/7117. Is z <= -2?
False
Let s be (0 - (6 - 4))/(-273). Let m = 304/91 - s. Is 3 <= m?
True
Let a be (42/2)/((-6)/(-6)). Suppose 0*q - 14 = q - 4*o, q + 3*o = -a. Is q at least as big as -19?
True
Let y = 42 - 42.2. Let h = 11 - 9. Let n = -1 + h. Which is bigger: n or y?
n
Let u = 51.9 - 52. Is -1.5 at least u?
False
Suppose -4*z + 2216 = -4*u, z + 5*u - 539 = u. Suppose -5*w = 3*r + z, -4*w + 124 = -5*w + 4*r. Is w not equal to -112?
False
Suppose -2*x = -3*d - 254, 5*x + 3*d = 155 + 501. Which is bigger: x or 391/3?
391/3
Let t be (-11)/(-77) - 4990/238. Let b = 4064/187 + t. Do 1 and b have the same value?
False
Let b(s) = -2*s**2 - 57*s - 166. Let v be b(-27). Are v and -421/5 unequal?
True
Suppose -3*r = 14 - 2. Let t = 8 - r. Which is greater: 14 or t?
14
Let t = 0.22 - -2.18. Let m = 6.4 - t. Do -3 and m have different values?
True
Let q = 3077 - 729245/237. Is 0 greater than q?
False
Let o = 2494.859 + -2496. Let q = o - -0.141. Is q at least as big as -8?
True
Let r = 223 - 40. Suppose -2*p - r = 4*f - p, 0 = 4*p + 12. Let i be 317/15 + 6/f. Is i < 20?
False
Let d(i) be the third derivative of 0*i + 9*i**2 + 0 + 1/12*i**4 + 2*i**3. Let g be d(-6). Is g bigger than 2/23?
False
Let o = 35 - 34.9. Which is smaller: -0.06 or o?
-0.06
Suppose 4*f + 1 = 13, 5*f - 15 = 3*s. Which is smaller: s or 3/238?
s
Let t(u) = 2*u**2 + 36*u + 3. Let j be t(-18). Are j and -4 equal?
False
Let h = -2 + 3. Let x = h + 0. Let t = 704/15 + -47. Is t greater than x?
False
Let w = 0.33 + 25.67. Let d = w - 26. Is d at most as big as 0.2?
True
Let m(x) = -x**2 + 24*x + 40. Let l be m(19). Which is greater: l or 134?
l
Let m = 1.4 + -1.31. Let d = -0.29 + m. Suppose -2*l + 3*i - 4*i = -1, 4*l + i + 1 = 0. Which is smaller: l or d?
l
Let z be (-249)/(-5) - 54/(-270). Is 52 >= z?
True
Suppose 0*m - 57 = 2*m - 3*s, 3*m - 5*s = -87. Let i(v) = 4*v + 8. Let a be i(-8). Is a less than or equal to m?
True
Let f = -77 - -77. Let g be ((122/(-40))/(-1) - 3)*2. Which is smaller: g or f?
f
Let t = -1081 + 1063. Is t less than 2/3?
True
Let f be 6/(-3)*(-122)/(-4). Suppose 20*d + 2260 - 580 = -8*d. Which is bigger: d or f?
d
Let z = 5/598 - 14/299. Do z and -28 have the same value?
False
Let r = -5 - -2. Let i = 4.54 - -2.46. Is r greater than i?
False
Let a(x) = 13*x - 489. Let v be a(38). Is v smaller than 0.1?
False
Suppose -4*q + 0*x = -5*x - 7, -4*q + 10 = -2*x. Suppose 0*a + a + 69 = 5*j, -q*a + 14 = 2*j. Is -2 greater than j?
False
Suppose 4*t = 7*t + 6, -3*t = 3*g + 3. Let c be (-24)/80 - (-1)/2. Which is bigger: g or c?
g
Let i be (4 - (-3 + 7))/(-2 - 0). Suppose -3*z = -4*k + 14, 0 = 4*z + 4*k - i*k. Which is bigger: z or -14/9?
-14/9
Let a = -269 + 183. Let t = 76 + a. Which is bigger: t or -1/3?
-1/3
Let c(s) = -s + 20. Let h be ((-64)/6)/(4/(-6)). Let b be c(h). Let o be 1/b + 45/(-84). Is 0.5 > o?
True
Suppose 129 = 3*f + 3*d, 4*f + d - 151 = 4*d. Suppose 6*v - v - f = 0. Let n = 17 - v. Is 8 at most n?
True
Let f = -5 - 5. Let y = 8 + f. Let s = 17/42 - 1/14. Which is bigger: s or y?
s
Let k(j) be the first derivative of j**4/4 - 7*j**3/3 + j**2/2 + j - 5. Let a be k(7). Suppose -q - a = -9. Which is smaller: -2 or q?
-2
Let y = 0.29 - -1.71. Let w = -467/7 - -67. Is w greater than y?
False
Let t be (-1 - (-354)/(-195)) + (4 - 1). Are 0 and t unequal?
True
Suppose 0*i - 2*t + 1 = -i, -3*t = 0. Let b = 0.05 - 11.05. Let w = b + 10.9. Which is greater: i or w?
w
Let x(f) = -f**2 - 10*f + 1. Let a be x(-5). Let m = -22 + a. Suppose -w - q + m = 11, 5*w = 3*q - 19. Do w and -1 have the same value?
False
Let k = -0.064 - -0.264. Let a = -0.6 + 1.4. Let t = k + a. Is 3/4 greater than or equal to t?
False
Suppose -3*m - 4*q + 9*q + 4037 = 0, 0 = -4*q - 4. Let j = m + -14796/11. Is 1 at most as big as j?
False
Let h = 1704 + -1355. Is h at least 350?
False
Let p = 12 - 7. Suppose 0 = -p*a + 2*g - 54, -3*a = a + 3*g + 57. Suppose -35*c + 16 + 51 = 557. Is c >= a?
False
Suppose 0 = -11*p + 24 - 2. Suppose -r - 1 = -p. Let v = 206/805 + -12/35. Does r = v?
False
Let w(z) = -z + 18. Let v be w(16). Suppose -3*p + 3 = 3*d, 5*d + 3 = p + v. Is -2/65 != p?
True
Let b(t) = -5*t**2 + t + 5. Let g be b(3). Let o = 59 + g. Are 22 and o equal?
True
Let b(w) = -w**2 + 20*w + 87. Let t be b(23). Is t greater than or equal to 19?
False
Let s be (6*10/90)/(20/6). Is 95 less than or equal to s?
False
Let h be 58/3 + 2/(-4). Let x = 170/9 - h. Suppose 23*y + 58 = 81. Which is greater: y or x?
y
Let w be (5 + (-6 - -8))*(-6)/(-14). Let o = 4 - 2. Does o = w?
False
Suppose 27*a = 107 + 352. Which is smaller: a or 13?
13
Let b(c) = 80*c - 250. Let x be b(3). Let m = -1 - -22. Suppose -4*p - 33 = k, 0 = -3*p + p + k - m. Which is smaller: x or p?
x
Let c = -0.6 - -21.6. Let x = 22 - c. Which is bigger: x or 1/3?
x
Let y = -214 - -1496/7. Is y at least 1/23?
False
Suppose -2*v = -6, -2 = 5*k - 2*v - 16. Let h(o) = -o**2 + 19*o - 75. Let g be h(6). Suppose 4*z + k*c + 36 = 0, -2*z - 24 = 3*c - g. Which is greater: z or -4?
-4
Let t = 1.1 - 1.2. Let s = 23 + -7. Let n be (-3)/(-1 + 22/s). Is n not equal to t?
True
Let y = 1 + -1. Let w = 0.23 - -10.77. Let t = w - 11.5. Which is smaller: y or t?
t
Let o = -20 - -20.16. Let c = -0.24 - o. Let b = c - -0.5. Is b greater than or equal to 0.06?
True
Let j be 1/3 + (-1)/3. Suppose 5*m = -m. Suppose 5*b + m*b = j. Which is smaller: b or 2/55?
b
Suppose 5*v = -37 - 33. Let d = 8/15 + -6/5. Which is smaller: v or d?
v
Let t = -251.5 + 250. Are -10 and t nonequal?
True
Suppose 954 + 146 = -22*n. Are -360/7 and n equal?
False
Suppose -3*g = 1 - 7. Suppose -a - 4*o + 6 = -g*a, 2*a - 2*o = 0. Let v be (-2)/7 + 156/(-42) + 0. Which is smaller: a or v?
v
Let o(b) = -b**2 - 2*b + 1. Let h be o(2). Suppose 12 + 9 = 3*y. Suppose 3*q + 3 = 5*f, 2*q - y*q - f - 33 = 0. Are q and h nonequal?
True
Let t be ((-20)/140)/(2/164). Which is greater: -13 or t?
t
Let b = 0.06 + -48.06. Let z = -53 - b. Which is greater: 1/5 or z?
1/5
Let w = -9551/3 - -3139. Which is bigger: -45 or w?
w
Let b = -3/22 - 59/11. Let g be (10/(2 - 1))/(-2). Is g less than b?
False
Let v(f) = 2*f**2 - 3*f + 1. Suppose 0*y - y = -4*x + 5, 0 = 3*x + 2*y - 12. Let b be v(x). Let n = -571/4 + 145. Which is smaller: n or b?
n
Let z = 0.05234 - -2.89066. Let r = -0.057 - z. Which is bigger: r or 1/11?
1/11
Let q be (-2)/((4/14)/(-1)). Let c be (-4)/q - 0/(-1). Suppose 0*r + 3*r - 9 = 12*r. Which is bigger: c or r?
c
Let b be 576/108*147/4. Is b greater than or equal to 196?
T