Let p = f + 12. Let d = 0.02 - 0.52. Is p >= d?
False
Let c = 248 + -242. Is 26 not equal to c?
True
Let d be (116/1752)/(-29)*8/(-2). Which is greater: d or 0?
d
Suppose 15 = 2*x + 3*w, -x - 4*w + 28 = 8. Which is smaller: x or 5/56?
x
Let c = 6.71 - -0.29. Let s = c - 8. Is -2/3 smaller than s?
False
Suppose -4*o - 4*p - 190 = -9*p, -2*p = -o - 49. Is -46 < o?
True
Let m be (5/(-10))/((-21)/(-6)). Let g = -0.071 - -2.021. Let y = g + 0.05. Is y <= m?
False
Let n = 1.44 - -0.06. Let k = -1.4 + n. Is k at most 3/10?
True
Let h be (14/2)/(4 - (-3)/(-1)). Suppose -h*z + 107 = -54. Is z at most 23?
True
Let s = -188 + 174.9. Let q = -13.1 - s. Is -1 smaller than q?
True
Let k be ((-54)/8 - 9/12)*42. Let m be k/(-4329) - 2/13. Are m and -1 equal?
False
Let h(l) = -5*l + 75. Let f be h(15). Do f and -1/91 have different values?
True
Suppose 3*g = 2*o - 216, -4*g + 5*o - 161 = 127. Which is greater: g or -287/4?
-287/4
Let r = 12266 + -12261. Suppose y = -y. Suppose 5*g - 5*h = 5, y = -4*g + 3*h + 8. Do g and r have different values?
False
Let f = 6049/930 - 2/465. Is -0.1 greater than f?
False
Let t be (3 - 1)/((176/(-296))/11). Is t at least as big as -1/2?
False
Let k be (2/(-2))/((-1)/1). Let z be (5/(-3))/((-3)/9). Suppose -2*f = -k + z. Does -1 = f?
False
Let o = -14 + 19. Suppose 2*k + o + 0 = -h, -3*h + 9 = -2*k. Is -3/19 >= h?
False
Let y be (-4)/(-1 - -2) - 1134/(-243). Let p(w) = -w + 6 + 0*w + 0*w. Let n be p(5). Does n = y?
False
Suppose 0 = 16*s - 7*s + 36. Let v = -914/3 - -302. Do v and s have the same value?
False
Let x = 63 + -58. Let p be ((-1)/(-1) + -19)*-2. Suppose -5*r + p - 6 = m, 5 = 3*m - 2*r. Is x at least m?
True
Let s be (-12)/(-45)*5 - (-33320)/30. Is 1113 less than s?
False
Let s = -24 + 97/4. Let m = -90.914 + -0.086. Let d = m - -115. Are d and s nonequal?
True
Let i = 10 - 8. Let m be -1 + i + -2 + -5. Let u be 5 + m*(-10)/(-15). Which is smaller: u or 2?
u
Let b = -3.2 - 4.8. Let a = b - -8.38. Let g = a + -0.28. Is g smaller than 1/2?
True
Let w be (2 + -1)*(-6 - -2). Let x be (11 + -3)*9/w. Let y be 4/(-18) - 7/x. Is 0 equal to y?
False
Let w be -10 - ((-3432)/174 - -8). Do w and 2 have the same value?
False
Let n be (-4 + 4)*(-1)/(-3). Suppose n*c + 3*i = 2*c - 5, 0 = 3*c - 5*i - 8. Let y = 6 + -4. Is c at least as big as y?
False
Let w be 4 + -2 + (-2)/3. Let a = -9.1 - 2.9. Let u = a + 10. Which is smaller: u or w?
u
Let x(r) = -r - 4. Let f be x(-4). Do f and 1/15 have different values?
True
Let v = 36 + -41. Let b(k) = -k**2 - 7*k - 7. Let q be b(v). Suppose -2*p - q*d = 9, -5*d - 3 + 10 = -4*p. Which is bigger: -2 or p?
-2
Let p = -2/31 + 55/372. Let b(z) = z**3 - 6*z**2 + 5*z + 7. Let h be b(5). Suppose 3*a + 6 = g, -2*a = -g - h*a - 10. Is g != p?
True
Let z = 1381 + -1381. Let g be 1*-1 + (-81)/(-21). Which is smaller: g or z?
z
Let c(y) = -y**3 - 10*y**2 - 9*y + 4. Let u(h) = h**3 + 11*h**2 + 10*h - 4. Let k(b) = -6*c(b) - 5*u(b). Let s be k(-3). Which is bigger: s or 6/7?
s
Let z = 13 - 0. Let x = z - 1. Let j = x - 12.05. Which is smaller: j or 0.1?
j
Let u(j) = -j + 4. Let m be u(13). Let p be (-6)/m + (-50)/(-60). Is 3 at most as big as p?
False
Let y be -1 - 1 - 5/(-1). Suppose 10*k - 31 = 9. Suppose y*o - 5*p + 6*p = k, 4 = o + 3*p. Is -2/11 at most as big as o?
True
Let a(p) = -p**3 - 5*p**2 + 3*p - 2. Let o be a(-6). Let z = -13 + o. Let n be (0/1)/(-1 + -1). Which is greater: n or z?
z
Suppose 4*g = -5*p - 26, 7*p - 12*p + g - 31 = 0. Which is smaller: 20 or p?
p
Let k = 5 - 5. Let g = 83 + -116. Let r = -34 - g. Is k < r?
False
Let u be ((-14)/(-6))/(1/3). Let g = -8 + u. Let n = -6/37 + 133/592. Is g <= n?
True
Suppose 0*b + b = -3*w - 14, -5*b = -3*w + 124. Which is greater: b or -0.03?
-0.03
Let d(p) = -12*p - 387. Let r be d(-33). Does r = 60/7?
False
Let h = -7305/11 + 81927/110. Is 82 < h?
False
Let w = 43.24 - -0.76. Let t = w - 45. Which is greater: t or -2/3?
-2/3
Suppose 0 = 2*z + p - 130, -5*p = -3*z - 0*z + 221. Is 67 at most as big as z?
True
Let f be (2/(-8))/(3/(-72)) + 416. Which is smaller: f or 423?
f
Let z be (-9)/18*2*1 - -5. Let r be z*1*3/6. Does 24/11 = r?
False
Let o(p) = -9*p**2 - 23*p - 2. Let m(f) = -4*f**2 - 11*f - 1. Let z(l) = 13*m(l) - 6*o(l). Let d be z(4). Is d not equal to 11?
False
Let o = 4.9 - -131.1. Let m = 108 - o. Is 0 > m?
True
Let n = -112 - -558/5. Let t = 1.4 - -13.6. Which is smaller: n or t?
n
Let b = 10 - 7. Suppose b*u = 0, -2*t - 10 = -4*t - 2*u. Suppose t*g + 11 = 4*j, -6*j = -j - 20. Is 0 at most g?
True
Let h = -74 + 136. Let z = 53 - h. Is z greater than -9?
False
Let c = 1924 - 2012. Which is smaller: 1 or c?
c
Let h(c) = c + 9. Let d = 81 - 89. Let p be h(d). Is -1/28 <= p?
True
Let i(o) = o**3 - 2*o**2 - o + 2. Let z be i(2). Let d be -2 + 4 + (-2 - z). Suppose 5*q - 4*u = -5 - 5, 5*q - 2*u = d. Which is smaller: q or -2?
-2
Let t be 0 + -1 + (-3)/45. Let c = t - -37/30. Let d = 1/60 - -113/420. Which is bigger: c or d?
d
Let w = -171 + 170. Is w bigger than -0.44?
False
Let o(v) = -v**3 + 7*v**2 - 6*v + 13. Let n(j) = 2*j**3 - 3*j**2 + 2. Let i be n(2). Let h be o(i). Which is greater: 10 or h?
h
Let t be 2/2 + 2 + (-204)/24. Is -6 at most t?
True
Let a(b) = 2*b**3 - 5*b**2 - 6*b + 10. Let h be a(7). Let q be 74*(h/204 - 2). Let c = q - 9/17. Which is greater: -0.1 or c?
-0.1
Let s = -21 + 23. Suppose s*g - 4*p = 0, 3*p = -2*g + 15 + 20. Let m be 2/g + (-26)/5. Do m and -7/2 have the same value?
False
Let m(c) = 6*c**2 + 2*c + 1. Let g be m(-1). Suppose -5 = -5*f, -b = b + g*f + 93. Is -48 at most as big as b?
False
Let m = 1528 - 1563. Which is smaller: -24 or m?
m
Suppose 0 = c + 2*c + 48. Let x = 125/2 + -79. Let w = x - c. Do 1.7 and w have the same value?
False
Let o(k) = k - 26. Let w be o(28). Suppose 6*t - 316 = w*t. Is 78 bigger than t?
False
Let w = 3 - 2. Let h = w - 2. Let v = -6.9 + 5.9. Is v greater than or equal to h?
True
Let v = 66 + -44. Let i = v - 16. Let k = -155/4 + 39. Is i less than k?
False
Let n = -3 - -3. Let k(u) = 2*u**2 + 3*u + 5. Let o be k(-5). Let i be (o/12 - 4)/6. Which is greater: i or n?
n
Let m be 1*0/(6/(-3)). Suppose -2*j + 4*v = 12, -2*j + 3*j - 5*v + 12 = m. Let n be 102/(-45) - j/(-5). Does -3 = n?
False
Let n(a) = -2*a**2 - 47*a - 71. Let q be n(-21). Suppose -31 = -5*t + 139. Is t bigger than q?
False
Let y = 20 + -16. Let p(n) = n**3 - 3*n**2 - 5*n. Let t be p(y). Let j be (4 - 2)*t/(-8). Which is smaller: j or -1?
-1
Suppose 9*k - 45 = -9. Let p be (84/224)/(18/k). Which is smaller: p or 1/2?
p
Let b = 76214/525 - 1016/7. Which is smaller: b or 0?
0
Let h be 19/5 - 3/(-15). Let u be 0 + ((-9)/h)/((-12)/8). Does u = -0.11?
False
Let v = -0.1 + 0.2. Let f = 1294 + -1294.6. Are v and f non-equal?
True
Suppose -t + 4*l + 15 = 0, -t + 2*l + 50 = 5*l. Suppose 5*j - 12*j = t. Is -7 >= j?
False
Let i = 3550/67 + -53. Is 0 at least i?
True
Suppose -13*r = 2*r + 1875. Is -124 at most as big as r?
False
Let h = 73/60 + -1207/1140. Suppose -t - 2 = -3. Let r be -2 - -1 - -1 - t. Which is smaller: r or h?
r
Let t be (-4)/734*(10 + (-273)/26). Is 1 greater than t?
True
Let p be (-12)/(-3) - (2 - -2). Suppose -t - 1 = -4*j - 12, -4*j - 15 = 3*t. Do t and p have the same value?
False
Let p = 4808/91 + -370/7. Let w(q) = -3*q**3 - 24*q**2 - 2*q - 15. Let h be w(-8). Is p > h?
False
Suppose 3*p = -3*h - 3, -5*p + 27 = -2*h - h. Let a = -3 - p. Does -19/4 = a?
False
Suppose 2*f + 9 = 5*f. Suppose 0 = -2*x - n - 37, 2*n + f*n = 5*x + 70. Let w = x + 18. Is w greater than 6?
False
Suppose -2*h + 5*y + 30 = 144, h + 57 = -3*y. Is h less than -60?
False
Let z be 29545/(-4220) + (-12 - -19). Which is bigger: z or 0?
0
Let x = 10 - 13. Let y be 18/(-45) + x/5. Let s be (-2)/(-6) - (-2)/3. Which is smaller: s or y?
y
Let l be 15/((-824400)/5576) - 1/(-10). Which is greater: l or 1?
1
Suppose 3*n + 5*l - 27 = 0, 0 = -2*n - 5*l - 7 + 25. Let a be (-2)/4 + n/18. Which is greater: 1 or a?
1
Let j = -5.86 - 0.14. Let q = -2 + -3.8. Let d = j - q. Is d > -3?
True
Suppose 26*x - 19*x = -735. Which is smaller: x or -107?
-107
Suppose 3*x - 3*f = -18, 14 + 4 = -3*x - 3*f. Suppose 0*b + 15 = 5*b. Let a = -2 - b. Is a != x?
True
Suppose 2*t + 2*k = 30, -t + k + 3 = -2. Suppose -t*y = -6*y. Suppose -4*i + 5*j + 1 = y, i = 