q - 4*p - 4, 5*p = 15. Let l = t + q. Is -10 bigger than l?
False
Let r = 1172/17 + -9290/153. Is 9 not equal to r?
True
Let v be (4 + (-4 - 3) + 4)*-1. Is v less than 1/4?
True
Let g = 0 + 0. Let w = -278 - -149. Let f = 383/3 + w. Is f < g?
True
Let o = 75083/1812 - 497/12. Is -2/3 != o?
True
Let h be 68/(-28) + 3/7. Let g be -2*h*4/(-8). Is g at least as big as -6/7?
False
Let h = -53.02 + -14.08. Let b = h + 67. Is -0.5 bigger than b?
False
Suppose -18*u + 36 = -14*u. Suppose 0 = -13*w + u*w. Which is smaller: 3/4 or w?
w
Let p be -1 - (-2)/((-456)/(-188)). Is p at least -1?
True
Let a = 0.01 - 0.31. Let t = -328 + 328.2. Let k = t + a. Is k at most -1?
False
Let k = 39/4 - 87/8. Let z = k + 61/40. Is -0.5 less than z?
True
Let w = -0.678 - -0.058. Is 0 > w?
True
Let q = -172 + 193. Which is smaller: q or -7?
-7
Let r = -141 - -88. Let k = r + 50.7. Let h = 1.3 + k. Is h at least as big as -0.13?
False
Suppose 0 = -4*h + 4*s - 12, -3*h + 2*h = -2*s + 7. Which is smaller: h or -3/64?
-3/64
Let t be (-5)/(-17 - 3)*(-20)/5. Is t greater than or equal to 2/147?
False
Let c = -119 - -25. Is c < -93?
True
Suppose 594 = 49*c - 55*c. Let v be 5/c - (-24)/(-108). Do 0 and v have the same value?
False
Suppose -9*h = -10*h. Let d(p) = 0*p - p**3 + h*p**3 + 7*p - 5 + 5*p**2. Let z be d(6). Is z at least as big as 1?
True
Suppose 4*b + 3*h - 359 = 0, -2*b - 5*h = b - 261. Let k = b + -95. Which is bigger: k or -8?
k
Let k = -319 - -222. Suppose 24*r = 51*r - 40*r - 1274. Is k greater than r?
True
Let z(w) = w**3 + w**2 - w + 1. Let p(k) = k + 1. Let i be p(1). Suppose 4*d - i = -10. Let m be z(d). Is m at most 2/15?
True
Let r = 18.5 + -18.6. Let m = -0.36 + -0.04. Is r less than m?
False
Suppose 2*y - 112 = -5*l + 57, 3*y - 131 = -4*l. Suppose 69 = 2*h - l. Is h != -1?
True
Let b = -16.08 + 16. Which is smaller: b or 2.1?
b
Let h be 6/(-4)*(4650/45)/31. Let g = -8 + 8. Which is bigger: h or g?
g
Let l be (-2)/(-6)*-3 - -22. Is l equal to 13?
False
Let b be 0 + -6*(3 - 2). Let z be 3/(-2) - 177/b. Suppose -9*n = -5*n + z. Are -7 and n equal?
True
Let f(b) = -b**3 - 22*b**2 + 56*b + 150. Let s be f(-24). Is s greater than -339/8?
True
Let v = 7.86 - -2.08. Let x = 0.17 + 9.83. Let t = v - x. Are t and 2/5 non-equal?
True
Let d be 2/(-16) + 363/24. Suppose 3*j + d = -2*j. Which is greater: -8 or j?
j
Let k = -3296567/17 + 194767. Let c = 852 - k. Is 2 <= c?
False
Let d = -3063/5258 + 13/22. Is d greater than 1?
False
Let i(c) = 8*c + 48. Let n be i(-6). Let p = -70 + 106. Which is smaller: n or p?
n
Let i be (260/6 + 0)/(-2). Let n = 346/15 + i. Let p = 4 + -3. Is n less than or equal to p?
False
Let o = -168 + 167.7. Let g = -46/3 - -359/24. Which is smaller: o or g?
g
Let w = -1264/3 + 417. Suppose 2*t = 6*t + 2*d + 12, -14 = 4*t + d. Are w and t equal?
False
Suppose -2*g - 3*g + 4*s + 1205 = 0, 4*s = -4*g + 1000. Let h = g - 1718/7. Is h at most -1?
False
Let r(f) = f**3 + 10*f**2 + 9*f + 1. Let c(y) = -y - 18. Let n be c(-9). Let g be r(n). Suppose j + g = 6. Is 5 at least j?
True
Let o = 9 - 9. Let p be ((-70)/(-25))/(-7) + 8/(-30). Which is smaller: o or p?
p
Suppose 2*w = 10, -5*l - w + 64 + 31 = 0. Let x be (l/3)/1 + -1. Suppose 8*k + 35 = 3*k - x*i, 5*k = -2*i - 35. Is k not equal to -5?
True
Let g(h) = h**3 + 15*h**2 - 16*h - 13. Let k be g(-16). Which is smaller: -12 or k?
k
Let l = -14 + 16. Let h = -12 + 10. Which is smaller: l or h?
h
Let d = 103 + -122. Let a = -23/4 - 55/4. Are a and d non-equal?
True
Suppose 4*f - 9*m + 11*m = 14, 0 = -5*f - 3*m + 17. Which is bigger: -8 or f?
f
Suppose 2*f + 3 = d + 12, 2*f - 18 = 4*d. Suppose 4*o = -5*x - 10, 2*x = o + 3*o - 32. Let n be (4 + x)/(-6)*-5. Is d equal to n?
False
Let o(j) = j**2 - 7*j + 6. Let z be o(5). Suppose -2*t + 14 = 2*s, -s = 4*s + 2*t - 50. Let x be (-10)/4 - 6/s. Do z and x have different values?
True
Let v(z) = -z**3 - 6*z**2 - 3*z + 8. Let x be 3/1*2/(18/(-15)). Let k be v(x). Let w = 4 - 7. Is k >= w?
True
Let g(p) = 8*p + 12. Let q be g(-5). Let u be ((-110)/q - 4)/1. Let t = u + -25/42. Which is smaller: -1 or t?
-1
Let a(i) = i**2 - 10*i - 1. Let w be a(10). Let d be 30/(-18) - w/(-3). Let q be d/32*1/1. Is q equal to -1?
False
Let t be 1*1405/(-25) - -4. Let w = 5993/115 + t. Is 0 equal to w?
False
Suppose -b + 2*b - 3 = -j, -4*b = -3*j + 2. Which is greater: 2/697 or b?
b
Let y = -1.7 + -0.8. Let r = 2.3 + y. Let j = 29/15 + -8/5. Is j at most as big as r?
False
Suppose q + 5*p = 14, 5*q - 3*p + 38 = 108. Let b = 29 - 15. Is q equal to b?
True
Suppose -5*v = -92*w + 90*w + 16, 16 = 2*w + v. Is 52/7 bigger than w?
False
Let h(o) = o**2 - 2*o + 1. Let t = 20 + -19. Let v(d) = d**2 - d + 1. Let b be v(t). Let p be h(b). Is -5/7 > p?
False
Let f = 13 + -12.89. Let r = 28.99 + -29. Let h = r + f. Which is greater: h or 3?
3
Let x(p) = -9*p**2 - 6*p - 6. Let b be x(-1). Suppose -q = -4*q - 18. Let a = -16 - q. Which is smaller: a or b?
a
Let q be ((-4)/(-10)*-3)/4. Suppose 4*o = 2*w + 17 + 7, -2*w = 3*o - 18. Suppose 0*k = -6*k + o. Which is bigger: k or q?
k
Suppose 124 = -8*k + 108. Let v be 2/((-1)/(-4) + 0). Let b be -1 - (30/v)/5. Which is bigger: b or k?
b
Let c = 8.14 - 0.14. Let n = c + -7.92. Is n at most as big as 4?
True
Let j(i) = i**2 + 3*i - 5. Let w be j(-4). Let u be (1713/39)/(2/(-2)). Let z = 44 + u. Which is smaller: w or z?
w
Suppose 0 = m - 4*y - 16, 3*y - 12 + 24 = 2*m. Which is smaller: m or -11?
-11
Let p be ((-62)/30 + 1)/(5/(-15)). Suppose l + 2*o - 3 = -0*l, l - 3 = o. Is l at most p?
True
Let q be (-75)/(-9) + (-1)/3. Suppose -q = -4*d - 0*d + 2*u, d + 3*u - 9 = 0. Let z = -42 + 44. Which is greater: z or d?
d
Let f = -0.1 + -0.1. Suppose -5*o - 4*i = -38, 3*o + 4*i - 28 = -o. Suppose -12 = -o*g + 6*g. Is f > g?
False
Let h = 1668904337/954701 - 18/86791. Let i = 1759 - h. Let p = -2062/187 + i. Which is greater: -1 or p?
p
Let b = 0.72 + -12.12. Let x = b - -40.4. Is -2/3 <= x?
True
Let f = -24 + 11. Let y = -16.7 + 4.2. Let g = y - f. Which is smaller: g or 3/2?
g
Suppose -5*b + 2*i = 104, -5*b - 4*i - 31 = 61. Let g(y) = -7*y - 2. Let f(n) = -8*n - 1. Let z(m) = 3*f(m) - 2*g(m). Let a be z(2). Is a < b?
False
Suppose j = 3*j + 2. Let z = -72/55 + 5201/4015. Which is smaller: z or j?
j
Suppose -h = k - 0 - 1, h - 4*k - 6 = 0. Suppose 4*p - 74 = 2*u + 14, h*p = 2*u + 80. Let t be (12/u)/(49/(-6)). Which is smaller: t or 1?
t
Let d be (21859 + -5)*-2*(-1)/(-20). Let t = 2177 + d. Which is greater: t or -7?
-7
Suppose 0 = 28*u - 408 - 992. Which is smaller: 53 or u?
u
Suppose 1957 + 1598 = -15*u. Is u less than -237?
False
Let v = 179 + -179.1. Which is bigger: -279 or v?
v
Suppose 2*y + 3*p = -151, 0 = -2*y + 4*p - 33 - 125. Which is smaller: -76 or y?
y
Let q = -1.061 - 1.939. Is 1/184 < q?
False
Let c(w) = -w**3 + 8*w**2 + w - 4. Let g be c(8). Let u be (30/24)/(10/g). Let k be -1*1 - (0 - 1). Is u greater than or equal to k?
True
Suppose 0 = q - 5*l - 58, 0 = -q - 6*l + l + 78. Let a = q + -97. Is a < -29?
False
Let w(s) be the first derivative of s**4/4 + 8*s**3/3 - 9*s**2/2 - 20*s - 22. Let l be w(-9). Is l < -21?
False
Let k be 4/(-156)*(99/12)/(-11). Is 1 equal to k?
False
Let s(p) = -196*p**2 - 20*p + 37. Let b be s(2). Do -788 and b have the same value?
False
Let n = -477 - -573. Is n not equal to -4/3?
True
Let v = -50 - -50. Suppose 4*j + h - 31 = 0, j + 0*h - 2*h = 1. Do v and j have different values?
True
Let k be (3 + (0 - 2))/((-2)/46). Which is smaller: -18 or k?
k
Suppose -70 = 6*c - c. Let u be ((-90)/(-105))/(2/c). Which is smaller: 0 or u?
u
Let w(i) = -i**3 + 4*i**2 + i + 2. Let b be w(4). Let l be (46/(-6))/(18/(-54)). Let v = b - l. Is -17 < v?
False
Let z = 33.5 - 32.5. Is -50.4 greater than or equal to z?
False
Let n = -1505 + 1504.76. Is n less than 13?
True
Let i = -195 + 100. Which is greater: i or -94?
-94
Suppose -21 - 29 = -2*a. Suppose 19*i - 17*i = 3*y + 35, 100 = 3*i + 5*y. Is i greater than or equal to a?
True
Let h = 4/551 + 2207/75487. Is h <= -1?
False
Let l = 0.017919 - 24.016919. Let j = l - -24. Let q = 20.001 - j. Which is smaller: q or -0.1?
-0.1
Let b be -3 + 4 - (0 + 2). Suppose 2*v = -204 + 24. Let f = -1081/12 - v. Which is bigger: f or b?
f
Let n = -12/26647 + -17639894/932645. Let a = n + 96/5. I