 = -2215 + 2213. Is p equal to -108/91?
False
Suppose 5*w - 2*w - 6 = 0. Let d = 264 - -521. Let m = 786 - d. Which is greater: w or m?
w
Let b = 312 + -401. Is -102 >= b?
False
Let c be 33/747*(-8 - (-232)/32). Does 0 = c?
False
Let p = 0.3549 - 116.3549. Let w = 163 + -36. Let r = w + p. Is -0.3 < r?
True
Let l be ((-17)/3)/(-9 - (-11)/(-33)*-28). Which is smaller: l or 0.1?
l
Let x = -11 + 11. Let k be (5/2)/((-3)/6) + 2. Let g be ((5 + k)/42)/(2/3). Which is smaller: x or g?
x
Let r = 0.1 + -2.2. Let n(v) = -10*v - 237. Let i be n(-25). Suppose -30 = 17*a - i. Are r and a equal?
False
Let h(t) = t**2 - 22*t - 451. Let j be h(35). Which is bigger: 0 or j?
j
Let t = -63 - -22. Let g = 92 + -111. Let x = g - t. Which is smaller: 21 or x?
21
Let x = 1152.716 + -1157. Let j = -0.284 - x. Is 0 bigger than j?
False
Let s = 39 - 59. Let o be 26/10 + (-30)/(-75). Suppose -2 = o*x + 61. Which is greater: s or x?
s
Let g be (24/(-54))/((-34)/(-8109)). Which is smaller: g or -98?
g
Let a(y) be the first derivative of 6*y**2 - 24 + 22*y + 1/3*y**3. Let i be a(-10). Which is smaller: 8/5 or i?
8/5
Let q be (0 - (-1 + (-6)/(-3))) + 142. Suppose 3*i - 359 = -2*l, -5*l + 221 = 3*i - q. Is 117 smaller than i?
True
Let u = 397 + -386.544. Let h = -0.056 + u. Which is smaller: -1/2 or h?
-1/2
Suppose -3*v = 5*h + 18887, -v - 2814 = h + 3477. Which is smaller: 1/2 or v?
v
Let j = 906747 - 9059191/10. Let m = -825 + j. Is m greater than or equal to 3?
False
Suppose -39*h - 64729 + 20230 = 0. Is -1142 < h?
True
Let k = -591.43 + 594. Let s = -2.17 + k. Are s and -8 equal?
False
Let b = -19961/3 - -17645503/2652. Which is bigger: 1 or b?
1
Let u = -80/71 + 75778/67379. Which is bigger: 1 or u?
1
Let t = -183.34 + 188.5. Is -1.4 >= t?
False
Let j(f) = -f**3 - 8*f**2 + 28. Suppose -7*a - 32 = -3*a. Let x be j(a). Let w be 0 - 2/(-14)*-2. Are x and w non-equal?
True
Let u = 9165 - 9244. Is u bigger than 0?
False
Let s(g) = -106*g**3 + 2*g**2 - g + 1. Let p be s(1). Let x be (10/4)/((-130)/p). Let q be 648/(-192) + x/((-16)/(-3)). Is 1 less than q?
False
Let z = -1501 + 3824. Is 2323 < z?
False
Let v(t) = 12*t**3 - 15*t**2 + 14*t + 245. Let n be v(-11). Which is smaller: n or -17697?
-17697
Let w(h) = -10*h**2 - 24*h + 2 - 4 + 105*h**3 + 4 - 104*h**3. Let t be w(12). Let d(q) = -q**3 - 4*q**2 - 3*q - 1. Let k be d(-3). Are t and k equal?
False
Suppose -727*m + 418*m = -357*m - 2304. Let p(f) = f**3 + f**2 - 49. Suppose 3*k - 5*j + j = 12, 2*j = 5*k - 6. Let q be p(k). Are q and m equal?
False
Let l = -0.0311 - -0.4731. Let i = l - -0.558. Which is smaller: i or -230?
-230
Suppose 5*r = -4*m - 216, -3*m - 158 - 15 = 4*r. Let z(i) = -5*i. Let g be z(-1). Which is bigger: g or r?
g
Let f be ((-15)/10 - (-302)/4) + 0. Let a = f + -12. Let t = -5 + a. Is -0.1 < t?
True
Suppose 2*q = 6, -l + q = 6*q - 97. Let a = 83 - l. Let d = 172 + -16855/98. Do d and a have different values?
True
Let w be 53*6/9*12/(-168). Let r = w - -8/3. Let l = -0.04 - 0.26. Which is greater: r or l?
r
Let z be ((-2)/(-623))/(189202/(-3458)). Which is bigger: z or 1?
1
Suppose -14 = -31*k + 17. Is k less than 3/136?
False
Let v = 7579/15 + -9314597/18435. Do v and -1 have different values?
True
Let h = 0.211 + -0.291. Let q = -20 - -20.18. Let z = h + q. Are z and -3 nonequal?
True
Let p(q) = 1218*q + 25. Let h be p(1). Which is smaller: h or 1245?
h
Let i = 3544.3 + -3544. Which is bigger: i or 203?
203
Let n(q) = -5*q**2 + 18*q + 11. Let z be n(13). Let i be 2 + -4 - z/295. Suppose 0 = -40*h + 44*h - 4. Which is smaller: i or h?
i
Let p be (-2)/33 + 1/3. Suppose -4*r + 22 = 2*o, -19 = -o + 24*r - 28*r. Suppose 10 = -5*m, 2 - 1 = o*c - 2*m. Which is greater: p or c?
p
Let m = 612 + -405. Suppose 2*q + 5*p = 23 + 58, 4*q - 5*p - m = 0. Let i = q + -46. Is 15/7 greater than or equal to i?
True
Let x be (-712)/2314 - (-13436)/42822. Is 1 less than x?
False
Let p(o) = o**2 - 14*o + 27. Let q(d) = -11*d**3 + d**2 - d - 1. Let h be q(-1). Let g be p(h). Suppose -54 = g*u - 45. Is -3 bigger than u?
False
Let o = 15.8 - 15.7611. Let t = -0.0311 - o. Let m be ((-2)/(-6))/((-2)/6). Which is smaller: t or m?
m
Suppose 0 = 2*i - 4*f - 964, -2*i + f + 892 + 78 = 0. Let w = 491 - i. Is -14 < w?
True
Suppose 4*d = g + 25, g - 4*g = -d + 86. Suppose -159*l + 154*l + 4*b - 188 = 0, -3*l - b = 89. Do l and g have different values?
True
Suppose 71*q + 6*q + 54577 = -163410. Is -19818/7 <= q?
True
Let r = 66 - 53. Let q be (-20)/(-7) - r/(-91). Suppose 4 = b - d, b - q*b - 5*d = 27. Which is greater: -2/41 or b?
-2/41
Let m = -544 - -557. Suppose 0 = 19*j - m*j + 1050. Are -176 and j unequal?
True
Let q be 1/(-4)*60/(-984). Is -4 at most q?
True
Suppose -3*w - 2*z = 30005, -226*w - z = -222*w + 40020. Is w not equal to -0.2?
True
Suppose -12*k - 11 = -11*k. Let q(n) = n**2 + 2*n - 74. Let m be q(k). Which is greater: m or 76/3?
76/3
Let l = 7578983/6665 + 91/1333. Which is bigger: l or 1138?
1138
Let g(m) = -m**2 + m + 23. Let x be g(6). Let p be -64*x/14*1. Is p < 36?
True
Let r = 0.027 - -0.473. Let i = -1.2 - 13.7. Let c = i + 15. Is r greater than or equal to c?
True
Let x be 15 + 4 + 1 + -3. Let o = -0.02 + 3.42. Let p = o - 3.5. Are x and p equal?
False
Let u = 4.762 + -4.85. Let j = -0.012 + u. Is 224 > j?
True
Let c = 0.0167 + 37.6833. Let n = -38 + c. Let q be 1/(2 + (-9)/4). Which is smaller: n or q?
q
Let i = -38 + 77. Let l = i - 42. Let h be (-8)/(-6)*(-105)/(-14). Which is smaller: h or l?
l
Let w = -562.5 + 568.5. Which is smaller: -2.23 or w?
-2.23
Let t = -4922 - -34385/7. Suppose 4*a + a - 31 = 4*g, -31 = 3*g + 4*a. Which is smaller: t or g?
t
Let h be (-10620)/(-1500) + (-2)/25*1. Which is greater: h or 450?
450
Let m be (60/1544795*19)/((-24)/14 - -2). Is m greater than or equal to -1?
True
Let l be 420/(-42)*(-6 - -4). Which is smaller: l or -3/83?
-3/83
Suppose 0 = 2*u - r - 466, 3*r + 21 = -u + 240. Suppose -3 = -i + 3*x, 3*i - 4*x + 4 = 18. Suppose -i*z + u = 567. Is z not equal to -56?
False
Let x be (11/385)/(32/22160). Is 19 >= x?
False
Let f = -5180 - -5181. Which is greater: f or -41/122?
f
Let p = -18528 + 17272. Which is bigger: -1261 or p?
p
Let b be 126/2*(-380)/(-855). Let a = 833 - 2413/3. Is a < b?
False
Let a = -26 + 28. Suppose -d + 3*u + a = -8, d + 5*u + 22 = 0. Is -13/5 smaller than d?
True
Let f be (21580/(-16))/13 + 8. Is -2 equal to f?
False
Let i(f) = -10 - 7*f**2 + 70*f - f**3 - 70*f. Let v be i(-6). Let y be v*(-2 + 10/4). Is y greater than -24?
True
Let x = 3 - 0. Let t = -847 + 852. Suppose -x*g - 5*u = 23, -u - 1 = -t*g - 2. Which is smaller: -1/39 or g?
g
Suppose 5*y + j = 3*y - 33, y = 2*j - 9. Let z be (3/2)/(y/(-110)). Which is smaller: z or 9?
9
Let w be 2 - 10*14/4. Let c(j) = -17*j**2 + 4*j - 5. Let r be c(4). Let v = r - -227. Are v and w equal?
False
Let j = 649/978 - -1/326. Which is smaller: j or 2/1315?
2/1315
Let w = -3790 + 2195. Is -1595 equal to w?
True
Suppose 0 = -3*m + 17*m - 1218. Let v = 91 - m. Which is greater: v or 21/4?
21/4
Let r = 8 - -3. Suppose r = -q - 4*g, 5*g - 5 = 5*q - 0*g. Suppose -65*l = -69*l - 16. Is q at least l?
True
Let b = -25856 + 25858. Let p be 2/(-14)*(-1 + 354). Let t = 51 + p. Which is greater: t or b?
b
Let u be -13 - (0 + (-10455)/493). Which is bigger: 7 or u?
u
Let d = 57 - 57. Suppose -24 = -t - d*t. Let s be ((-3)/(-126))/((-6)/t). Which is bigger: s or 1?
1
Let a = 34 + -47. Let s = -167 + 144.4. Let f = -24.6 - s. Which is greater: a or f?
f
Suppose 0 = p + 1 - 0 + 1, -2*y - p = 0. Let k be -5*(0 + (-4)/(-46)). Is y > k?
True
Let x = 907 - 1057. Let w be 76/(-950) - (-188)/x. Which is greater: 0.75 or w?
0.75
Let l be (-7 - (-69)/5)/((-1)/6). Let x = -413/10 - l. Is -0.4 less than x?
False
Suppose -2*b = 14, -86*b = -4*a - 83*b - 43. Is a less than or equal to 58?
True
Let m(z) = 12*z**2 - z + 1. Let c be 5/15*(-9)/(3*-1). Let f be m(c). Let q = f - 19. Are q and -1 unequal?
True
Let n = 19 - 20. Let w be n + 3 - (-5 - 230/(-2)). Which is greater: w or -109?
w
Let q = -7154 + 6963. Which is smaller: 0.05 or q?
q
Suppose 22*t - 19*q + 68126 = 27*t, 0 = -3*t + 4*q + 40891. Which is smaller: t or 0?
0
Let b be (9/150)/((-2)/4). Let t = -37 + 36. Which is smaller: b or t?
t
Let d be (-39 - -13) + 0/(-1). Is -89 