qual to x?
False
Let f = 50/107 + 1276/1391. Suppose z - 5*y + 10 = -z, 5*z - y + 2 = 0. Which is greater: f or z?
f
Let c = -112.82 + 111.82. Is c at most -2296?
False
Let m = -1988/1973 - -10374536/325545. Let l = m + -154/5. Is -2 less than or equal to l?
True
Let y = -247 + 265.7. Let i = -18.6 + y. Which is smaller: 74 or i?
i
Let o = -78 - -80. Suppose -4*w + c = 5, -5*w + o*w + 5*c - 25 = 0. Suppose -9*m = -w*m - 360. Which is bigger: 41 or m?
41
Let o = -87997.957 - -88065. Let p = o - 67. Let q = p - -4.957. Is 1/2 at most as big as q?
True
Let a = 346677/59587 + 1/5417. Which is smaller: a or 6?
a
Suppose -3*c = -3*y + 10 + 20, -3*c + 6 = 3*y. Let t be (-3120)/525 - y*-1. Which is bigger: t or 1?
1
Let x be 381*(-6 + (-104)/(-18))*3. Do -251 and x have the same value?
False
Let n = -0.35 - 7.15. Let w = n + 3. Let s = -0.5 - w. Is 0.1 bigger than s?
False
Let t = 114.883 + 0.117. Let x = 3848674/3 - 1282892. Is x equal to t?
False
Let f = 651 - 1076. Is f bigger than -425?
False
Let w be (-4)/(-1)*(-2)/124. Let y be (-18)/12*2*(-4)/6. Let g be y/10 - 264/(-330). Which is smaller: w or g?
w
Suppose -7*h = -21*h + 28. Suppose -h*g - 73 = 51. Is g greater than or equal to -63?
True
Let n(w) = -w**2 - 8*w. Suppose -g + 17 = 2*x, 2*x - g = 3*g + 42. Suppose a + 2*t = -0*t - x, -2*a + 5*t = 4. Let j be n(a). Is j > 11?
False
Suppose -2*b + 118 = z, -8*z + 3*b = -9*z + 115. Let k be 11/((-33)/(-12))*11/z. Is k < 1?
True
Let j(q) = -75*q + 183. Let i be j(7). Let c = i - -408. Is c not equal to 131/2?
True
Let p = -4162 + 4290. Which is bigger: p or 82?
p
Let l = -762 + 121160/159. Which is smaller: l or -2?
-2
Let l(u) = -u**2 + 4*u - 5. Let d be l(2). Let k = 2542.09 + -2543. Which is greater: d or k?
k
Suppose 5*x - 2 = -5*k + 178, -186 = -5*x - 3*k. Suppose 0*c - 20 = -2*q - c, -x = -3*q + 3*c. Is q equal to 51/5?
False
Let k be 832/6 + (-1)/(-3). Suppose 32*z + 1763 + 733 = 0. Let x = k + z. Is 61 at least x?
True
Let s = 10.2 - 8. Let c = s - 4. Let f = 1.8 + c. Which is greater: -7 or f?
f
Suppose t + 3*i = 5, 0*i = -5*t + 5*i + 25. Suppose -t*x + 297 = l - 0*l, 5*l = -3*x + 165. Which is smaller: x or 58?
58
Suppose -3*y - 2*h = -382, 2*h = -0*y + 2*y - 238. Let w = -230 + y. Let i = w - -105. Do -4/5 and i have different values?
True
Let z = 7256 - 7220. Let j = 2.99 - -0.01. Which is greater: z or j?
z
Let p = -12484 + 5293233/424. Is p <= 0?
False
Let u(l) = -l**2 - 35*l + 200. Let b be u(-40). Suppose -3*p + 8 = -2*x + p, p = -4*x - 52. Let k be (x/(-434))/((-2)/14). Is b > k?
True
Let s be -6*(-1)/(-2) - (-2748)/6. Let j = s + -23203/51. Let l(v) = -v + 2. Let c be l(3). Which is bigger: c or j?
j
Suppose 4 = -4*v + 24, 3*m + 8 = v. Which is bigger: m or -0.0348?
-0.0348
Let d be (-8)/18*(-71)/142 + (-4384)/19971. Which is smaller: -1 or d?
-1
Let v = -0.4049 + -0.5951. Which is bigger: -223 or v?
v
Let y = 19 - 17. Let i be 15/75 - (-87)/(-110). Let f = i - -551/374. Do y and f have different values?
True
Let m = 35 - 37. Let u = 535 - 3209/6. Which is smaller: m or u?
m
Suppose -12 + 48 = 3*s. Let y = -2 - 33. Let n = y + s. Which is greater: n or -24?
n
Let b be (3/4)/((-4)/(1*-16)). Let k be 15/(-10)*(-28)/b. Suppose k*u + 5 = 9*u. Which is smaller: 2/5 or u?
u
Let f(j) = 12*j**2 + 19*j - 18. Let q be f(1). Let z = q - -116. Which is smaller: z or 126?
126
Let t = -3135 + 3134.5. Which is bigger: 16/23 or t?
16/23
Let u = -2924400159/9004 + 324789. Is u less than or equal to -1?
False
Suppose 0 = -2*n - 2*n. Let b be 31/(1178/304) + 136/(-18). Which is greater: n or b?
b
Suppose 58*o = 72*o - 560. Let n be (-885)/(-36)*2*o/50. Is -1/4 < n?
True
Let u = 261 - 258. Let k be u + (-3)/(-3) + -5. Are -1/4 and k equal?
False
Let q be 3/12 - (-47)/4. Suppose -5*n - q = -22. Let l be n/(-4)*6/15. Which is greater: -3 or l?
l
Suppose 0 = -4*f - 3*u - 0*u + 5, -2*f + u - 5 = 0. Let t = 0.40682 + 0.06318. Which is bigger: t or f?
t
Let r = 266/267 + -85138/9345. Let b = 42/5 + r. Let l = -0.0149 - 0.0851. Is l at most as big as b?
True
Let j = 18531 + -18511. Is j at least as big as 870/43?
False
Let l = 46 - 46. Let f = 10.9 - 11.38. Which is greater: f or l?
l
Suppose -3*r + 14 + 46 = 0. Let g be (-320 + 1 + -3)*2/r. Is g != -33?
True
Suppose -93 = -39*w + 40*w. Let q be (-3 - w/30)*30/(-4). Let a = q + -23/4. Which is greater: -7 or a?
a
Let g be 1 + 14 + 2/2. Let f be -227*4*(8 - (-165)/(-20)). Let d = -225 + f. Is g less than d?
False
Let f = 62 - 60. Let q = -16 - -38. Let d = 20.9 - q. Which is smaller: f or d?
d
Let o be 24/108 - 1551/54. Let t = -289/10 - o. Let y = 9 - 13. Which is bigger: t or y?
t
Let n = 0.0153 + -124.2153. Let b = -124 - n. Which is smaller: b or 2?
b
Let r be (-62*(-192)/22320)/((-5)/(-3) + -1). Which is smaller: 459 or r?
r
Suppose 0 = h - 3*j + 6, 0 = -j - 3*j + 20. Let b be (-15008)/(-30) + 3/h - 0. Let u = b + -503. Which is greater: u or -3?
u
Let v be (-1 + (-3)/(-102)*14)/(10/2190). Is v greater than or equal to -129?
True
Let j be 6/16*(-2 + 0). Suppose 7*m = 3*m - 0*m. Let c be (m/3)/(0 + 2). Which is greater: c or j?
c
Suppose 0 = 6723*t - 6721*t + 1676. Is t bigger than -839?
True
Suppose 3*p - 3573 = x, 87*x - 85*x - 5955 = -5*p. Is p <= 1191?
True
Let k(g) = -g**3 + g**2 + 3*g + 1. Let u be k(-1). Let j be 30/9 - 4 - (-145)/(-345). Which is greater: j or u?
u
Suppose -18*w + 15*w - 4*b - 446 = 0, 5*b = 4*w + 543. Which is smaller: w or 5?
w
Suppose 96 = 8*x + 368. Let g = -21 - x. Suppose 16*t = -48 + 192. Are g and t equal?
False
Suppose 1 = z + 3*a, 0 = 4*z + a + 5 + 13. Let u be (1 - -5)*(z + 51/9). Are u and 3 equal?
False
Let r = 84.194 - 0.194. Let z = 169 - 86. Let h = z - r. Is -1/5 at least as big as h?
True
Let m(n) = -n**3 + 83*n**2 + 139*n + 2518. Let l be m(85). Are -110 and l non-equal?
True
Let o(r) = r**3 - 4*r**2 - 15*r - 38. Let t be (-2)/(-10) + 578/85. Let g be o(t). Is 33/7 equal to g?
False
Let l be (1272 - 1) + (1 - 4). Let k = 44377/35 - l. Let a = 773 + -772. Is k < a?
True
Let b = 11.7 - 1.8. Let t = 5.8 - b. Let n = -19.9 + t. Which is smaller: n or 0.1?
n
Suppose -116*a - 17*a = -213*a + 1136400. Which is smaller: 14204 or a?
14204
Suppose 2*x - 8 = 0, 13*x = -5*s + 10*x + 557. Which is smaller: s or -12?
-12
Let v be 2*(0 + -16 - 1). Let s = 641 + -640. Let z = v + s. Is z not equal to -33?
False
Suppose -17*l + 51*l = 306. Let a be (-213)/l - (-8)/(-2). Let f be ((-16)/(-6))/((-6)/63). Which is smaller: f or a?
f
Let o = -61 - -298. Let v be 2/(-18) - 81434/(-342). Is o bigger than v?
False
Let v(x) = x**3 - 8*x**2 + 3*x - 1. Let t be v(5). Let j = t - -28. Let m be ((-6)/18)/((-1)/j). Which is smaller: m or -10?
m
Let p be (1 - (-19)/(-18))*(-1050)/(-700). Suppose -7 - 7 = -2*d - 3*x, -3*d - 5*x = -21. Suppose -4*h + 3 = d. Which is bigger: h or p?
p
Let g(h) = 3*h**2 + h - 141. Let m be g(-13). Let z = m - 310. Do z and 42 have different values?
True
Suppose -371 = 46*h - 1429. Suppose -2*q = 3*g - 6*q + 24, 4*g - 3*q = -39. Let u = g - h. Which is greater: u or -36?
u
Let n = 1.8 - 0.8. Let d = -0.19 + 0.34. Let a = d - -60.85. Which is bigger: a or n?
a
Let u = 1388 + -1390. Suppose -5*x + 12 = -8. Suppose 3*k - x = 2*k. Which is smaller: u or k?
u
Let y(i) be the first derivative of i**4/4 - 2*i**3 - 3*i**2 - 6*i - 10. Let d be y(7). Let q be ((-2)/(-2))/(-57)*-9. Are d and q nonequal?
True
Let z be -3 + 5 + (-74)/(-2). Let h be (-10 + 12 - (-104)/(-54))*z. Let j(s) = s + 1. Let k be j(3). Which is bigger: k or h?
k
Let j = 25056 + -25056.79. Which is smaller: j or 86?
j
Let k be 8/(-80)*-2 + 39/5. Let s be (-3 + 629/210)/(k/12). Which is bigger: s or 1?
1
Let d(o) = 10 + 7*o - 6*o**2 + 1 - o + 5*o**2. Let l = -18 - -26. Let i be d(l). Is i <= -4?
True
Let a be (-60)/((-6)/(-3)) + -1. Let v = 22487 + -22519. Are a and v non-equal?
True
Let q be 28736/2 + (42 - 37). Is q != 14373?
False
Let o = -1.6 - -2.1. Let d = -59 + 61. Let b be 1/d + 21/6. Is o smaller than b?
True
Suppose 3*d - 357 = 2*z + z, 30*z = -d - 67. Is -16 at least d?
False
Let k be (-175882)/(-3230) + 3/(-57). Is k >= 53?
True
Let x be (-180)/72 - 262/(-4). Suppose 4*l - 4*t - 264 = 0, 117 = 3*l - t - 81. Which is smaller: x or l?
x
Let f = 214 + -217. Let y be (0 + 4)/(-1 - f). Let s b