57 - -1.57. Let c = 1 - 1. Let p be -3 + c - (-45)/12. Which is greater: p or u?
u
Let a be 2 - -2 - (1 - 0). Suppose -i - a*i = 0. Suppose -36 = -3*v + 4*n, -4*v - 5*n + 19 + 29 = i. Does v = 13?
False
Let d be 320/(-60)*(90 - 0). Is d at least -480?
True
Let a be 0/(-21) + (-755 - -1*1). Let x = 5268/7 + a. Are -2 and x nonequal?
True
Let l = 30 + -6. Let m = 489.9 - 514. Let i = m + l. Is i at least -0.09?
False
Let q(g) = -8*g. Let d be q(-2). Suppose -d = -3*t + 4*t. Let w be (-4)/(t/(-14)) - 2. Which is greater: -7 or w?
w
Let w be 93/105 - 6/10. Suppose k + 4*v = -13, -v = -5*k + v + 23. Let c be 4*(100/(-36) + k). Which is smaller: c or w?
w
Let o = -536 - -402. Which is greater: o or -406/3?
o
Let p = 1.53 - 0.53. Let i = 1.1 - -3.9. Let r = 4.96 - i. Which is greater: r or p?
p
Suppose 130 + 216 = 2*c. Is 175 at least c?
True
Let w(x) = -3*x - 12. Let r be w(-4). Let u be 14/161*(r - 1). Let s be -1*2*2/(-4). Which is greater: u or s?
s
Let h = 128 - 127. Is 2/57 smaller than h?
True
Let a = -846 - -845. Is -1/572 at least a?
True
Let o(f) = -f - 1. Suppose 0 = s + 3*t + 5 - 19, t - 28 = -5*s. Let i be o(s). Which is smaller: i or -1?
i
Let g = 66.8 - 67. Let k = 0 + -1.5. Let h = k + 1. Are g and h equal?
False
Let m = 1964 - 214089/109. Is -1 at most m?
True
Suppose v - 52 = -4*o - 8, 50 = v + 2*o. Do 170/3 and v have different values?
True
Let g = -523 - -524. Do g and -2/961 have the same value?
False
Let u = -1052 - -1052.2. Which is smaller: u or 0.303?
u
Let x = 175 - 41. Let a be (2/x)/(-1 + -4 + 4). Which is greater: a or 1?
1
Let a = 24 + -21. Let l = 1/1059 - -1529/706. Is l bigger than a?
False
Let r be ((-2)/28)/(2 - (-32)/(-14)). Suppose 0 + 3 = l. Suppose 5*p = -l + 13. Does r = p?
False
Let g = 473 - 471. Suppose 4*c = 22 + 22. Suppose -i - 5 = 0, 5*p + c = -g*i - 4. Is p greater than or equal to -1?
True
Let o be 9 + (-1)/(-1)*-2. Let w be ((-20)/(-6) - -3)/((-2)/36). Let k = -106 - w. Which is bigger: o or k?
k
Let u(c) = 2 - 4*c + 0 - 4 + 5*c + 2*c**2. Let a be u(-3). Let i = a - 8. Is 6 <= i?
False
Suppose 3*b + 8 = -4. Let t(i) = -i**2 - i + 6. Let j be t(b). Is j greater than -5?
False
Let y(d) = d - 17. Let t be y(17). Let l be ((-292)/(-74) + -4)/(-2). Which is greater: l or t?
l
Let r be 2912/21 + 1 + 5/(-3). Let l be (-15)/(-150)*(-8)/r. Which is greater: l or 1?
1
Let f = 768 - 820.9. Let s = 61 + f. Let o = s - 8. Which is smaller: o or -3/4?
-3/4
Suppose 6*m - 1283 + 1289 = 0. Is -3/505 bigger than m?
True
Let c = 727.89 - 728. Let d be (-6)/63*(0 - 3). Which is greater: d or c?
d
Let p = -4 + 7. Let s be 17/3 - (-1)/p. Let i be 4/(-10) - ((-98)/(-5) + -23). Is i < s?
True
Suppose -4*k = -r - 4, -72 = 3*k + 2*r - 75. Is -2/1387 > k?
False
Let c be 4/(-2) + (3/(-1) - -16). Which is greater: c or 39/4?
c
Suppose 0 = 9*d - 10*d. Let v be (3/(-18) - 3/(-6))*d. Is 6/31 less than or equal to v?
False
Let g(z) be the first derivative of -5*z**3/6 - 2*z + 1. Let i(n) be the first derivative of g(n). Let y be i(1). Does y = -6?
False
Suppose 3*p + 1099 = -h + p, -1123 = h - 4*p. Let v be 2 + -2 + 9/h. Are 0 and v non-equal?
True
Let x = -64 + -31. Is x > 1?
False
Let g = 997.6 + -998. Which is bigger: 144 or g?
144
Let z = 0.0383 - -0.0617. Is 12/5 not equal to z?
True
Let r = 16 - 6. Let l = r + -9.9. Let z be ((-4)/24)/(3/8). Which is bigger: z or l?
l
Let x = -49 - -70. Let a = 29 - x. Suppose a*l = 5*l - 12. Is l smaller than -3?
True
Let f(l) = l**3 - 14*l**2 + 7*l + 6. Let b be f(14). Let u = b - 106. Which is greater: -24 or u?
u
Suppose 18*m + 1670 = 23*m. Let n = 3662/11 - m. Is 0 less than n?
False
Suppose -5*w + 293 = -2*c, -4*w + 208 = 4*c + c. Is w equal to 0.2?
False
Suppose -10*t - 7 = 23. Let q be -1 - (2*t/6 - -1). Which is smaller: 0 or q?
q
Let h = 57 - 24. Let q = h - 15. Let o = 17.6 - q. Which is smaller: -0.2 or o?
o
Let u = 286 - 286.05. Which is bigger: u or 2/169?
2/169
Let j(f) = -f**3 - 6*f**2 + 2*f + 2. Let l be j(6). Is -417 < l?
False
Let x = 9 + -6. Suppose 0 = t + 2, 3*k + 14 = 5*k - x*t. Let f(s) = -s**2 - 6*s - 4. Let g be f(-4). Is k > g?
False
Let r = 23 + -16. Suppose u + 0*u = 3*b - 10, b - u - 2 = 0. Is r < b?
False
Let q(v) = -v**2 - 10*v + 11. Let n be q(-8). Let t = n - 49. Let h = 13 + t. Is h smaller than -9?
False
Let x(i) = 7*i**2 - i - 16. Let w(k) = 6*k**2 - k - 16. Let t(o) = 6*w(o) - 5*x(o). Let r be t(4). Is r < -4?
False
Let w = 15 - 18. Let v = 6193/6 + -1035. Which is smaller: v or w?
w
Let l be (891/(-612))/1*32/(-6). Is 8 less than or equal to l?
False
Let d = -199 - -199. Which is greater: -2/27 or d?
d
Suppose -7 - 5 = 12*j. Let o = -0.8 - -18.8. Let n = -13 + o. Which is bigger: n or j?
n
Let b be -5*3/(-30) + 9/18. Which is bigger: b or 2/105?
b
Let i = 0.89 + -0.29. Let c = -1 + 1.4. Let w = i - c. Which is smaller: w or -1?
-1
Let f(z) = 26*z + 154. Let x be f(-11). Is x equal to -131?
False
Let k = 257 - 4371/17. Are 0 and k unequal?
True
Let c be 0/((-64)/224 - 10/14). Let i = -35/6 - -13/2. Is c at most as big as i?
True
Let w be -1 - (-9)/7 - 10/35. Are w and 88 unequal?
True
Suppose 4*j - 2*j + 6 = 0, 0 = 2*g - 2*j - 248. Let o = g + -125. Is -5 at least as big as o?
False
Let c be (-700)/(-22) - 86/(-473). Are c and 233/7 non-equal?
True
Let z = 1119 + -5597/5. Let l = 0.67 + -7.47. Which is smaller: l or z?
l
Let g = -12/13 - -35/52. Suppose o + 0*r - 49 = -4*r, 0 = -o + 5*r + 13. Let d = o + -33. Which is greater: d or g?
d
Let w(r) = -r**2 + 9*r + 10. Let m be w(10). Are m and -3/22 unequal?
True
Let x(l) = -9*l - 847. Let s be x(-77). Is s at most as big as -458/3?
True
Let n = 29 - 14. Let h(o) = -49*o - 233. Let c be h(-5). Are c and n non-equal?
True
Suppose -10*s + 6*s - 992 = 0. Let d be 2 - ((-1239)/s + -3). Let v = d + -623/744. Which is greater: 0 or v?
0
Let x be (3 - -2) + (-3 - -1). Let j(m) = -m**2 + 3*m - 2. Let h be j(-5). Let s be 7/h*4*15/(-2). Which is greater: s or x?
s
Let c = 5867/2 - 3051. Which is greater: c or -119?
c
Let m(j) = -3*j**3 + j**2. Let d be m(1). Let x = 1 + d. Let f be x - 1 - 13/(-7). Is f smaller than -1?
False
Let n = -20 - -17. Let r be (2 + 1)/n*1. Let u be 1/(-1)*(-2 - r). Which is smaller: u or 7/4?
u
Let z = 317883973/962410 + 5/96241. Let p = z + -330. Is 0 at most as big as p?
True
Let c be (-68)/(-85) + (-198)/10. Let w = 23 + c. Which is bigger: 3 or w?
w
Let a(o) = 2*o + 5. Let t be a(-4). Let c = 15/109 + -1755/872. Which is greater: c or t?
c
Let y(z) = z. Let f be y(4). Which is smaller: f or 44?
f
Let g = 31 - 28. Suppose g*s = 7*s - 4. Is -1/21 at most as big as s?
True
Suppose 60 = -1080*r + 1083*r - 5*w, -2*w - 2 = r. Let g = 22 + -7. Suppose -5*l = j - 53, -2*l - 4*j + g + 17 = 0. Is r at most as big as l?
True
Let m = -1264 + 3790/3. Which is smaller: 86 or m?
m
Let n = 0 - -0.1. Let t be -1*11/((-165)/10). Which is smaller: t or n?
n
Let n = 161 + -160.82. Is -0.01 at least n?
False
Let x be 3 + -3*(-6)/9. Suppose 4*d - x*d = -8. Is 0 at most as big as d?
True
Let c = 0.0178 - 1.0178. Is c < 0.0022?
True
Suppose 2*m + 5*s = -812, -644 - 980 = 4*m - 4*s. Is m > -2?
False
Let x = 228 - 119. Is 108 at least x?
False
Let f = -5 - -7. Suppose -32 = 3*s - 5. Let r = 11 + s. Is f > r?
False
Let w(b) = 33*b + 134. Let q be w(-5). Which is greater: q or -25?
-25
Let i be 3 + (0 - -1) + -2. Suppose i*o + 3*o - 35 = 0. Suppose j - 6 = -o. Is j less than or equal to 1?
True
Let a(r) = -2*r - 2. Let x be a(-7). Let v be (-30)/x + (1 - -1). Let g = 3 - 3. Which is greater: v or g?
g
Let s(a) = a**3 - a + 1. Let x be s(0). Let l be x*10 + (-6 - -5). Let c = 8 - l. Which is smaller: c or 2?
c
Let s = 0 + -0.2. Let t = -0.3 - s. Suppose -1317 = -11*o - 1427. Are o and t non-equal?
True
Suppose 0 = 21*o + 246 - 15. Is o < -12?
False
Let y(l) = -l**3 - 2*l**2 + 4*l + 5. Let k be y(-3). Suppose t - 4*s + 17 - 3 = 0, 0 = -k*t + s. Let z = 3 - t. Which is smaller: 1/8 or z?
1/8
Let l = -654/23 + 11518/253. Let w = 20470/1199 - l. Which is greater: 0 or w?
0
Let b(l) = -l + 10. Let m = 11 - 6. Suppose -w = -m*x + 39, 6 = -2*x - 8*w + 3*w. Let i be b(x). Is 2 less than or equal to i?
True
Let o(f) = 14*f. Let j be o(-1). Let z be ((-3)/(-2))/(3/92). Let g be 8/28 + z/j. Is g at least 3?
False
Suppose 2