 c - 19. Is 6 bigger than h?
False
Let a be 3/(-6) + 9/6. Let d be 0 - 2 - (-1 - -55). Let o be (-10)/d - 1/(-4). Which is greater: o or a?
a
Let b = 2.222 - -168.778. Which is smaller: b or -2?
-2
Suppose 15*s + 1188 + 42 = 0. Which is smaller: -245/3 or s?
s
Let w = 3/235 - 503/2585. Let r = 15.7 + -8.7. Let j = 5 - r. Is w equal to j?
False
Suppose -6*d = 74 - 56. Let h(t) = -3*t**2 + 5*t - 3. Let o be h(3). Let n be (-10)/o - (-8)/d. Is n equal to -1/2?
False
Let y = -43.163 - -0.163. Is 0 less than y?
False
Let t(q) = 4*q - 297. Let n be t(42). Which is greater: -127 or n?
-127
Let z = -48 - -78. Let i be ((-325)/444 - z/(-40))*6. Which is greater: i or 0.2?
0.2
Let b be (24/(-12))/(4/(-10)). Let s = 0.01 - -1.99. Do s and b have different values?
True
Let n be 58/(-6) + (-1)/3. Let k = -982 + 974. Is k greater than n?
True
Suppose 13*z = 14*z. Is -19 greater than or equal to z?
False
Suppose -43*o + 48*o + 10075 = 0. Which is smaller: o or -2016?
-2016
Suppose 7*x - 2*x = 25. Suppose -x*r + 4*r = -21. Which is greater: r or 22?
22
Let x be 4/10 + (-314)/10. Let n be -4 - -1 - (x + 5). Let i = 22 - n. Which is smaller: -2/31 or i?
i
Suppose 6*n = 14*n - 8. Let x be (16 - 16)/(2 - n). Is x smaller than -1/5?
False
Let r = 221 + -107. Let m be 5 + r/(-21) - (-11)/(-7). Is 0.1 at least m?
True
Let a be 4 - 32/4 - (0 + -32). Let k be (-2)/a*4 + (-932)/(-126). Which is smaller: 7 or k?
7
Suppose 4*v - 5*m + 79 = 0, 0 = v - 3*m - 1 + 26. Which is greater: -13 or v?
-13
Let i = 40 - 312/7. Is i > 0?
False
Suppose f = -f - f. Suppose -3*x + 48 - 60 = f. Which is bigger: x or -48/11?
x
Suppose -5*i + 2 = -4*i. Suppose -5*p + 5*n = 50, i*p - n + 16 = -0*p. Which is smaller: -5 or p?
p
Let d = 0.07 - 0.67. Let z = d + -0.3. Let l = -0.1 + z. Which is greater: l or 2?
2
Let h = -5 + 6. Let f be (-1*(34 + h))/(-2). Let n = -17 + f. Is n at most -1?
False
Let o = -0.16 + 0.26. Let i = o + 0. Let m be (-1 + -1)*1/(-14). Which is greater: i or m?
m
Let r = -307 - -7063/23. Let b = 50 - 48. Let g be 18 - 19 - (2 - b)/(-1). Is g less than r?
True
Suppose 5*r + 5*f = -19 + 54, -3*f - 27 = -3*r. Suppose 6 = 2*v + 4. Is v at least r?
False
Let y = -16.04 + 0.04. Let f = -16.1 - y. Which is greater: f or 0?
0
Suppose 0 = 4*r - u - 16, -5*u - 7 - 5 = -3*r. Suppose -4*k + 8 - r = 0. Which is smaller: k or 4/23?
4/23
Let g be (-2)/5 + (-216)/(-15). Let q = 6 + 19. Suppose -20 = -3*y + y - 2*h, 2*h = y - q. Which is smaller: g or y?
g
Let a be (1 - -6)/(7/1). Let r(x) = -7*x + 1. Let g be r(-2). Let w be 18/(-70) + 6/g. Does a = w?
False
Let m be 14132/(-12)*2/60. Let j = m - -196/5. Suppose -3*x + 5*o + 3 = o, 3 = 3*x + 5*o. Is x greater than j?
True
Let p = 413488299655198/904534873 - 1/82230443. Let c = p + -456764. Let z = c + -363. Are z and 1 unequal?
True
Suppose 32 = 5*n + 2. Suppose 2*s - 268*w + 267*w = 15, -4*s + 5*w = -33. Is n less than s?
True
Let v = 237 + -235. Is v less than or equal to 2?
True
Suppose 2*q - 22 = -0*q. Let z be ((-18)/24 - 2/8) + 13. Are q and z non-equal?
True
Let t = -101 + 99. Which is smaller: t or -27?
-27
Suppose 3*v = -t + 4*t + 27, 5*v - 24 = 2*t. Let p = 4.9 + -5. Which is smaller: t or p?
t
Suppose 0 = -3*m + 15, -29 = -5*s + 2*m + 26. Suppose -4*j = -j - 42. Is j at most s?
False
Let m = -20.9 + -1.1. Let h = m - -3. Let q = -18.8 - h. Which is smaller: q or -4?
-4
Let k(g) = g**3 + 11*g - 3 - g**2 + 1 - 8*g**2. Let b be k(8). Let i(c) = -218*c - 1069. Let s be i(-5). Do b and s have the same value?
False
Let w = -0.923 + 0.223. Which is smaller: w or -1.1?
-1.1
Let n = -1148977/103 + 11155. Is -1 less than n?
True
Let s = -0.33 - 0.67. Let o = 0.045 - 12.045. Is s equal to o?
False
Suppose 3*u = -5*x - 7, -x + 0*x - 6 = -4*u. Let j be u/5*-2*210/24. Is -3 at most as big as j?
False
Suppose a - 265 = 3*u, 0 = -u - 2*a - 59 - 41. Is u bigger than -90?
False
Let o be ((-9)/7)/(-3)*(15 - 8). Is 11 greater than or equal to o?
True
Let a be 10/(-6) + (-40)/(-15). Is -401 bigger than a?
False
Suppose 3*d - 23 = 4. Let j be 4/36 - (-2)/d. Let i = 0.2 + -0.3. Is i greater than or equal to j?
False
Let b = 3 - 11. Suppose -5*u = 3*o + 46, 0 = o - 6*o - 3*u - 50. Let x = o - b. Which is smaller: 9 or x?
x
Let j be 8/2 - (-7 + 8 + -9). Is j bigger than 12?
False
Let l be 6/30 + (-414)/(-15). Let b = l - 696/25. Is 0 less than b?
False
Let r = -5.434 + 5.5. Let p = r + 0.034. Is p less than 3/2?
True
Let h = -41 - -35. Let i = h + -35. Is i smaller than -40?
True
Let p = 46 - 20. Let s = 280/11 - p. Which is smaller: -2 or s?
-2
Let f be 3419/1105 - 3/((-30)/(-8)). Which is greater: f or 3?
3
Let d = 462 - 462.2. Is -29 less than d?
True
Let r be (-658)/(-3) - 12/72*42. Is 212 at most as big as r?
True
Let f = 202 + -131. Do 66 and f have different values?
True
Suppose 6*t + 0*t - 36 = 0. Suppose 0 = 5*a + 1 - t. Let m = -622/9 + 69. Is m less than a?
True
Let j(i) be the second derivative of i**3 - 43*i**2/2 - 22*i. Let c be j(8). Suppose -1 - 2 = -u. Which is greater: c or u?
c
Let d = 3/13 + -5/13. Which is smaller: -22 or d?
-22
Let j = 1052 + -4197/4. Let o(t) be the third derivative of -t**6/120 + t**5/15 - t**4/24 - 2*t**3/3 + 2*t**2. Let w be o(3). Which is smaller: j or w?
w
Let n(z) = -z**2 + 33*z - 10. Let x(r) = -r**3 + 11*r**2 + r + 22. Let m be x(11). Let d be n(m). Let g be 4/(-14) - 6/28. Which is smaller: g or d?
d
Let d = 1 + -1. Let b be 34/4*(3 - -3). Suppose 3*x - b = -d*x. Which is bigger: 16 or x?
x
Suppose 43*b = 46*b - 132. Suppose -4*u - 3*g + 59 = -102, 0 = -5*u - 5*g + 195. Is u greater than or equal to b?
True
Suppose -134 = -8*v - 126. Is v at most 2/939?
False
Suppose -4*o + 9 = -5*o. Suppose 40 = 23*g - 18*g. Suppose -2*u - g = 8. Which is greater: u or o?
u
Let n(a) be the third derivative of a**6/40 + 13*a**5/60 + a**4/4 + a**3/2 + 33*a**2. Let p be n(-4). Which is smaller: p or 0.07?
p
Let z(f) = -5*f**3 + 3*f + 2. Let b be z(-1). Let a = 3 - 2. Suppose b*l = a + 3. Is l at most as big as -1/8?
False
Let x = -6.541 - -6.6. Let b = x + 0.041. Is -18 < b?
True
Let d(b) = -b**2 + 3*b - 44. Let u be d(9). Is -98 > u?
False
Let o be (-6 - -9)/(1/7*3). Suppose 0 = 2*a + o - 9. Do a and 6/11 have the same value?
False
Let v = 7 + -0.6. Let n = v + -6.39. Which is smaller: n or 8?
n
Suppose a - 2*y = -6, 11*a - 13*a - 8 = -3*y. Which is smaller: 454 or a?
a
Let g(k) = 35*k + 280. Let x be g(-6). Which is bigger: 72 or x?
72
Let s(r) = 16*r + 2. Let z be s(-1). Let k be ((-2)/(-5))/(z/20). Suppose 8 = -g + 2*j, j - 4 = g - 0*g. Is k not equal to g?
True
Suppose 4*a + 7 - 3 = 0. Let u = 4 - 2. Are u and a non-equal?
True
Let w be (8/6)/(3/(-153)). Let r = 67 + w. Is -3 at least r?
False
Suppose 4*q + 12 = -y + 6*y, 0 = -2*q + y - 6. Suppose -4*o - 2 = 118. Let l = -32 - o. Which is bigger: l or q?
l
Let f = 2 + 2. Suppose -4*q - 3*o + 2*o + 33 = 0, 3*q + f*o = 28. Let z = q - 8. Is z smaller than 5/8?
True
Suppose 2*v - 8 = -2*v. Suppose -2 + 0 = -v*x. Let i(t) = -3*t + 3. Let o be i(3). Does x = o?
False
Let f = -254261/6 - -42655. Let x = f + -277. Is x bigger than 0?
True
Let o be 8/28 + 360/(-35) + 3. Which is smaller: o or -12?
-12
Let t be ((-342)/14)/(-3)*28/(-42). Is t at least -4?
False
Suppose -4*u = -1310 + 1314. Is -4/63 < u?
False
Let o = 24 - 34. Let f be o/(-15) - (-8)/(-21). Let n(t) = -2*t - 4. Let v be n(-3). Is f at least as big as v?
False
Let c = 250 - 489/2. Let h = -13004 - -13009. Which is bigger: h or c?
c
Let q be 3/(-7) + 24/7 + -16. Is q >= 3?
False
Let j be 2/(-1)*(-39339)/306 + -1. Let r = j - 256. Which is greater: -0.2 or r?
r
Let r(q) = -674*q - 213. Let z be r(3). Do z and -2236 have the same value?
False
Let p = 1.288 - 0.288. Which is greater: p or -17?
p
Let g(d) = 8*d**2 + 21*d - 56. Let b(v) = 2*v**2 + 5*v - 14. Let r(l) = -9*b(l) + 2*g(l). Let s be r(-6). Is s less than -39?
True
Let l(x) = 5*x**3 + 9*x**2 - 16*x - 8. Let v(k) = 4*k**3 + 8*k**2 - 16*k - 8. Let c(d) = 3*l(d) - 4*v(d). Let t be c(-7). Is t less than -6?
False
Suppose 1478 + 370 = 84*t. Suppose -4*n + 2*q = -6 - 78, 0 = 2*n + 4*q - 52. Is n smaller than t?
False
Let y = -23/4 - -181/28. Which is bigger: 0 or y?
y
Let j = -11 - -34. Let p(a) = a**3 - 24*a**2 + 25*a - 14. Let c be p(j). Do 32 and c ha