 c non-equal?
True
Suppose -2*q + 2*t - 34 = 3*q, 0 = -4*q - 2*t - 38. Let r = q + 9. Let k = -1590/77 - -142/7. Is r equal to k?
False
Let i = -130626611/37 - -3529984. Let l = i + 465. Are l and 0 equal?
False
Let h be 3510/(-105) + 14 + 8/2. Which is smaller: -1 or h?
h
Let d(p) = p**3 + 15*p**2 + 37*p + 10. Let y be d(-5). Which is bigger: 674/9 or y?
y
Let p be (1 - (3 + -2))/(-2). Suppose p = 2*f - 1 + 3. Is f < 2?
True
Suppose w = -3*w. Let o be -30*6/(-9) - 2*1. Let j be ((-8)/(-12))/((-4)/o). Which is greater: j or w?
w
Let m = 7 + -7. Suppose m*c - 2*c = -6. Let y = 16 - 11. Is c less than y?
True
Let p = 4 - 2. Let r be 2/3 + (-220)/(-66). Is p at least as big as r?
False
Suppose x = 6*x + 5*c - 35, 4*c = -3*x + 21. Is -8 at most x?
True
Let g(d) = -d**3 + 2*d**2 + 27*d + 3. Let u be g(4). Which is smaller: 80 or u?
u
Let t = 2649 + -468872/177. Is -1 at least t?
False
Let a be (-1)/(-5)*3975/(-75). Is a not equal to -10?
True
Let s = 257.8 + -182.8. Which is bigger: s or 5?
s
Let z be (-3)/7*(-21)/63. Suppose 0 = 2*f + 3*f. Is f < z?
True
Suppose 4*n - 4*h = -0*h + 124, 0 = 3*n + h - 109. Let w = n - 28. Is w smaller than 27/4?
False
Let k = 0.0007 + 0.0793. Let h = -0.4 - -0.32. Let j = k + h. Is j >= -2/7?
True
Suppose -128*o + 131*o - 9 = 0. Suppose -5*k + 29 - o = -j, -2*k + 7 = 3*j. Are j and 1/86 nonequal?
True
Let c = -55 - 91. Is 2/7 less than c?
False
Let z = -33 + 17. Let f = -2 + -7. Let k = f - z. Is k greater than or equal to 8?
False
Let w = 2179.38 - 2176. Which is smaller: w or -0.2?
-0.2
Let w(c) = c - 7. Let m be w(11). Let o = 3 + -2. Suppose -o + m = -g + 2*j, 3*j = 2*g + 5. Is -1 < g?
False
Let y = 3.5 + -4. Let c(u) = 2*u**2 + 4*u - 14. Let w be c(-4). Which is bigger: w or y?
w
Let p be (-294)/(-343)*1/3*-1. Which is greater: p or -3/8?
p
Let l = -7662/11 - -694. Is l at least as big as 0.1?
False
Let n be (432/(-20))/3 - (-7 + 10). Which is smaller: -9 or n?
n
Let f = -534 - -458. Do f and -1 have the same value?
False
Let u(t) = -8*t + 78. Let p be u(9). Which is greater: p or 10?
10
Suppose 0 = 4*n - 13 - 7. Suppose 0 = 2*i + 5*l - 67, -4*i - 5*l + 139 = -0*l. Suppose i = n*u - u. Which is bigger: 8 or u?
u
Let n(s) = -s**2 - 10*s - 10. Let z be n(-9). Is -5/6 < z?
False
Let a = -479 + 11021/23. Let q = -7/92 - a. Let d = 2 - -1. Is d smaller than q?
False
Let r be (-18)/12*8/6. Let n be (-11)/22*8*r. Suppose -3*l - 25 = n. Is l <= -11?
True
Let q = -8.461 - -0.061. Let k = q - -0.4. Let i = 80/117 + -6/13. Is i < k?
False
Let v be (12/(-9))/(6/9). Suppose 0 = p + 2. Let t = p - v. Is t at most 1/28?
True
Let f(x) = -57*x - 740. Let y be f(-13). Which is greater: y or -6/1339?
y
Let f(k) = -k**3 - 5*k**2 + k - 4. Let v be f(-4). Let c be v/60 + 22/5. Suppose c*t + 8 = 4. Are t and -10/11 unequal?
True
Let q = -8 - -15. Suppose 3*a = q*a + 8. Let k(x) = x - 21. Let u be k(23). Are u and a nonequal?
True
Let n(p) = p**3 - 8*p**2 - 10*p + 11. Let c be n(9). Suppose -c*a = -23 + 9. Suppose 0*m + 35 = 5*m. Is m at most as big as a?
True
Suppose 3*q + 6 = 45. Suppose t = 48 - q. Let k be (2 + -1)*(-10)/t. Which is smaller: -1 or k?
-1
Let b = 45 + -42. Let d = -3/5 + b. Is 3 greater than d?
True
Suppose 11 = -68*n + 57*n. Is -14/45 at most n?
False
Let w = 0.1 - 0. Let o = 21.0548 + -0.0548. Which is smaller: w or o?
w
Let g(z) = z**3 - 12*z**2 + 9*z + 111. Let o be g(10). Is o less than -9/53?
False
Suppose 2*u + 75 = 3*l, 4*l + 51 = -u + 162. Let d be (42/5)/(l/(-72)). Is d smaller than -22?
True
Let c be (1 - 5) + 0/2. Suppose 0 = 4*d - 4*n + 2*n - 12, 24 = 4*d + n. Suppose -k = -d*k + 4. Is k > c?
True
Let i = -4343/408 - -85/8. Which is greater: -6 or i?
i
Let k(q) = -11*q - 10. Let l be k(-1). Let d be l - -3 - (-3 - 493)/(-8). Does d = -58?
True
Let n = 12.2 - -2.8. Let t = 0.03 - 0.14. Let o = 0.01 + t. Which is bigger: n or o?
n
Let x = 29.72 + -30. Let i = x + 0.28. Let c = -1807/9 + 201. Which is smaller: i or c?
i
Let f(z) = -z - 2. Let p be f(-3). Let o be (-1 - 9/6)*-26. Let s = 66 - o. Is p at most s?
True
Let n = 53/4 + -1211/92. Let w(f) = -f**3 + 13*f**2 + f - 6. Let r be w(13). Suppose -5*c - 2 = -r. Which is greater: n or c?
c
Let j = -705 - -34547/49. Which is smaller: -1 or j?
-1
Let n(i) = i**3 - 17*i**2 - 16*i - 51. Let k be n(18). Which is greater: -172/11 or k?
k
Suppose -8 - 32 = 4*x. Let b = 609 + -609.2. Which is bigger: x or b?
b
Let y(u) = -u**2 + 9*u - 9. Let w be y(6). Suppose 4*c - 3*j + 8*j = 52, 4*j - 40 = -3*c. Which is bigger: w or c?
w
Suppose 6 - 30 = 8*g. Which is bigger: -4 or g?
g
Suppose 0 = 3*u - 3*v - 87, -u - u + 3*v = -62. Suppose 10*l + u = 11*l. Is 25 greater than or equal to l?
True
Let y be (4 + (-13)/3)*-3. Let r = y - -13. Suppose -r - 21 = -7*a. Is 6 greater than or equal to a?
True
Suppose -4*b = -2 - 18. Suppose -2*q = -b - 7. Suppose q*u - 4*u + 16 = 0. Do -7 and u have different values?
True
Suppose -39*f - 7014 = 5349. Is -316 > f?
True
Let x be (-130)/(-39)*(-12)/(-10). Suppose 38 = x*w - 22. Let j be w/6*(-12)/15. Is j > -3?
True
Let x = -24 - -22. Let t be (x - -5)*(-10)/(-100). Suppose 4*d - 6 = -c, -3*c + 2 + 1 = -3*d. Are t and d unequal?
True
Let v(t) = 25*t + 17. Let g be v(-5). Let a be ((-4)/g)/(1/(-3)). Which is smaller: a or 1?
a
Let t = 441495/28 + 171231/28. Let j = 21932 - t. Let d = j - 49. Which is bigger: -1 or d?
d
Let v = 1 - -2. Suppose -1 = -t - 2*t - y, v*t = 5*y - 5. Is t at most as big as 1?
True
Let n = -21547/15918 + -4/1137. Let b = 41/7 + n. Let v = -4019 - -4025. Is b not equal to v?
True
Let y = -0.7 + -16.3. Let c = y - -32. Let z = -14.9 + c. Which is bigger: z or 0.6?
0.6
Suppose 4*i + 13 = -u, -2*u + 4*i - 1 + 11 = 0. Let p be 1*(-1 + 2)*u. Is p at least -10/9?
True
Let n = 8884/6699 - -186/203. Let i = n + 40/33. Is i less than or equal to 4?
True
Let r(p) = 2*p - 9. Let b be r(7). Suppose -3*k = 5*n - 1, k + 4 = -n + b. Which is smaller: n or -2/41?
n
Let y = 9 + -5. Let u = -16 + 21. Suppose -y*k - u = -3*k. Which is bigger: -4 or k?
-4
Let p = 22.093 - -0.907. Which is smaller: 3/2 or p?
3/2
Suppose 6 = w + 2*b - 9, 0 = -2*w + 4*b - 2. Suppose -3*l + w = 4*l. Let k = 635/3 + -6967/33. Which is greater: l or k?
l
Let g be 6/104*(-4456)/(-165). Let y = 6/143 + g. Let l = y - 174/115. Is l bigger than 0?
True
Let w be (-1)/1*(3 - 8). Suppose -5*k = -10, 0 = w*g - k + 7 - 0. Which is bigger: g or 3?
3
Let d = 13.28 - 13.48. Are 0.0073 and d unequal?
True
Let m = -0.5 + 0.8. Let s = 7.2 - 8. Is s not equal to m?
True
Let x be (0 - -1)/((-9)/(-486)*-2). Is x > -11?
False
Let t(s) = 3*s + 21. Suppose 6*p = 2*p - 52. Let i be t(p). Let w(m) = 3*m + 2. Let o be w(-7). Are i and o unequal?
True
Suppose -5*s + 21 = 1. Suppose -c = -6*c + 195. Suppose s*b + 7 = c. Which is smaller: b or 10?
b
Let z = 24 + -21. Let x be z - (4 - 62/60). Is x at most as big as 0?
False
Let x(h) = h**2 + 7*h. Let z be x(-6). Let d be 15/28 - z/(-21). Do d and 13 have the same value?
False
Let z be -1 + 1 - (-18)/(-336). Which is smaller: -1 or z?
-1
Let f = 11 + -8. Let j = f - 8. Let b be 4/16 - j/(-4). Is -1 at most b?
True
Suppose 1 = 4*q - 7. Suppose 4*d - 5*s = 0, -5*d + 29 = -3*s + 4*s. Suppose 7*b = q*b + d. Which is bigger: b or 0.1?
b
Let r be 43/(-258)*2/(-324). Which is smaller: r or 0?
0
Let x = -2.503 - -0.103. Let c = 2.6 - x. Do c and 9 have the same value?
False
Suppose -5*q - 2*x = 2, 0 = -5*q + q - 3*x - 3. Suppose 2*f = -2*r + 4*r, q = -r + 3*f + 8. Suppose 3*h = -h + 8, l = -3*h + 3. Is l at most r?
False
Let x be 3*(104/(-3))/(-4). Suppose 38 = -4*c - 2*z, 4*c + x = c + z. Let a be (-26)/3 - (-7)/(-21). Is a greater than c?
False
Let w be (-25)/6700*(1 - -1)*1. Is w at most as big as 0?
True
Let s = -21.992 + -0.008. Let u = 0.316 - -21.984. Let a = s + u. Is a at most as big as -10?
False
Let f be 24/18*(-18)/4. Let p be 1/((-2)/84*2). Let l = -28 - p. Is l at least as big as f?
False
Let v = -8.3 + 8. Suppose 14*n - 72 - 68 = 0. Suppose 5*z - n = 0, 2*r + 8 = 5*z - 2*z. Do r and v have the same value?
False
Let t be (-25)/(-50)*(-2)/10. Do t and -1/33 have the same value?
False
Let h be (-30)/(-75) + 144/15. Let b(f) = 2*f**3 - 3*f**2 + 2*f + 2. Let t be b(2). Do h and t have the same value?
True
Suppose -16 - 4 = -4*z