 Are a and 98 nonequal?
True
Let p(a) = -2*a**2 + 85*a - 811. Let z be p(10). Which is greater: z or -141?
-141
Let i = 141.9 + -149. Let d = i - 12.9. Let k = 3 - d. Which is smaller: -3 or k?
-3
Let y = -4905 + 4724. Is y bigger than -21?
False
Let c = 89 + -88. Let w = 1 - c. Suppose w = -4*x - 3*d - 111, -2*x + d - 115 = 3*x. Is x > -22?
False
Let u = -0.1931 + 0.5931. Let l = 4 - -7. Let g = l - 6. Which is bigger: g or u?
g
Let m be (1505/15)/(3/(-9)). Let q = 281 + m. Is q less than -17?
True
Let q = 587 + -735. Let h = q - -149. Is 1/105 < h?
True
Suppose -11 + 30 = -19*p. Is 1/3272 greater than or equal to p?
True
Let r(g) = 21*g. Let t be r(1). Let k = t + -10. Let z be (-2600)/520 + (18 - 1). Does k = z?
False
Let a = -2057 - -2007. Let x be ((-18)/8)/((-3)/72). Let o = x + a. Is 18/7 at least o?
False
Suppose 4*i + 2 = -5*q, -i - 1 + 2 = 2*q. Let j be (3 - 6/97) + i. Let p = -2589/485 + j. Which is smaller: -4 or p?
p
Let u = -88 + 170. Let z be -6 + 8 + u/(-13). Is z > -5?
True
Suppose -68*f = -80 + 12. Let t(j) = j**2 + 7*j - 2. Let g be t(-8). Let z be (-4)/(-10) + (6 - g). Is f at most as big as z?
False
Suppose -748 + 892 = 3*h. Let d be (-5 + 136/28)*(h - 1). Is d != -7?
True
Let k = 0.8 - -1.3. Let x = 184 + -188. Is k bigger than x?
True
Suppose 3*n - 5*r + 745 = 0, 2*n + 4*r + 485 = 5*r. Let w = n - -232. Which is smaller: w or -7?
w
Let a = -449051/12859 + 4164/167. Let h = 102/11 + a. Suppose -2*j + 4*w = -2 - 0, -j + w = 0. Is h less than or equal to j?
False
Let o be -52*(-6)/24 - 13. Let m be -1 - (-1)/((-1)/(-9)). Suppose o = h - m + 3. Is 6 > h?
True
Let p(u) = -7*u + 62. Let f(c) = 3*c - 31. Let a(o) = 5*f(o) + 3*p(o). Suppose 0 = 2*k - 13 - 5. Let y be a(k). Do -22 and y have the same value?
False
Let d = 0.09 + 2.15. Let z = -2930 - -14648/5. Which is bigger: z or d?
d
Let b be 8*2/(-4) + (-2 - 107). Let s = -108 - b. Suppose -s*x + 20 = -2*z - 0*z, 5*z + 4*x = -50. Do -4 and z have different values?
True
Let a(y) = 22*y + 100. Let g be a(-4). Let f be ((-4900)/g)/(-5) + (-2)/12. Which is smaller: f or 83?
f
Suppose -7 = 5*k - 12. Let v = 15 - 18. Let o be (7 + v + -3)/53. Which is smaller: k or o?
o
Let b = 198.6 + -199.9. Which is greater: 2 or b?
2
Suppose -499*g = -498*g + 41. Let w = g - -41. Which is smaller: -6/7 or w?
-6/7
Let g = -1421 - -528. Let t = -2647/3 - g. Let f(n) = -6*n - 25. Let j be f(-6). Which is smaller: j or t?
t
Let j be 642/((-606)/48 + 13). Which is greater: 1711 or j?
j
Let p = 3 - 1. Suppose 7*m - d - 34 = 2*m, -11*m = -d - 76. Is m > p?
True
Let o(l) be the first derivative of -l**2/2 + 8*l - 17. Let u(v) = -v + 1. Let c(k) = -o(k) + 2*u(k). Let g be c(-11). Is g bigger than 4?
True
Let t = -942 - -595. Let k = t - -346.5. Are -0.2 and k non-equal?
True
Suppose 5*u = -8*x - 30*x + 2787, -x + 69 = u. Are 73 and x equal?
False
Let m be (-6092)/5*(-17 - 546/(-28)). Which is smaller: m or -3045?
m
Let g = -38 - -41. Suppose -5 = -g*l + 7. Are l and 0.3 nonequal?
True
Let r be 2/(7/2 + -1). Let d = -10877.2 + 10954.2. Which is greater: d or r?
d
Suppose -4*b = -32, -540 = 3*z + 5*b - 100. Which is smaller: z or -11?
z
Suppose 0 = 6*s + 110 + 82. Let m = s + 35. Let c be (-12)/m + 8 + -4. Which is smaller: -1/13 or c?
-1/13
Let c = -0.51 - -1.51. Let g = -0.036 + 0.046. Is c smaller than g?
False
Let a(l) = -154*l**2 + 151*l - 14. Let k be a(4). Which is greater: k or -1873?
-1873
Let h = 11120553/52148 + 2/13037. Let w = -34121/160 + h. Which is smaller: w or -1?
-1
Let m = 27103/13 + -2086. Suppose 5*l - 40 = 0, -3 + 46 - 1 = 6*x + 3*l. Which is smaller: x or m?
m
Let l = 1065 - 730. Let g = -357 + l. Which is greater: 2/5 or g?
2/5
Let j(h) = h**3 - 27*h**2 + 49*h + 49. Let t be j(25). Suppose 19*b - 23*b + t = 0. Is 6 <= b?
True
Let u be ((-2889)/414)/(((-9)/(-12))/3). Which is smaller: u or -28?
-28
Let p = 159 + -64. Let g = -94 + p. Suppose -6 + g = 5*s. Is 3/23 greater than or equal to s?
True
Let t(l) = -l**2 + 63. Let f be t(0). Let r = 15.25 + -15.35. Which is smaller: f or r?
r
Let f(g) = -2*g**2 + 587*g - 2883. Let v be f(5). Which is smaller: v or 37/26?
37/26
Let s be (2 - 1)/(7/(-14)). Let h be s/(-3) + (-3 - (-4)/12). Do -75 and h have the same value?
False
Let t = -3059 - -1006410/329. Is t less than -1/3?
False
Let u(c) = 22*c - 5461. Let f be u(0). Is f bigger than -5461?
False
Let n = -91 - 779. Let i be (42/4)/(n/(-40) + -12). Which is bigger: i or 1/6?
i
Let w = -1016/13 + 34557/442. Which is smaller: 0.41 or w?
w
Suppose -2*g = 2*b + 3 - 7, 5 = 5*g. Is -3/284 != b?
True
Let v be (-1335)/(-6) - 1/(-2). Suppose -4*a = -4*c - 460, 5*c - v = -2*a - 0*a. Suppose 3*d + q + 3*q - a = 0, 9 = 3*q. Is d smaller than 35?
True
Let s(f) = 24*f**2 + 51*f + 12*f**3 + 26 - 7 + 14 - 13*f**3. Let k be s(26). Is k smaller than 1?
False
Let o = 157.6 - 18.6. Let b = 61 - o. Let m = -66 - b. Which is smaller: m or 2/5?
2/5
Let o(d) = d**3 - 44*d**2 + 407*d - 20. Let u be o(32). Is 716 smaller than u?
False
Let w = -293 - -146. Let s = -162 - w. Are 1/6 and s nonequal?
True
Let a = -794460/289 + 2749. Suppose -2*w = 3*w. Which is bigger: a or w?
a
Let d(c) = 2*c**2 - 172*c + 408. Let r be d(0). Which is smaller: 404 or r?
404
Suppose 0 = -1247*u + 1234*u. Suppose -14 = f - 3*a, 2*a + 3*a = 5*f + 20. Let p be f/4 - 129/4. Is p > u?
False
Let t be (-74)/14 - (-8)/28. Let q be (6*-1)/(-3)*(-3)/(-2). Suppose -3*j - 2*j - 5*g = 10, 0 = 3*j - q*g + 24. Is j smaller than t?
False
Let o be (-80)/520020*(3/(-6) - 1). Is 0 bigger than o?
False
Let k be -4 - -5 - 5*-55. Let y = k - 275. Is y bigger than 6/29?
True
Suppose 26*n + 7*n - 11*n = 2134. Which is greater: n or 96?
n
Suppose 5*y + 30 = 5, -4*y + 60 = 5*g. Let z = -730 - -736. Suppose -z*p + 4*p = 3*c - 21, -5*p + 4*c = -64. Is p < g?
True
Let z = 49.46 - 49.76. Which is smaller: z or -406?
-406
Let i(z) = -20*z - 4. Let x be i(-2). Suppose 32 = -4*v + x. Let d be ((-1)/(-94))/(1/2). Which is bigger: v or d?
v
Suppose 4 - 100 = -16*j + 128. Which is smaller: j or -53?
-53
Suppose 6*d + 44*d = 50. Let w be 256/(-32) - (4 + d). Is w at least as big as -11?
False
Let c = -7185 - -10774. Is 3587 > c?
False
Let t be (-1 - -1)*(-9)/(-18). Suppose -2*y = -2*x - 8, t = 28*x - 24*x - 3*y + 11. Is x >= 5/78?
True
Let n = -202 + 36. Which is bigger: 1.7 or n?
1.7
Let d be ((-11284)/(-155))/(8/(-20)). Which is smaller: -176 or d?
d
Let i = 59.8669 - 59.8. Let f = i - 0.1669. Which is bigger: 227 or f?
227
Let i be 81/2*(-1)/(8/(-16)). Suppose -3*k + 285 = -3*u, 2*u - 4*k = -107 - i. Let y(z) = -z**3 - 9*z**2 - z + 6. Let f be y(-6). Is u at most as big as f?
True
Suppose -5*w = -27*w + 198. Let z be 20/(-60) - (0 + 8/w). Suppose 0 = y + 2*o - 9, 2*y - 8 = -0*y - 2*o. Is y != z?
True
Let l = 0.7 + 5.3. Let c = 50 + -50. Let z = l - c. Which is greater: z or 0.4?
z
Suppose 2*a + 5*v + 19 = 0, -3*a = -6*a - 2*v - 1. Suppose -4*c - 9 - 7 = 0, -190 = -b + a*c. Is 179 less than or equal to b?
False
Suppose 18*l + 14 = 25*l. Suppose r + u + 8 = -l*u, 2 = -u. Suppose 0*k + 2 = -2*k. Which is smaller: r or k?
r
Let w = 112.65 - 134.4. Which is greater: w or -0.1?
-0.1
Let p be 11/5*5*(-2)/24. Let y = p + 371/156. Which is smaller: 2 or y?
y
Suppose 0 = 14*f + 1606 + 1446. Let i = f - -216. Is 55 at least i?
True
Suppose -5*n - 25 = 5*t, 7 = 564*n - 567*n - t. Which is smaller: 39/103 or n?
n
Let n = 680/7 + -10186/105. Does n = -329?
False
Let m = -69 - -47. Let g be (-4)/(-18) - m/(-18). Let n be (306/81 - 6) + 4/2. Which is smaller: g or n?
g
Let n be 2*(1028/396 - (-8)/44). Suppose 0 = -3*q - 15. Let w = 11 + q. Is n less than or equal to w?
True
Let f = -4258 - -4310. Are -34 and f equal?
False
Let w be (5452/870)/(8/20). Which is smaller: w or 0.2?
0.2
Let p be (0 - (-12 + 1))*(21 - (-15)/(-3)). Which is smaller: p or -5?
-5
Suppose -5*h + 66 + 139 = 0. Suppose 0 = 32*g - 327 - 921. Are g and h nonequal?
True
Let o(r) = -r**3 + 8*r**2 + 5*r + 7. Let x be o(6). Let i = x + -109. Suppose i*b = 6*b - 3*b. Is b bigger than 3/71?
False
Suppose 11*x + 3*z - 4931 = 16*x, 2*x - 4*z = -1964. Which is greater: x or -986?
-986
Let v = -89 + 359/4. Let w be (-11 + 13)*52/(-39). Which is greater: v or w?
v
Let n be ((-9)/6)/(9/4). Let f = -1.5304 + 1.4. Let i = f