 19. Is -6 >= m?
False
Let u(m) = -2*m**2 + 7*m - 79. Let c be u(7). Is 0 bigger than c?
True
Let s(b) = b - 27. Let g(j) = j**2 - j - 30. Let y be g(-7). Let d be s(y). Do -1 and d have different values?
False
Suppose f + 9 = 2*p, 3*f = -p - 2 + 3. Suppose 15 = p*c - 5. Let z be c/15*(-1 - -4). Which is smaller: z or 2/11?
2/11
Let z = 2296 - 2313. Which is greater: -118/7 or z?
-118/7
Let a be 1*(7 - (6 + 0))*-433. Is a >= -432?
False
Suppose -m - 78 = m. Let g = -50 - m. Is g at most as big as -11?
True
Suppose -s + 26 - 11 = 0. Let z = -294 + 617/2. Let y = z - s. Which is smaller: y or 5?
y
Suppose -5*s + 34 = -16. Let z(w) = -w**2 + 10*w + 16. Let y be z(s). Is 15 < y?
True
Let r = -187 - -238. Which is greater: r or 50?
r
Let f(o) = -6*o - 17. Let p be f(-5). Suppose 5*k + 81 = -4*h, -2*h + 3*k - 44 - p = 0. Let q be (6 - h)/((-21)/(-3)). Which is greater: q or 4?
q
Let y = 17 - 119. Which is bigger: y or -1?
-1
Suppose -42*s = -46*s + 8. Which is smaller: s or 22/7?
s
Let m = -2 - -3. Let d be 940/77550*(-6)/8. Is m at least as big as d?
True
Let g = 148 - 127.9. Let x = 20 - g. Which is bigger: -0.13 or x?
x
Let d = 2285 - 3216. Which is greater: 0 or d?
0
Suppose -4*c = 4*j - 20, -3*j + 2*c + 3 = 8. Let h be ((-9)/(-12))/(15/40). Suppose -t + h*t = 0, -4*d + 3*t = 0. Which is greater: d or j?
j
Let f = -1666 + 1665.798. Is f smaller than 1/12?
True
Let h = 1.153 - -1193.847. Which is greater: 0 or h?
h
Let o = 356 + -357. Is o less than or equal to -54?
False
Let t = 987/4924 + 5341505/11133164. Let u = t + -23/34. Which is bigger: u or 0?
u
Let y = 15669.13 + -15779. Let s = y - -112. Let x = s + -2.2. Is x <= 0?
True
Let v be 1*16/(-8) + (-32)/(-14). Are v and 2/5 unequal?
True
Suppose 0*n = n + 19. Let g = n - -16. Are -3 and g nonequal?
False
Suppose -3*k - 5 = -b, 3*b - 19 = k - 12. Let z = -1 - 1. Is b greater than or equal to z?
True
Let a = 347.22 + -343. Let k = a - 4.3. Is 2 <= k?
False
Suppose 0 = 4*p + 69 - 129. Suppose -5*x + p = 40. Which is smaller: -7/2 or x?
x
Let b = -3 + 2.8. Let t be 56/105*6 + -3. Is t bigger than b?
True
Let v = 472.4 + -472. Is v equal to 3/17?
False
Suppose -4*m + v + 184 = 3*v, -5*m - v + 224 = 0. Suppose -30*g + 32*g = m. Are g and 21 unequal?
True
Let n = -119/30 - -3409/330. Which is greater: -2/3 or n?
n
Suppose -2*q = -0*q - 4. Let x(i) = 3*i**2 - 172*i - 4*i**2 + 170*i + 0*i**2. Let l be x(q). Is l equal to -8?
True
Suppose 2*k + 5 + 3 = 0. Let g = 1654 - 1654.4. Which is greater: k or g?
g
Let u = -1621 + 175069/108. Which is smaller: u or -1?
-1
Let i = 54 - 46. Let a(j) = -2*j. Let b be a(-1). Which is bigger: b or i?
i
Suppose -12 = -6*s + 2*s. Suppose 0 = 3*p + 4*z - 3*z - 31, -s*z - 33 = -5*p. Are 0.2 and p nonequal?
True
Let o(v) = 3*v**2 + 5 - v**2 - 5*v - v**2. Let y(a) = 2*a + 52. Let j be y(-25). Let g be o(j). Is 1/7 smaller than g?
False
Let w be 0 + 11 + 1 + -2. Let j be 10/50 + (-12)/w. Let h be (-2 + 37/18)*4. Which is greater: j or h?
h
Let a = -96 + 68. Let p be 1/7*a/(-64). Do p and 1 have different values?
True
Let r = -56 - -56.2. Let i be -3 + 230/26 + -6. Which is smaller: r or i?
i
Let n be (-2)/(-2)*(-1984)/(-4). Let g be 14/(-21) - n/3. Let z = -1157/7 - g. Is z bigger than 1?
False
Let a be 1 + 0 - (-10)/(-4). Let y = 49 + -53. Let b be ((-3)/12*0)/y. Is b less than a?
False
Let b = -0.1139 - -0.0139. Which is bigger: -666 or b?
b
Suppose -2*s - 3*k - 1 = 0, 3 = 2*s - 4*k - 17. Suppose s = -2*m, 9 = c + 2*m - 7*m. Which is smaller: c or -11/6?
-11/6
Suppose 6*c - 39 = 3. Suppose -2*f - 11 = -c. Is f != -2?
False
Let f be 8/(-24) - 3/(-11). Let m = -1.2 - -1.3. Is m at least as big as f?
True
Let j(b) = -b**2 - 14*b + 7. Let l be j(-18). Which is bigger: l or -74?
l
Let z be (-4)/6 - (-2)/3. Let w = 101 - 100. Let g be (w/(-2) + 0)/(644/(-56)). Is z at least g?
False
Suppose -84 - 29 = -5*s + 4*m, -5*s + m = -122. Which is bigger: s or 3?
s
Let q be (1 - 12/8)*-56. Let b be 29/(-4) + 7/q. Let s = b - 2. Which is smaller: -12 or s?
-12
Let n be ((-1)/(-3))/(2/(-6)). Suppose -u + 5*x = -16 + 48, -5*u - 60 = -5*x. Is n < u?
False
Let n = 24/157 - 4739/32028. Which is smaller: -1 or n?
-1
Let j = 4 - -5. Let y be (-60)/(-18)*(-6)/4. Let s be (-3)/(-3)*(15 + y). Is j equal to s?
False
Let s(l) = 39*l**2 + 7. Let u be s(6). Let k be (-2)/11 - u/(-4675). Which is smaller: k or 1?
k
Let y be (-37)/26 + 1 - 0. Let i = -12/13 - y. Which is bigger: -3 or i?
i
Suppose 0*b - 66 = -4*c + 2*b, 3*c = -b + 37. Suppose -w + 3 = -2. Suppose -2*n + 5*v + 35 = 0, v = w*v + 4. Is c at most n?
True
Let t be (-11)/764*(1 - 904/(-152)). Let z = 1/191 - t. Suppose 2*p + r = 7*p - 3, 3*p = 3*r - 3. Is z less than or equal to p?
True
Let t = 8.46 - 9.5. Let w = t + 2.34. Which is smaller: w or -3?
-3
Let g be (1 + (14 - 5))*108. Is g less than 1082?
True
Suppose -5*c - 11 = -31. Let i be 24/534*(-2)/c. Which is smaller: i or 0?
i
Let i be 356/801 + 503/18*2. Are 57 and i unequal?
True
Let k = 0.881 - -17.119. Which is greater: -8 or k?
k
Let l = -107 + 54. Let j = l - -30. Do j and -24 have different values?
True
Let g = -1248 + 1180. Which is smaller: -4 or g?
g
Let t = 1/5 - 17/110. Which is smaller: t or 1?
t
Let r be 7 - 8*(-2)/(-4). Suppose r = -3*q - 0. Let j be (-90)/54*(0 - q). Is -2 smaller than j?
True
Let s(l) = -l - 1. Let v be s(-4). Let i be ((-263)/789)/((-8)/75). Is i not equal to v?
True
Let f = 499 + -491. Is -60 less than f?
True
Let k(u) = -u**3 - 5*u**2 + 5. Let a be k(-3). Let d = a - -33. Let b be ((-2)/(-4))/(10/d). Which is smaller: 2/21 or b?
2/21
Let l = -0.14 + 11.14. Let u be 0 - (6 + -3)/(-6). Is l >= u?
True
Let x(f) = 3*f + 1. Let v(s) = -s. Let k(j) = -5*v(j) + x(j). Let i be k(3). Let m be (-115)/i - 2/5. Is -5 equal to m?
True
Let y = -0.2 + 0.193. Let u = -0.007 - y. Is -0.1 smaller than u?
True
Suppose 9*v + 2*i - 807 = 8*v, -2429 = -3*v - 2*i. Suppose 339 + v = 10*n. Which is smaller: n or 114?
114
Let r(m) = -m**3 - 14*m**2 - 2*m - 10. Let u be (-1 - 10/(-4))/(96/(-896)). Let v be r(u). Is v smaller than 16?
False
Let o(q) = -2*q + 120. Let y be o(21). Which is smaller: y or 77?
77
Let o = -71 + 70.71. Let j = o - -0.39. Which is greater: 0.08 or j?
j
Let x be (96/(-28))/6*2. Suppose 19*p = 21*p - 8. Suppose -2*a - p = -0*a. Which is smaller: a or x?
a
Let b = -1286 + 1286. Is -1/638 less than b?
True
Suppose 3*r + l = 22, -6*l = -3*l - 12. Suppose 8*f = r*f + 6. Is f smaller than 8/5?
False
Let s(v) = -4*v**3 + v**2 + 2*v. Let i be s(1). Which is bigger: -89 or i?
i
Suppose 39 - 105 = -3*f. Let k = f + -29. Let i be (k/(-7))/(0 + -1). Which is greater: i or -2/31?
-2/31
Let k(z) = -z**2 - 9*z - 18. Let p be k(-7). Let h = -0.09 - 1.91. Is p at least h?
False
Let q = -153 + 130. Is q at most -23?
True
Suppose z - 3*z = 68. Let x(t) = -3*t**3 - t**2 + 15*t - 37. Let w be x(2). Is w at least z?
False
Suppose 24*r + 130 = 11*r. Does r = -11?
False
Suppose 4*r = -3*c - 21 - 55, -c - 27 = r. Let k = 29 + c. Which is greater: -4 or k?
k
Let f = 19 - 3. Suppose -5*r - f = 14. Let q be r/(-15) + (-168)/45. Which is smaller: -3 or q?
q
Let a = 9 + -53. Let y = 215/2 - 108. Which is greater: a or y?
y
Let p be (6/1)/((-4)/2). Let f(i) = i**2 - 2*i + 2. Let k be f(p). Is 17 smaller than k?
False
Let f be 1*(110/(-90) - 4/(-18)). Let l be 3/57*(0 - f). Is 0 != l?
True
Let x(s) = 22*s + 4. Let o be x(2). Let q be (-224)/o*-3*2/4. Which is smaller: q or 15?
q
Let r be (56/(-12))/((-2)/3). Suppose 3*y + w - 41 = 0, 4*y + 3*w - 7*w = 60. Suppose 4*i - p = 4*p + 44, 0 = 5*i + 4*p - y. Which is smaller: r or i?
i
Let x = -40 + 26. Let y = 382.1 - 396. Let a = x - y. Which is smaller: a or 0.01?
a
Let b be 1536/(-6996) + (-2)/(-11). Let u be 2/(-3) - (-29)/3. Let y be u/(-3 - 0) - -3. Is y equal to b?
False
Let c(s) = 2*s**3 - 15*s**2 - 5*s - 19. Let w be c(8). Let x be ((-18)/(-4))/(3/40*w). Is x less than 37/3?
True
Let n be 2 + -2 - (9 + -7). Let x be 2/n + 564/84. Is 5 smaller than x?
True
Let q be (12 + -2)*6/135. Suppose -3*w = -4*i - 10, -14 = 4*i - w - 8. Is q at least i?
True
Suppose -198 = 5*q - r + 159, 5*r = q + 57. Let h = 25 + q. Which is smaller: 1 or h?
h
Let p(l) = -l**2 + 4*l + 4. Let a be p(6). Let r be ((-12)/a + -2)*0. Suppose 4*s + r*s = 12. 