 -0.57 + 23.57. Let a = o - w. Which is greater: 0.05 or a?
a
Let q = -168.1 + 152. Let o = -48.9 + q. Let y = o - -64. Is -5/9 smaller than y?
False
Suppose -32*p + 7690 + 9622 = 0. Let o = 684 - p. Do o and 142 have different values?
True
Let j = 0.5 + -2.5. Let r = -4 - j. Let z = 0.72 - 1.92. Is z >= r?
True
Let z = 16/22169 - 424258/526402905. Which is smaller: -1 or z?
-1
Let h(a) = a**2 - 14*a - 423. Let i be h(-11). Let w be -6*25 - -1*2. Is i greater than w?
False
Let b(x) = -x**3 + 8*x**2 + 13*x - 53. Let y be b(9). Suppose 0 = -4*s - 3*h + 58, s - 20 = h + h. Let n = s + y. Which is smaller: n or -1/87?
n
Let g = 68 - 68.214. Let d = -0.076 + g. Do 2/11 and d have different values?
True
Let f be (-36)/(6 - -3)*(-3)/42. Which is bigger: f or -57.8?
f
Let i(o) = o**3 + 12*o**2 + 11*o + 6. Let r be i(-4). Let j be -90 - (1 + 0 + 0). Let s = j + r. Which is greater: -15/8 or s?
s
Let h = -616 - -615.54. Let r = -21/5 + 179/45. Is h != r?
True
Suppose 0 = -0*h + 2*h - 8. Suppose -h*z - 21 = -z. Let r be 6 + (272/(-102))/((-2)/(-9)). Which is greater: r or z?
r
Let g = -995/4 - -1181/4. Let t(v) = 15*v**3 - 20*v**2 + 6*v - 6. Let w be t(2). Is g less than w?
False
Let u be (-462 - -6) + -8 - 6. Let m = u + 466. Is 89 < m?
False
Let w = -961 + 929. Let c be -1 - (-8)/(w/(-77)). Is c != 17?
True
Suppose 5*a + g = -20, 2*a + 4*g - 9 = 1. Let y = -16 - a. Let l = y + 14. Are l and 4 nonequal?
True
Suppose -n + 2*w - 1 = 0, 0 = -4*n + w + w - 22. Let r be -1 - (9/14)/((-6)/n). Which is smaller: -1 or r?
r
Let c(k) = 7*k**2 - 10*k + 10. Let i(f) = -6*f**2 + 9*f - 9. Let d(u) = 5*c(u) + 6*i(u). Let x be d(3). Suppose 274095*b - 14 = 274088*b. Is x greater than b?
False
Let m = -10.5 + 0.5. Suppose 339 - 1353 = -26*t. Let d be (-13)/t + (-35)/(-15). Is d smaller than m?
False
Let a = 1.08709 + 425.81691. Let v = a - 427. Are -1 and v unequal?
True
Let x be 26 + -18 - 6*(-3)/(-6). Suppose -4*j + u = -9, j - 6*j = 5*u - x. Is j greater than 16/7?
False
Let n = 7261/5 + -1450. Is -2 at least n?
False
Suppose -9*m - 96 = -m. Let y be (-2*9/m)/(12/(-16)). Which is bigger: y or -2/13?
-2/13
Let j = -12/547 + 2707/98460. Suppose 0*t = 3*t - m, 0 = t + 3*m - 10. Do j and t have different values?
True
Let v = -0.2 + 0.24. Let k = -205 - -210.9. Let y = k - 10.9. Which is smaller: y or v?
y
Let n = 8005 - 2725. Let d be 1/(-7) + n/(-84). Let q = -65 - d. Is -1 bigger than q?
True
Let j = 423019 + -3810978175/9009. Which is smaller: j or 1?
j
Let t = -189099/3752 - -4103/67. Is 12 at most as big as t?
False
Let h(c) = -43 + 104 - c - 49. Let j be h(5). Which is greater: j or 13?
13
Suppose t + 189 = 2*t. Let i = 6863 + -6674. Is i bigger than t?
False
Let x(k) = -13*k + 35. Let d be x(-7). Suppose 4*f = d + 330. Suppose 9*z = 291 + f. Which is smaller: 44 or z?
44
Let x = -14 + 15. Let n = -16026.89 + 16029. Is x greater than n?
False
Let l be (-15)/20*(-16)/(-114). Let u = 5.23 - -266.77. Let c = u - 277. Which is greater: l or c?
l
Let t(v) = -v**2 + 6*v + 842. Let o be t(-26). Which is greater: 306/29 or o?
306/29
Let u(h) = -3*h**2 + 2*h + 2. Let s be u(2). Let d(b) = b**3 + 22*b**2 + 45*b + 86. Let m be d(-20). Is s > m?
True
Let i = -69 + 69.102. Let q = 47.898 + i. Let j = -48.06 + q. Which is greater: j or -3?
j
Let d = -22 - -25. Suppose -x = -d*x + 8. Let u be 4*1/(-6)*1. Is x greater than u?
True
Let g = 55 + -61.4. Let n = 0.085 - -6.415. Let s = g + n. Which is smaller: 0.2 or s?
s
Let g(y) = 3 - 3*y**2 + y**2 + 12*y**2 + y - 9*y**2. Let s be g(0). Which is smaller: s or 54/13?
s
Suppose 186 + 174 = 2*f. Suppose -31*y = -43*y + f. Which is bigger: y or 17?
17
Let g = 30 + -15. Suppose -4*p - 5*q = 35, -40 + g = 2*p + q. Suppose -5*m - 12877 = -12812. Is p bigger than m?
False
Let k = 7 + -18. Suppose -168 = -2*w - 6*w. Suppose 50 = w*y - 26*y. Which is bigger: k or y?
y
Let u be ((-40)/(-14))/((-48)/(-21) + -2). Suppose -l - s = 0, -2*l = -l - 4*s - u. Suppose l*h = h - 10. Which is bigger: h or -9?
-9
Let m = -254/285 + 22/19. Suppose 5*f = l + l + 175, l + f = -84. Let o = 85 + l. Are m and o equal?
False
Let x = -429 - -432. Suppose b - x*n - 291 = 0, 10*n = -2*b + 12*n + 594. Is 298 not equal to b?
True
Let a = 38751 + -31465803/812. Let z = a - -43731/10556. Is 5 less than or equal to z?
False
Let n = -39861 + 39850. Which is bigger: n or -520/49?
-520/49
Let l = 1883 + -1807. Is l at most as big as 75?
False
Let a(n) = n**3 + 7*n**2 - 17*n + 11. Let w be a(-9). Suppose -56 = g + w*b, -5*g + 0*b + 4*b = 308. Which is greater: g or -1?
-1
Let a be (-8112)/(-416) - (-3)/(-2). Which is bigger: a or 33?
33
Suppose -5*v - 3*g = -3074, 0 = -4*v - 5*g + 2*g + 2458. Let x = v - 37578/61. Let b be (0/(4/4))/(-3 + 0). Is x > b?
False
Let k(u) = -108*u**3 + u**2 - 69*u - 69. Let p be k(-1). Which is bigger: p or 113?
113
Let v = 25.27 + -25.77. Which is smaller: v or -84?
-84
Let a(j) = 327*j + 1318. Let g be a(-4). Which is bigger: -3 or g?
g
Suppose 0*o + 4*o = 31*o. Suppose -5*r - 31 = -g, 9*g - 5*g - 4*r - 140 = o. Are g and 36 non-equal?
False
Let q = 30623 + -31403. Are -769 and q unequal?
True
Suppose -407*h + 221 = -186. Which is bigger: -2/54967 or h?
h
Let t be (-2)/(-1 - -2) + 354/(-40). Let q = t - -45/4. Which is smaller: -3/49 or q?
-3/49
Let p(s) = 4 - 13 - 798*s + 776*s. Let q be p(-18). Is q at least as big as 386?
True
Let c(b) = b - 2. Let r be c(2). Let o be (6/9 - 1) + (-730)/(-30). Let t be o + -22 - (0 + 14/18). Which is smaller: t or r?
r
Let y = 318 - 316. Suppose 86 = -5*g + i, -y*g = -7*g - 4*i - 106. Is -10 at most as big as g?
False
Let b = -3949.7 + 4129. Let x = b + -179. Which is smaller: 58 or x?
x
Suppose -2*x = -3*u - 29, 4*u - 30*x + 33*x - 35 = 0. Let f be 4/(-14) - 6/(-56). Are u and f equal?
False
Let c = -1626/433 - 5300662/3031. Let l = -1758 - c. Let j = -1475 - -1471. Is j >= l?
True
Let l = -3.183 + 4.183. Is 2185/4 at least l?
True
Let k be 1*-3 - 399076/413. Let d = 970 + k. Let v(s) = s**3 + s**2 + s + 1. Let q be v(0). Which is bigger: d or q?
q
Suppose 3*n + x + 25 = 0, 6*n + x + 7 = -54. Let a be 1/(1 + (-1)/3). Is a <= n?
False
Let g = 8.707 - 8.7. Let w = 0.007 - g. Which is smaller: -7/2 or w?
-7/2
Let v be -6 - 45 - (-2 + -1). Let l = v + -36. Let n be (-3 - l/17) + -3. Is 0 smaller than n?
False
Let x be (-3 - -1)/((-26)/(-884)). Is -64 equal to x?
False
Let g(t) = -9*t + 48. Let r be g(5). Let h be 24/8 + (-4)/r*3. Is -53 smaller than h?
True
Let c(n) = 164*n - 2291. Let j be c(10). Which is smaller: -660 or j?
-660
Let h = 2566 - 2566. Which is greater: -859 or h?
h
Let t(h) = 3*h**2 - h + 4. Let s = 7 - 4. Let p be t(s). Let g = -9668 + 9695. Which is greater: g or p?
p
Let z = -98 + 95. Let g be (z - (-2728)/920)*-45. Which is bigger: g or 2?
2
Let z be (-13 + 2 + 1)/(-5 + 3). Let s be (-3)/z + 130/50. Is 1 bigger than s?
False
Suppose -2*p - 29*p - 3038 = 0. Let j be p/245 + (-71)/(-115). Which is greater: -1 or j?
j
Let d = 352 - 1093. Is -731 at most as big as d?
False
Suppose -2*q = -12*q + 80. Suppose -q*k - 6 = -5*k, k + 124 = 2*n. Which is smaller: -5/4 or n?
-5/4
Let t = -349.79 - 1.21. Let z = t - -307. Is z less than or equal to 2/3?
True
Let f = -2/157377 + -101084/301691709. Which is smaller: f or -2/7?
-2/7
Let r be ((65/13)/(-7715))/(-1). Which is smaller: r or -1?
-1
Let g = 6329 - 6332.682. Which is greater: -2/3 or g?
-2/3
Let u = 13921/9 + -1547. Is 0.23 <= u?
False
Suppose 0 = 14*r - 2*r. Suppose 66*y - 63*y - 144 = r. Suppose -23*c = -17*c + y. Is c <= -10?
False
Let f be (-7)/3*(-9 - -21). Let x be (114/(-133))/(1/f). Is x >= 23?
True
Let q be -6 - ((-15374)/(-10) - (-228)/(-570)). Which is bigger: q or -1542?
-1542
Let y = 1405/3 - 491. Let a = -3365 + 3342. Which is bigger: a or y?
y
Let s = 625 + -256. Let r = s + -369.5. Is r greater than -3?
True
Let r = -17.864 + 18. Let f = r - 0.236. Which is bigger: f or -53?
f
Let z be (-162)/(-297)*286/260. Let p(y) = y**3 - 3*y**2 - 5*y. Let v be p(6). Which is smaller: z or v?
z
Suppose -10 - 29 = 3*n - 2*f, 2*n = 5*f - 48. Suppose -2*q - 21 = q + 3*b, q - 5 = 5*b. Do n and q have the same value?
False
Suppose 3*m - 1 = 5*a - 6*a, -3*m = -3. Let l be 23/253 - 3321/(-11) - a. Is 304 greater than or equal to l?
True
Suppos