 + -3)*7). Suppose -5*j = 6 + 4. Let f be ((-6)/15)/(j/(-10)). Is k >= f?
False
Let q(p) = p**2 - 8*p + 2. Let j be q(7). Let o(c) = -2*c**2 - 3*c - 5. Let r be o(0). Are r and j non-equal?
False
Let b = 0.2 - 0. Let k = -1081 + 19451/18. Let x = k - -17/9. Which is smaller: x or b?
b
Let f(x) = -x - 1. Let l = -8 - -2. Let j be f(l). Suppose 0 = 5*z + 10, -3*g + 0*z + j*z + 7 = 0. Which is greater: -1/10 or g?
-1/10
Let h = -81.266 - -0.266. Does h = 0.6?
False
Let a be -1 - (1 - 0) - (-18)/6. Let t be (-72)/34 - (a - (-9)/(-3)). Are 1 and t non-equal?
True
Let p = -230 + -76. Is -308 greater than p?
False
Let z = -3/578 + -28873/5202. Suppose -5*g + y = 38, 8*g - 7*g + 1 = -2*y. Which is greater: z or g?
z
Let v(o) be the first derivative of 1/3*o**3 - 1 + 15/2*o**2 - o. Let t be v(-15). Is 1/6 smaller than t?
False
Let g be (6/(-8312))/((-2709)/(-168) - 15). Which is smaller: g or 1?
g
Let o be (-27 + 26)/((66/(-4))/3). Do o and 5/2 have the same value?
False
Suppose 0 = 3*r + r - 32. Let f be 684*4*2/r. Let q = f - 17098/25. Is 2 bigger than q?
True
Let u(m) = -2*m + 18. Let l be u(9). Suppose 4*s = -l*s + 16, 0 = j + 5*s - 26. Which is smaller: 9/2 or j?
9/2
Let t(r) = r**2 + 5*r + 2. Let j be t(-1). Is j less than -3?
False
Let k be 136/(-10) + (225/10)/9. Is k smaller than -12?
False
Let w = 6 + -6.7. Let l = w - -6.2. Let j = l + -4. Is j greater than or equal to -1?
True
Suppose 0 = -r - r + 2*z - 80, 0 = -4*r + 2*z - 158. Let f = r + 37. Do -0.9 and f have the same value?
False
Let q be -1 - ((1 - 4) + (-1219)/23). Is q at least 268/5?
True
Let l = 721 - 10822/15. Do -1 and l have the same value?
False
Let h(o) = -2*o + 198. Let s be h(0). Suppose -4*i - 2*y - 376 = -112, -5*y - s = 3*i. Are -67 and i nonequal?
True
Let n be 219/(-3358)*(-2)/3. Suppose 0 = 3*c - 5*r - 18, -4*c + 4*r + r + 19 = 0. Is c at most n?
False
Let i = -861 + 863. Which is smaller: i or 382?
i
Suppose -33*p + 5*p - 5796 = 0. Is p > -206?
False
Let u = 186 - 115. Let t = u + -69. Let q = 6 - 13/2. Is q greater than t?
False
Let b be (-52)/(-14) - 1 - 3. Let t = -3080 + 3053.03. Let c = t - -27. Which is bigger: b or c?
c
Let d = -944 + 943. Is d >= 225?
False
Let n(i) = 2*i**2 - 28*i - 27. Let w be n(21). Are 269 and w non-equal?
True
Suppose 4*g = 27 - 31. Is g not equal to -3/370?
True
Let r(j) = -j**2 - 2*j + 4. Let o be r(-3). Is o greater than 11/8?
False
Let i = -270 + 40. Let b = 11728/51 + i. Is 1 > b?
True
Let t(j) = j**2 - 16*j + 35. Let z be t(13). Let c = z - -27/7. Is c less than or equal to -1?
False
Let r = -304 + 3346/11. Which is smaller: -43 or r?
-43
Suppose 0 = z - 342 + 75. Suppose -7*g = -1023 + z. Is 108 at least g?
True
Let m = -1628 + 1628. Which is greater: m or 5/29?
5/29
Suppose -15*x - 14 = -29*x. Do -2/1873 and x have different values?
True
Suppose 2*n - 259 = 4*p + 3*n, 0 = -p + 4*n - 52. Let o = 64 + p. Do o and 18 have different values?
True
Let w = -171 + 173.5. Which is smaller: w or 0.1?
0.1
Let p be 1/(12506/(-208) - (-1)/8). Which is greater: p or 0?
0
Let a = 5281 + -5301.176. Let h = 0.024 - a. Let u = 20 - h. Which is smaller: u or -0.5?
-0.5
Let i = 4115014/245 - 16796. Is 0 <= i?
False
Let p be (3 + 2)*(-3)/(-25). Let a be ((-45)/(-315))/(2/(-7)). Is p >= a?
True
Let b = 22 + -19. Suppose -2*m + o = 49, b*m + 81 = o + 3*o. Let k = -31 - m. Is k at least as big as -5?
False
Let j(g) = 8*g**2 - 31*g - 29. Let y(p) = 2*p**2 - 8*p - 7. Let x(a) = -2*j(a) + 9*y(a). Let l be x(7). Which is smaller: l or 21?
21
Let b be -114*(2*(-34708)/3096 + 4). Let j = 2100 - b. Is j bigger than 1?
False
Let m = -4 + 7. Let z = -24 + 44. Let h = z - 22. Are h and m equal?
False
Let w = -1642 - -1492. Which is smaller: w or -149?
w
Let z = 1 + 2. Suppose -z*c + 3*q = q - 5, -2*c - 10 = -4*q. Let h be (2/(-22))/(c/(-20)). Which is smaller: -1 or h?
-1
Let q(u) = u - 5. Let j be q(8). Suppose 5*i - j*i - 6 = 0. Is 3 at most as big as i?
True
Let t = -140 - -87. Let d = -28 - t. Is d less than or equal to -1/2?
False
Suppose -2*m - 194 = 3*g, -3*m - 8*g - 310 = -13*g. Which is greater: m or -101?
m
Let g(z) = 15*z**2 + 18*z + 53. Let u be g(-3). Which is bigger: 7 or u?
u
Let n be (-1 - (-2)/(-35)) + 1. Suppose 0 = -21*s + 126, s - 1 = 5*v - 10*v. Which is smaller: v or n?
v
Let d(a) be the first derivative of -11*a**2/2 - 5*a + 25. Let v be d(-1). Is 14/3 greater than v?
False
Suppose -95*f = -91*f + 20, u + 8 = -2*f. Which is smaller: -73/5 or u?
-73/5
Let m = -42 - -48.1. Let a = 0.6 - m. Let w = a + -2.5. Is 2 at most w?
False
Let p = 37 + -34. Let t be 125/(-35) + 0 + p. Which is bigger: 0 or t?
0
Let n = -1795 + 229759/128. Let p be (79/16)/(88/5). Let u = p + n. Which is bigger: u or 2?
2
Let z = 3 + 3. Let j = z - 2. Let t = 26/3 - 292/33. Is t at least as big as j?
False
Let m = -155/604 + 1/151. Which is smaller: m or 2/929?
m
Suppose -58*f + 29*f = -29. Is f > -2/181?
True
Let o = 85.2 - 65.2. Is o at most as big as -1/3?
False
Let y = 960 - 120. Let w be (-32)/y*(-6)/20. Let i = -264/7525 - w. Which is smaller: i or -1?
-1
Let s be -2 + 100/(0 - 4). Let w = -31 - s. Let q be 3/w + 9/12. Do q and 6/13 have different values?
True
Let b = -334.02 - -334. Which is smaller: 6/13 or b?
b
Let b be -1 + (-472)/(-6) + (-6)/9. Let q be 4/(-18) + b/(-99). Which is smaller: q or -7?
-7
Suppose -4*y = -3*r - 9, 2*y + 6 = -0*y - 2*r. Let d(k) = 2*k - 6. Let x be d(9). Let p be 94/(-132) + 1/x*2. Is y > p?
True
Suppose -3*g = 4*i - 1455, -11*i + 13*i - 741 = 3*g. Is 366 != i?
False
Let v = -390 + 348. Which is smaller: -44 or v?
-44
Suppose 2*c + 90 = 2*w, -3*c + 165 = 2*w + w. Suppose -w*b + 51*b = 53. Is 54 smaller than b?
False
Let t be -3 - -5 - (2 - -1). Let s be 0 + t/(-10)*28. Is 4 at most s?
False
Let w = 62 + -61.7. Let s be 6/(-20) + (-2)/10. Is s greater than w?
False
Let f be (-78)/(-336) - 1/2. Let b = 149/504 + f. Are 1 and b equal?
False
Suppose 2*j - 4*d = 6, 0 = j - 2*d + 3*d + 3. Let m = j - -2. Let x be 1 - (-11 - 572/(-48)). Which is bigger: x or m?
m
Suppose 5*v - o + 12 = 2*o, -5*v = 4*o - 16. Which is smaller: 106 or v?
v
Suppose 3*u = 5*u. Let f = -266/47 + 9869/141. Let d = 65 - f. Which is bigger: d or u?
d
Suppose 29 + 11 = -4*g. Suppose -102*w = -116*w - 98. Are w and g equal?
False
Suppose 9*r - 267 = -1194. Is r less than or equal to -104?
False
Let k = -36 + 30. Let d = 6 + k. Is -1/22 >= d?
False
Let c be (-147)/(-5) + 12/(-30). Suppose -27 - c = -4*r. Is 14 greater than r?
False
Let n = -1 + 12. Suppose 13 = 2*u + n. Let s be 16/52*u/(-2). Which is smaller: s or 1/4?
s
Suppose 1192 = -49*g + 41*g. Is -295/2 at least g?
True
Let y be 2 + -12 - (-8)/(3 + 5). Which is greater: y or -13?
y
Let n be 1/(-3) + (-22)/6. Let m be ((-6)/n)/((-6)/36). Is -9 bigger than m?
False
Let a = -1340 + 660. Which is greater: -0.1 or a?
-0.1
Let d(j) = -j**3 + 8*j**2 - 16*j + 32. Let q be d(6). Let c = 6 - -2. Is c > q?
False
Suppose 4 = -3*q - 4*v + 3*v, q - 8 = -5*v. Suppose u = -0*u - 1. Which is smaller: q or u?
q
Let v = 407 + -406.981. Is v equal to -8?
False
Let b = -10 + 16. Let s = -160 + 159.7. Is s equal to b?
False
Let j = 4217/1989 + -2/221. Which is smaller: j or 2?
2
Let l(m) = m**3 + 4*m**2 - 5*m + 9. Let r be l(-5). Let n(z) = -z + 6. Let d be n(r). Is d greater than -4?
True
Suppose -3*b = -0*b - 27. Let r(n) = -n**2 + 7*n - 11. Let u be r(b). Is u at least -29?
True
Suppose -6*t = -3*t - 177. Let a = -80 + t. Is a less than or equal to -20?
True
Let y be 1/((-18)/10 - -2). Suppose -4*n = 16, -y*j + 212 = -0*j + 2*n. Suppose w = 3*w - j. Does 22 = w?
True
Let w = 0 + 0. Let v be 68/(-17)*(1 + 77/(-4)). Let d = 76 - v. Which is smaller: w or d?
w
Let a(z) = -2*z**2 + 37*z + 80. Let h be a(-2). Let m = 4 + 2. Suppose 0 = -m*f + 3*f - 9. Are h and f unequal?
True
Let u(l) = 3*l**2 - l + 2. Let a be u(1). Suppose -24 + a = -2*s. Suppose 0 = 2*n + 3*n - s. Which is greater: 3 or n?
3
Suppose 465 = -8*i - 55. Suppose 92 = -h + 26. Which is smaller: i or h?
h
Let b be 124*(2 - -1 - 116/29). Which is smaller: -120 or b?
b
Let z = -592.11 + 593. Which is smaller: z or 3?
z
Let x = 4/13533 - -13370584/67665. Which is smaller: x or 199?
x
Let f(j) = -j**2 - 9*j + 189. Let w be f(10). Is -6/697 > w?
True
Suppose -8*c - 36 =