Let p be (21/2 - 3)*-10. Let k be -5 - (4 - p/27*-3). Suppose 0*b - 6 = n - 4*b, 0 = n - b + 3. Which is bigger: k or n?
k
Let g = -37509773270904518/62811 + 597184780880. Let i = -2/6979 + g. Let m = 4651/306 - i. Is m greater than or equal to 1?
False
Let u = 86.49 - 86.79. Do u and 5/74 have the same value?
False
Let h = 0.7 - 0.6. Let w be 2/(-7) + (1728/1456)/9. Which is smaller: w or h?
w
Let f(i) = 2*i + 14. Let j be f(-10). Let m be 18*(32/j)/2. Let h(g) = g**3 + 25*g**2 - 24*g + 3. Let y be h(-26). Do m and y have different values?
True
Let w = 62/687 + -33104/341439. Is w <= 1?
True
Suppose -30*r - 2*c - 609 = -35*r, 2*c = -5*r + 621. Is 114 less than r?
True
Suppose -z + 3*z - 4*j = -350, -2*z - 334 = 4*j. Which is smaller: z or -2?
z
Suppose -468 = 17*i - 56*i. Suppose i*d + 9 = 297. Which is smaller: 95/4 or d?
95/4
Let t(k) = -2*k + 3*k + 6*k - 49. Let p be t(11). Let o be (-18 - -18)/(-3*1). Which is smaller: o or p?
o
Let v = 122 + -82. Suppose -n + 41 = -4*x, -n + 4*n + 5*x - 72 = 0. Let m(y) = -7*y + 242. Let f be m(n). Which is smaller: v or f?
f
Let o(t) be the first derivative of t**2/2 - 7*t + 5. Let r = 0 + 4. Let d be o(r). Which is smaller: -4/3 or d?
d
Let f be (385/33)/(3/(-4) + (-140)/48). Which is bigger: f or -10/7?
-10/7
Let i be 1690/(-169) + (-5471)/(-555) - (-4)/30. Let d = -4 + 5. Which is smaller: d or i?
i
Suppose 26*w - 54*w = 55*w - 700354. Is 8439 bigger than w?
True
Let r = 4.6 + -0.6. Let i = 45919 - 45918.993. Which is greater: i or r?
r
Suppose 2*j - 3*v - 16 = -3, -5*j - 3*v + 64 = 0. Let y be (-2)/j - 7/1001*-4. Which is bigger: -31 or y?
y
Let n = -12184 - -13996. Is 1810 greater than n?
False
Let b = -0.13745 - -0.03775. Which is smaller: -0.3 or b?
-0.3
Let y = -28 + 113. Suppose -56*h + 2407 = -2353. Is h > y?
False
Suppose 2*t - 3*t = k + 5, -t + 5*k + 19 = 0. Which is smaller: t or -2/1831?
t
Let k = -241 - -241. Suppose -2*n + 4*s + 18 = k, -7*n + 8*n - s = 4. Which is greater: 2/101 or n?
2/101
Let l be -183 - 5/(-2)*(-18 + 234/15). Which is greater: -1.3 or l?
-1.3
Let o be 31618/95*((-2044)/12 - 3). Let a = 57691 + o. Let b = a - -25/19. Which is smaller: b or -1?
-1
Let h be 21*(-4)/((-1584)/1506). Let l = h - 80. Does 2/3 = l?
False
Let x = 4471 - 236987/53. Suppose 116 = 481*w - 119*w - 246. Is x greater than or equal to w?
False
Let h = 551 + -518. Suppose 3*w - 7 - h = -2*o, w - 3*o = 28. Which is bigger: 3 or w?
w
Let k = 426 + -425.915. Let h = 183.915 - 186. Let g = h + k. Which is bigger: -18 or g?
g
Suppose 2*u - 33 + 13 = 4*w, 4*w + 32 = 5*u. Suppose 96 = -u*k - 3*f, 0 = -f - 4*f + 20. Let b = 88.1 - 88. Which is greater: b or k?
b
Let s(v) = 45*v + 28. Let y be s(-1). Are 93 and y equal?
False
Let j = -29.954 + -0.046. Let w = -190 + 187.31. Let g = 2.79 + w. Which is smaller: g or j?
j
Suppose 65*u - 62*u = 45. Let v be (u/(-75))/((-1)/10). Suppose -v*k - 4*i + 27 = 3, -i + 20 = 4*k. Is k less than or equal to 3?
False
Let i(k) = 16*k + 579. Let j be i(-38). Is j greater than or equal to -33?
True
Suppose -9*v - 8*v - 1346 = -4*y, 2*y = -v - 68. Which is greater: v or -80?
v
Suppose -3*g + h + 78 = 0, 3*g - 36 = 2*g - 3*h. Let p(c) = 5*c**2 - 35*c + 28. Let j be p(7). Let i = g - j. Is i less than 1/8?
True
Let l = 98 + -2662. Do l and -2565 have different values?
True
Let p be (-80)/(-4) - 2*(25/(-10) + 0). Which is smaller: p or 371/15?
371/15
Let m = 7/125 + 33/3875. Let p(d) = 6 + 5*d + 5 - 4*d - 4. Let h be p(-8). Which is smaller: m or h?
h
Let n = 8147 + -8148. Which is smaller: -1/4518 or n?
n
Let x = 8711998/495 + -17600. Which is bigger: -1/2 or x?
x
Let o = 34.35 - 1.35. Let g = o - 33.07. Which is greater: g or 7?
7
Let f(l) = l**3 - 9*l**2 + 8*l + 8. Let p be f(8). Let m(a) = -115 + 121 - p*a - a - a**2. Let y be m(-10). Is y less than -26/5?
False
Let p be ((-54)/(-2625)*5)/((-63)/(-2310)). Is p < 4?
True
Suppose t + 9*t - 290 = 0. Let s be 2/(-5) + 142/5. Let k = s - t. Which is bigger: -9/5 or k?
k
Let w(v) = -v - 1. Let l be w(-1). Suppose 2*d + 0*k + 42 = -3*k, -2*d - 5*k - 50 = l. Let o be (26/d - -1) + (-19)/(-57). Which is greater: -1/3 or o?
-1/3
Let j = 22.279 + 5.191. Let t = j + 0.53. Let m = 28 - t. Which is smaller: m or -1/9?
-1/9
Let p = -60.2 - -75. Let g = p + -21.8. Which is bigger: 11 or g?
11
Let q be 24*-5*235/(-100). Let r = 284 - q. Is r equal to 9/4?
False
Let o = 507.9 + -509.8. Which is bigger: 3/19 or o?
3/19
Let g(p) = -2*p**3 + 19*p**2 - 2*p - 3. Let w(y) = -y**2 - y - 1. Let l(z) = g(z) + 6*w(z). Let a be l(7). Which is bigger: a or -115?
a
Let g(q) = q**2 + 13*q + 18. Let l be g(-12). Suppose -2*k - 4*n = n - 24, -3*k = -3*n - 15. Let v = 0 + k. Which is smaller: l or v?
l
Let b be (-18)/336 + (-18)/48 + 25474/(-14). Is -1819 at most as big as b?
False
Let c = 134490/7 + -19213. Which is greater: 97/11 or c?
97/11
Suppose 145 = 1713*j - 1684*j. Suppose -3*m + n - 3*n = -7, -3*m + 19 = -n. Suppose -j*f + m*h - 125 = 0, 4*f + 37 = h - 69. Which is greater: f or -1?
-1
Let t = 29/12 + -9/4. Let a = -18.11 + 18. Is t not equal to a?
True
Let u = -660 - -1771. Suppose -905 - u = 7*d. Let x be d/(-27)*6/4. Is x less than 15?
False
Suppose -1782 = -50*a + 5218. Let l = 10 - -129. Is l at least a?
False
Let w be 124/(-62) - ((-62)/(-1) + 0). Let m = -240 - w. Is m greater than -176?
False
Let x(w) = 4*w**3 - 2*w**2 - 4*w - 2. Let j be x(-1). Let z be (j + 4)/(-3 + 0 + 4). Do 126 and z have the same value?
False
Let x = -16 + -3. Let v(i) = 4*i**2 + 236*i + 210. Let t be v(-58). Is t greater than or equal to x?
False
Let k be -1 + (6 - 1) + 94/8. Let d(p) = 16*p**3 + 3*p**2 - 3*p + 1. Let o be d(1). Which is smaller: o or k?
k
Let f = 258.32 - 0.32. Let c = -301 + f. Is 1 at most as big as c?
False
Let n be 1*(16/(-20) + (-11)/55). Which is smaller: -1/325 or n?
n
Let r = -3.783 + 3.783. Are 1532 and r nonequal?
True
Suppose 44*u - 41*u = 4*w + 676, 5*u - 1170 = -2*w. Which is smaller: u or 234?
u
Let j = -1.739 - -0.049. Which is smaller: 4 or j?
j
Let q = -381 + 393. Suppose -22*z = -29*z - 14. Is q smaller than z?
False
Suppose 40*y + 95722 = -236318. Which is smaller: y or -8302?
-8302
Suppose 10202*k - 10188*k + 10 = -4. Which is greater: -54/217 or k?
-54/217
Let r = 103 - 180. Let o = 49 + r. Let j = 29 + o. Which is greater: 8 or j?
8
Let c = -1 - -1.1. Let t(r) = -r**2 + 24*r - 105. Let z be t(41). Let o = -810 - z. Which is greater: c or o?
c
Let n = 7858/5 + -1570. Which is greater: 24/11 or n?
24/11
Let o(d) = 14*d + 10. Let n(u) = -5*u - 4. Let m(z) = -8*n(z) - 3*o(z). Let f be m(-3). Which is bigger: f or 47/7?
f
Suppose -8 = o - 6. Let i be o/(-8) + (-380)/(-16). Suppose -i = 6*f - 12*f. Which is bigger: 3/5 or f?
f
Let x(j) = -1737*j + 786. Let f be x(-1). Which is greater: 2521 or f?
f
Let n be (8 + -2)/(-6) - (-78 + -3). Suppose 4*r = -4*a - n, -5*r - 81 = -2*a + 40. Is -22 >= r?
True
Suppose -15 = -j + 6*j. Suppose 0*z - 5*z = 5*m + 10, 27 = 4*z - 3*m. Suppose -12 = 5*u + z. Is j < u?
False
Suppose 11*a + 108 = 15*a - 4*m, -5*m - 45 = -2*a. Let p = -29 + a. Which is greater: 2/41 or p?
p
Let g be (103 - 7)/8 - (-2 - -4). Suppose 308 = g*q + 4*q. Which is smaller: 26 or q?
q
Suppose 2*s + 76 = 3*s - 4*l, 3*s - l - 184 = 0. Suppose 0 = 2*g - 4*y + y - 121, 1 = -y. Is g <= s?
True
Let v be 1452179/123 - 4/(-6). Let z = v + -59264/5. Which is smaller: -47 or z?
-47
Suppose 295 = 292*b - 297*b. Is b bigger than -9/7?
False
Let k = 50 + -35. Let r = k + -12. Suppose r*p = -s - 45, -30 = 3*p + s - 5*s. Are p and -14 unequal?
False
Let b = -9430.841 - -3.841. Which is smaller: -2 or b?
b
Let x(j) be the first derivative of j**3 - 3*j**2 - 46*j - 86. Let h be x(10). Are 193 and h unequal?
True
Let w(h) = -h**2 + 50*h + 2466. Let z be w(80). Is z less than 1227/19?
False
Let l = 4767/5 + -1978/5. Is l at most 558?
True
Let o(l) = 35*l - 2417. Let x be o(69). Let y = 240/19 - 3645/266. Is x bigger than y?
False
Let v be 35/(-595) + 9/(4590/4756). Is v greater than or equal to -0.2?
True
Let w = 97.754 - 97.69. Let p = 0.3 - 0.264. Let r = w + p. Are r and -27 nonequal?
True
Let q be 3300/24*32/(-10). Let t be 1*(0 + q/(-455) + -1). Is t <= 1?
True
Let f(q) = q**3 - 13*q**2 + 23*q + 6. Let y be f(11). Let r(a) = 22*a + 7*a + a**