 g = 376.95 - 378. Let m = 37 + -38.05. Let o = m - g. Are 0.2 and o nonequal?
True
Suppose 0 = -3*y - 4*q + 11, -y - q + 11 = 8. Let p be 1/(-3*(-3)/540). Let v be 27/p*(-2)/(-3). Is v at most as big as y?
True
Let g = 373451165 + -66101148788/177. Let q = -1653 - g. Let x be (4 - (-4)/(-1))/1. Is x equal to q?
False
Let h(z) = 10*z**3 - 3*z**2 - 4*z - 4. Let a(v) = -v**3 - 8*v**2 - 2*v - 18. Let j be a(-8). Let m be h(j). Let y = m + 97. Which is smaller: 12 or y?
y
Let d = -15575 - -15556. Suppose -14 = 3*y + 49. Is y greater than or equal to d?
False
Let j = -115 + 127. Let t = -166 + 533/3. Which is smaller: j or t?
t
Let d(f) = 5*f**3 + f**2 - 29*f + 189. Let o be d(6). Is o greater than or equal to 1131?
True
Suppose -87*w + 100 = -35*w - 32*w. Is 862 greater than w?
True
Let b(v) = v**2 + 15*v - 14. Let u(p) = 2*p + 20. Suppose 6*k + 38 = 4*k. Let z be u(k). Let l be b(z). Which is greater: 41 or l?
41
Let t be -4*(-2 + (-30)/(-8)). Suppose -26*i + 15*i + 66 = 0. Let u be (-16)/24 + 0 - 20/i. Which is smaller: t or u?
t
Let a = -6987 - -7104. Is a at most as big as 233/2?
False
Let x be (-75)/18*(-30)/(-4). Let h = -65724 - -65694. Is x bigger than h?
False
Suppose 2*j = -c - j - 2, -5*j + 110 = -5*c. Let q = 20 + c. Let b be 445/700 - q/5. Is b not equal to -1?
True
Let c = -93.1241 - -0.0241. Let m = -82.1 - c. Which is smaller: -14 or m?
-14
Let z(q) = -67*q**2 + 1609*q - 35. Let w be z(24). Let r = -43 + 31. Is w != r?
True
Let v = -9 + 13. Suppose -v*u = -u - 30. Suppose 2 + 6 = 4*j - m, -5*j + 4*m = -u. Is j at least as big as 2?
True
Let l be (-2)/(-11) + (-126)/(-33) + (5 - 397). Which is greater: l or -387?
-387
Let y be 1/(0 + 3 + -4). Let i = y + 77. Let q = 59 - i. Is -16 < q?
False
Let f = -27 - -25. Let c(j) = j**3 + 11*j**2 - 2*j - 25. Let k be c(-11). Which is smaller: k or f?
k
Let d = -6738 - -6720. Which is bigger: -290/17 or d?
-290/17
Let k(p) = -p**2 - 23*p + 30. Let m be k(-25). Let t = -52 - -65. Suppose 4*j + w + 87 = 0, 3*w = -3*j - 67 + t. Is m bigger than j?
True
Let r be 34*(-1 - -1 - (-36)/(-6)). Let w = -561 + 356. Are r and w nonequal?
True
Let u = -75 + 107. Let h be -143 + 143 + (-1 - 0)*-29. Which is smaller: h or u?
h
Let a = -11625.959 + 11665. Let y = 13.959 + -14. Let d = a + y. Is 2/7 smaller than d?
True
Let a(l) = l**3 + 23*l**2 - 25*l + 4. Let u be a(-24). Suppose 0 = -7*k + 11*k - u. Suppose -19*i + k*i - 12 = 0. Which is smaller: i or 1/11?
i
Let i = -0.015 + 0.175. Let v = i + 1.84. Let o be (-16)/(-100)*85/2. Is o != v?
True
Let p be 1*(-6 + (-376)/(-48))/((-3)/114). Which is bigger: 1 or p?
1
Let s be 1/(-2) - (-330)/60. Let p be (-185)/(-25) + 4/(-10). Suppose -3*z = 4*o - 0*z - p, 5*o - 11 = -3*z. Which is bigger: s or o?
s
Let f(k) = -151*k + 51 + 66*k + 72*k. Let c be f(4). Which is bigger: 6/23 or c?
6/23
Let x be (1175/(-15))/(-5) - 2/(-6). Let k be (-200)/x*(-12)/10. Let n be ((-6)/(-10) - 69/k)*-2. Is 10 at most n?
False
Let q(p) = p**3 - 4*p**2 - 18*p + 5. Let h be q(-5). Let k be 0 + h/25 + (-1)/(-5). Are k and -37/8 equal?
False
Suppose 0 = 212*n - 213*n + 12. Suppose -17 = n*p - 5. Which is bigger: -2/37 or p?
-2/37
Suppose 2*h + 28 = 2*f, 3*f + 2*h - 14 = 2*f. Suppose p = -2*d + f, -p - 5*d + 23 = -0*d. Suppose -p*z + 9 = -215. Does z = 28?
True
Let i = 1231 + -1264. Let d be (-93)/(-12) - 1/(-4). Let o be 2/4 - 276/d. Is o smaller than i?
True
Let i(u) = 21*u + 320. Let c be i(-77). Which is smaller: -1295 or c?
c
Let g = 70.089 + -0.089. Let i = 53 - g. Let a = i - 24. Are 0 and a unequal?
True
Let r be (-58)/(-10) + 42/35. Let s(q) = 7*q - 50. Let a be s(r). Is a at least as big as -15/74?
False
Let j = -4822 - -4737. Are j and 1/25 nonequal?
True
Let h = 23843/3 + -8278. Is -329 smaller than h?
False
Suppose 21*y - 101278 = -82*y + 28811. Is y less than or equal to 1260?
False
Let x be (-1 + (-5)/(-6))*-2. Suppose y = 3*c + 6, y - 6 = -y + 3*c. Suppose y = -15*t + 14*t. Which is greater: t or x?
x
Let w = -413 + 434. Let j(o) = -12*o + 238. Let r be j(w). Is r at least -14?
True
Suppose c = 2*c - 126. Let t be (-3)/(c/8)*(-160)/256. Which is smaller: t or 0?
0
Let k be -2 - ((-1)/((-12)/(-3776)) - 0). Let x = k - 311. Is -0.1 at least as big as x?
False
Suppose -3*r + 15 = 0, 2*r = 2*u - 5*u + 10. Suppose -2*f + 12 = f. Suppose 0 = -f*a - 3*a - 28. Are u and a equal?
False
Let s be (-1)/7*-10*7/(-1). Let z be (-1)/(-5) - (938/s - 5). Is z < 99?
False
Suppose m - 90 = 2*v, -5*v + 34 + 42 = m. Suppose g + 5*q = 83, g + 3*q - 30 = 55. Are m and g equal?
False
Let y be (10/(-35))/((-238)/9163). Suppose 4*c + 21 = 53. Is c less than y?
True
Suppose r = 1, 0*l + 4*l = -4*r + 8. Let t be 120/2 - (-2 + l). Let y = t + -24. Which is bigger: y or 38?
38
Let b = -1/51 - 5/51. Let a(d) = d**2 - d. Let k be a(0). Suppose 2*x + x = k. Which is greater: b or x?
x
Let j(p) = p**2 + 10*p + 20. Let q be j(-5). Let r be q/(-30) - 105/36. Which is bigger: r or -2?
-2
Suppose -4267 = 12*v - 475. Which is smaller: v or -312?
v
Let d = -726049.9973 + 726086. Let a = -0.0027 + d. Is 2 > a?
False
Let r = -6.6 - -8. Let x = 1.2 - r. Let l be (0 - (-2)/1)/(15/3). Which is smaller: x or l?
x
Let b(c) = 3*c**3 - 3*c + 2. Suppose 0 = d + 14 - 17. Let i be 20/12 + (-2)/d. Let x be b(i). Are x and 3/23 equal?
False
Let f = 128 - 122. Suppose -13*r + 14*r = -f. Which is smaller: -3 or r?
r
Let z(s) = s**2 + 2*s - 1. Let p be 2*1/(-4) + 3/6. Let h be z(p). Let a = -1164/77 - -102/7. Which is bigger: h or a?
a
Suppose 0 = -i + h + 4, -i - 5*h - 10 = 4*i. Let d = 0.0508 - -259.9492. Let p = d + -290. Which is bigger: p or i?
i
Let l be -1*(6 + (-77)/14) + 382/812. Which is smaller: 0 or l?
l
Suppose 12308 = 19*s - 10929. Let z(d) = -s + 1202 - 2*d - d. Let v be z(-7). Is -2/155 smaller than v?
True
Suppose 37*y + 3720 = 86*y - 29*y. Which is greater: y or 192?
192
Let s(q) = -13*q - 4. Suppose 3*c = 51 + 42. Let x = c + -32. Let g be s(x). Which is smaller: 10 or g?
g
Let g be 5 + (-115)/25 + (-8)/20. Let x be (117 - (g - -7)) + -2. Is 109 less than x?
False
Suppose 0 = -5*l - 3*b + 5816, 5806 = -11*l + 16*l - 2*b. Let j = l - 1670. Which is bigger: -507 or j?
-507
Suppose 0 = 5*g + 2*x + 18, -2*g - 6 = 2*x - 0*x. Let f be (-3)/7 - 657/(-63). Let o be (f - 11)*(-42)/(-10). Is o not equal to g?
True
Let j = 4255 + -4254. Is j at least as big as 56/507?
True
Let p = -54167 - -30420. Is 1 not equal to p?
True
Let n = 340.992 - -0.008. Let i = 357 - n. Which is greater: i or 0.2?
i
Let b(h) = -h**2 - 7*h - 3. Let f be b(-6). Suppose l - 27 = -5*t, -l + 4*l = f*t - 9. Suppose 5*g = -4*k - k, 0 = -l*k - 2. Do 1 and g have different values?
False
Suppose 66 = -10*z - 14. Let p be -1 + z - (-6399)/891. Which is smaller: -0.9 or p?
p
Let k be (-2 + 1*4)/2. Let g = -596 - -1745. Let u = 1148.948 - g. Is k at least as big as u?
True
Let m = -55 - 31. Let u be (72/42)/(107/(-303) + (-13)/(-39)). Is u > m?
False
Let b(u) = -4*u**3 - 8*u**2 - 8*u - 15. Let s be b(-3). Let a be (-162)/36*(-3)/s. Is a greater than 9?
False
Let y = 191 + -328.15. Let r = y - -139. Which is smaller: 1 or r?
1
Suppose 0 = 4*j - c + 19679, 2*j + 8557 = -2*c - 1285. Let v be (-4)/(-22) - j/165. Which is greater: 24 or v?
v
Let y = -1688 - -1689.5. Does -12 = y?
False
Let t = -12 - -11.5. Let k = t - 1.64. Let g = 2.2 + k. Which is greater: -0.3 or g?
g
Let p(x) = 4*x**3 + 3*x**2 + x - 1. Let t be p(-1). Let b(a) = a + 2. Let s be b(1). Suppose 13 - s = -10*u. Which is bigger: t or u?
u
Suppose -11*q = -5*f - 15*q + 276, 2*f - 2*q = 114. Is 2/15 > f?
False
Let k be (6/(-20))/((-1)/2). Let z be ((-1)/2)/((-3)/54). Suppose -4 + 2 = 2*r, 3*j = 3*r + z. Are j and k nonequal?
True
Let m = 12360 - 12347. Is m bigger than 442?
False
Let c(v) = 35*v**3 + 3*v**2 + 3*v - 4*v**2 - 44*v**3 + 1. Let g = 133 - 135. Let o be c(g). Is 63 < o?
False
Let h(f) = 57*f - 338. Let u be h(6). Let l = 9 + -13. Let v = l + 2. Which is smaller: u or v?
v
Suppose 6*f - f - 2*p = 46, -3*f - p = -21. Suppose -191 = -f*u + 161. Is -0.2 bigger than u?
False
Let m = 3029 - 3028. Which is smaller: -8/455 or m?
-8/455
Let i = -0.1 - -8.1. Let j = 538.9 - 547. Let q = j + i. Which is smaller: -1 or q?
-1
Let m = 0.079 + -0.163. Let w = m + -1.916. Is w smaller than 10?
True
