-26/2905. Is c not equal to d?
True
Let v = -19.3 + 3.3. Let g = v + 16.2. Let c = -0.1 + g. Which is bigger: -12 or c?
c
Let q be 4/(-14) + (-1988)/(-98). Suppose 0*i = 4*i + q. Let l be 1 + i + 186/42. Is l at least 1?
False
Suppose h = 0, -56 = -3*y - y + h. Suppose -10 = 4*a - y. Is 1 less than a?
False
Let a = 770 + -778. Which is smaller: -21 or a?
-21
Let w = 26879/8 - 3375. Let z = w + 6639/440. Which is smaller: z or 2/3?
z
Let h(z) = z**3 + 8*z**2 + z + 4. Let c be h(-8). Let m be 2/(0 + (-1 - 1)). Let k be 2/(m + 6/10). Is k bigger than c?
False
Let m = 5 + -5.8. Let q = m + 1.8. Let l = 19 - 19.09. Is q not equal to l?
True
Suppose 0 = -0*h + 12*h - 48. Let z be (-1 + 1)/2 - h/5. Let w = 0.1 + -0.2. Which is smaller: z or w?
z
Let w = 6.8 + -6.656. Is w at least 2?
False
Let l = -0.071 - 0.032. Let w = l + 14.903. Let j = -16 + w. Is j > 0?
False
Let x = -52 - -63. Suppose -x*s + 3*s = 168. Which is smaller: -19 or s?
s
Let p be 3*(-1 - (-51)/45). Let j = 0.0523 + -8.0523. Which is smaller: p or j?
j
Let p = 28 + -15. Let v = 1048 - 1033. Is v equal to p?
False
Let y = 23 - 35. Let d be (-1 - -2)*y/(-42). Let o = 8 - 8. Do o and d have different values?
True
Suppose r + 8 - 2 = 0. Let a(b) = b**3 + 8*b**2 + 12*b + 4. Let k be a(r). Suppose 3 = 5*m - k*m. Is m at least 1?
True
Let b be 378/(-28)*(-8)/6. Suppose b = 3*r - 12. Suppose 0*l + 4*l = 4*g - 28, 0 = 4*g + 5*l - 46. Is r > g?
True
Let v = -363817/19 - -19153. Let n = v + -1218/209. Let a(h) = -h**2 + h - 1. Let s be a(1). Is n smaller than s?
True
Suppose 4*l = -79 + 103. Suppose -2*j = -3*j - 39. Let f be (j/l + 4)*-2. Is 5 greater than f?
False
Suppose 14 = -2*l + 3*c, 5*l + 6*c = 4*c - 35. Suppose 4*a = -7*a - 77. Is a smaller than l?
False
Let b = -109584 - -67503769/616. Let m = b + -1/44. Which is bigger: m or -1?
m
Let g be (-139)/(-1 - 3 - -9). Let k = g - -28. Suppose -3*m - 2 = 1. Which is smaller: k or m?
m
Let l = -0.0272 - 0.1128. Which is smaller: 2 or l?
l
Let z(y) = -4*y**3 + 3*y**3 - 5 + 2*y**2 + 4. Let j be z(-2). Suppose -f + 75 = 4*f. Is f not equal to j?
False
Let t = 543.729 - 544. Is t > -1?
True
Let a be (-81)/(-63)*5/(-3). Let y be (-1 + -1)/(2/3). Which is smaller: a or y?
y
Let p(h) = -h - 9. Let a be p(10). Let g = a - -25. Let v = g + 9. Which is greater: v or 16?
16
Let l be 184/(-94) - (-2)/1. Let v(p) = p**3 - 6*p**2 + p + 19. Let m(q) = 8*q - 59. Let z be m(8). Let a be v(z). Which is smaller: a or l?
a
Let o(w) = w**3 - 8*w**2 + 10*w - 17. Let v be o(7). Let m be (-80)/(-15)*(-2)/v. Is -2 >= m?
True
Let n be 1/(1/30*3). Let k = n - 16. Let z(o) = -o**2 + 3*o - 3. Let c be z(4). Is c != k?
True
Suppose 2*l + g + 0*g = -5, 5*l - g = -9. Let q(b) = 0*b**3 + 1 + 2 + 15 + b**3 - 16. Let z be q(l). Which is smaller: z or -8?
-8
Let g be -3 + (-729)/(-296) + (-6)/(-16). Which is smaller: -1 or g?
-1
Let c = -848 - -826. Which is greater: -21 or c?
-21
Suppose -2*i - 19*b + 34 = -16*b, -2*i - 5*b + 26 = 0. Does 23 = i?
True
Let h = -64 + 220. Let y be h/27 - 6/(-27). Let p be y/24 - 2/4. Is p at least as big as 1/3?
False
Let n = 35 + -31. Let i be 8/(n/4*1). Which is smaller: 9 or i?
i
Let f(c) = c**2 - 4*c - 21. Let x be f(7). Let j = -0.108 + 8.208. Let i = j + -8. Which is smaller: i or x?
x
Let i = 0.15 + -0.65. Let o = 1.5 - i. Let r = -6 + o. Which is bigger: r or 0?
0
Let s(w) = w**2 - w - 6. Let k be s(3). Suppose 32 + k = 8*g. Let f be (2/g)/((-4)/8). Which is bigger: f or -16/7?
f
Let w = 12 + -4. Let v = -0.49 + -54.51. Let t = v - -56. Are t and w non-equal?
True
Let y = 11 + -5. Let w be y/24 + (-3)/6. Let p = 3/28 + w. Which is greater: p or 1?
1
Let c(k) be the first derivative of k - 8 + 0*k**2 - 1/3*k**3. Let w be c(-1). Is w <= 0?
True
Let g = -291 + 298. Which is smaller: 17 or g?
g
Suppose 2*m - 5*z = -769, 106 - 845 = 2*m + 5*z. Which is greater: -1 or m?
-1
Let a be -1 + -3 + 23 + -20. Let m(f) = -f**2 - 5*f + 2*f**2 - f - 3. Let d be m(5). Which is smaller: d or a?
d
Suppose l + 3 - 9 = -5*b, -l = -b. Let y = l + 1. Let q be 4/14 + 17/14. Which is bigger: q or y?
y
Suppose q = 30 - 15. Let c be 21/(-45) - (-10)/q. Which is bigger: -1/2 or c?
c
Suppose -r - 3 = 3*u, 2*u + 41*r + 15 = 36*r. Which is bigger: 313/5 or u?
313/5
Let l(a) = -a**2 - 17*a + 10. Let r be l(-13). Suppose r = 4*n - 4*x + 6, -5*x - 10 = 0. Is 12 < n?
False
Let b = 78 - 76.8. Let i = 1.3 - b. Which is greater: 4/9 or i?
4/9
Suppose 0 = 5*d + 1282 - 1277. Which is smaller: 3/58 or d?
d
Let k = -6772/705 - -146/15. Is 1 at most k?
False
Let i = 59328406650/4331 + -13698547. Let h = 9/71 + i. Is 1 < h?
False
Suppose 3*y + 0*k - 12 = 2*k, -5*y + 3*k = -19. Let a(u) = 3*u**2 + 14 - 3 - y*u**2 - 7*u. Let m be a(5). Is m < 20/11?
True
Suppose 0 = -5*h - 15. Let l be -4*h/18*27. Let n = -217.9 + 218. Which is smaller: n or l?
n
Let v be (-6)/27 - (-19894)/3663. Let z = v + -57/11. Which is smaller: z or 1?
z
Let o = 754 + -753. Let g be 2/5 - 36/(-310). Let d = 349/496 - g. Is o equal to d?
False
Let k(b) = b - 2. Let n be k(3). Suppose 2*l - 4*u - 12 = -0*l, -3*l + 3*u = -12. Suppose l*w - 7 + n = -4*p, 3*w = 2*p + 9. Do 0.2 and p have the same value?
False
Let p be (-2 + 1)*2*6/12. Let y be -3*(5/(-30))/(p/(-16)). Does 10 = y?
False
Let a be (4/(-6))/((-6)/72). Suppose 0 = -3*x - 4*w - 5, -a = -2*x + 4*x - 2*w. Let d be 3*1/(30/x). Is d less than -1?
False
Let z(n) = n**3 - 2*n**2 + 5*n - 5. Let d be z(2). Suppose -d*w = -12 - 53. Is 13 >= w?
True
Let m(r) = 3*r**2 + 21*r + 20. Let y(f) = -f**2 - f**2 + 3*f**2 + 7*f + 7. Let d(i) = -6*m(i) + 17*y(i). Let k be d(-6). Which is smaller: k or 6?
k
Let q = -262.09 + 262. Which is smaller: q or -0.8?
-0.8
Suppose 37*v - 39*v = -40. Suppose -2*x - 32 = 2*t, -x - 38 = 3*t + v. Are t and -21 equal?
True
Suppose 20 - 4 = -5*d + 2*m, 2*m = 3*d + 8. Is 1.1 less than or equal to d?
False
Let g be (-4296)/330 - 20/25. Does -14 = g?
False
Let t = 1044 + -736. Is 309 at least t?
True
Let u = 11430/7 + -1574. Which is bigger: 58 or u?
u
Let n = -2981548/417 + 7150. Which is smaller: n or -1?
-1
Let z = 512/5 - 849/10. Is z greater than or equal to -3/2?
True
Suppose -64*y - 452 = 2748. Which is smaller: -49 or y?
y
Let w(g) = 4*g + 84. Let l be w(-28). Is l bigger than -25?
False
Let u = 54 - 51. Suppose -j + 2*h + 7 = 0, -4*h = u*j - j + 18. Which is smaller: j or 1/7?
j
Let b = 36 - -6. Let d = 0.01 + -0.01. Is b greater than or equal to d?
True
Let m = 206 - 346. Is -140 <= m?
True
Let g = 39 + 59. Let k = g - 97. Which is greater: 5 or k?
5
Suppose -6*u - 280 = 266. Is -181/2 at least as big as u?
True
Let s be (-69)/(-276) + (-22)/(-8). Are -2 and s non-equal?
True
Suppose 0 = 7*s - 2*s + 4*b + 14, 0 = -2*s + 4*b - 28. Let d(u) = -u + 1. Let p be d(16). Let z be -2 + p/(-9)*-3. Does s = z?
False
Suppose 0*v = 2*g + v + 3, -3*g - v = 3. Let s = -10/271 + -8602/1897. Let j = -30/7 - s. Is j bigger than g?
True
Suppose p - 5*p + 4 = 0. Which is greater: -6/133 or p?
p
Suppose -72 = 170*f - 162*f. Which is smaller: f or -10?
-10
Let a be (1 - -2) + (-164)/28. Suppose 3*q + 2*r + 9 = 3*r, 0 = -2*r - 6. Is a greater than q?
True
Let u(x) = -3*x - 9. Let b be u(0). Let c(d) = -d - 20. Let z be c(b). Is -11 at most as big as z?
True
Let n = 0.31 - -12.69. Let p = -2096.07 - -2109. Let w = n - p. Which is smaller: w or -0.2?
-0.2
Let h(n) = n**2 + 10 - 3*n + 12*n + 6*n. Let f be h(-14). Let w be 0 + (-2)/8*f. Is -2/7 > w?
False
Let p = -48 - -63. Let c be (-5)/(-4)*(p + -19). Which is bigger: -19/5 or c?
-19/5
Suppose 3*h - 24 = 4*m + m, -5*m = 2*h + 9. Is m less than -14?
False
Let g = -478/11005 - 2/155. Which is smaller: g or 0?
g
Let z(v) = v + 13. Let w(h) = -h + 7. Let c be w(4). Suppose c*m - 64 = 11*m. Let r be z(m). Is r at least 6?
False
Let o = -3 + 3. Suppose z - 3*x = 19, -76 = -5*z - 2*x + 36. Let w be 60/(-63)*(-33)/z. Which is smaller: w or o?
o
Let g be ((-18)/45)/(4 + (-57)/15). Which is smaller: g or 151?
g
Let b be -24*(-1 - (-1)/(-6)*-10). Let s be (-4)/(-8) + (-70)/4. Is b at most as big as s?
False
Let w be 42/6 - 6 - 660/668. Is 0 at least w?
False
Let z(a) = a**3 + 5*a**2 - a - 2. Let u be z(-4). Suppose 0 = -3*w + 75 - 36. Which is greater: u or w?
u
Let f = -49 + 49.06. Let x = 0.06 - f. Which is bigg