30 - -1531.7. Do -2/3 and g have the same value?
False
Let v be (49/24)/7*4. Suppose -4 + 93 = 4*y + 5*p, 0 = 3*y - 2*p - 38. Suppose -14 = 2*b - y. Is b at most as big as v?
True
Suppose -19361 = -3*r - 5*a, -4*r + 25834 = -4*a + a. Is 6457 greater than r?
False
Suppose -3*l = -3, d - l + 5*l = -1. Let t(n) = -n**3 - 4*n**2 + 7*n + 11. Let h be t(d). Which is bigger: h or 7/4?
7/4
Let n be ((-15)/(-16785))/(((-20)/3)/(-5)). Is n != 3/7?
True
Let n = 32.569 + -33.1. Let j = 0.031 + n. Let y = j + 0.7. Which is greater: y or 2?
2
Suppose -2*m + 7*m = -20, 2*o + 5*m = -22. Let w = 10981/1320 - 333/40. Is o equal to w?
False
Let l = -82/15 + 27/5. Let r(j) = -j**2 + 3*j + 1. Let f be r(3). Is l not equal to f?
True
Let u = -13858 + 14685. Which is smaller: u or 833?
u
Let v(r) = -49*r + 1. Let g be v(7). Let x be 3/((g/(-39))/3 + -3). Let y = x + 20. Is -2 at least y?
True
Let h = 66 + -61. Suppose t + h*f - 9 = 0, -3*t + 0*f = -5*f + 13. Let u = -35/8 + 89/24. Is t >= u?
False
Let j = -125 + 472. Let l = 346 - j. Is l > 322?
False
Let m(h) = 2*h + 44. Let g be m(-15). Let k = -42 + g. Is -29 bigger than k?
False
Let a be -76 - ((0 - 0) + 1). Let k be (-18)/(-42) + (-1 - 11986/a). Let c = -155 + k. Which is smaller: 1 or c?
c
Let d(x) = -2*x - 122. Suppose 16*c = 7*c. Let p be d(c). Which is smaller: p or -121?
p
Suppose -4*p = -27 - 53. Let m(z) = 54*z + 557. Let b be m(-10). Which is bigger: p or b?
p
Let j = -51703.99 + 51954. Let z = 250 - j. Do -1 and z have the same value?
False
Let v be -76*5/(-6)*2*(-3)/5. Which is smaller: -9 or v?
v
Suppose -24 = -6*m - 2*m. Suppose -3*r + 5 = -5*r + 5*b, 45 = 3*r + 3*b. Let n = 8 - r. Which is smaller: m or n?
n
Let v be ((-2)/(-30))/(203/(-3045)). Let s = -898 + 4418/5. Let o = 14 + s. Is o < v?
False
Let k = -3 + 90. Let f be (1*3)/(k/(-116)). Is f at least -38/9?
True
Let s(v) = -1260*v + 1259. Let y be s(1). Is -7.6 at least y?
False
Let l = 0.0945 - 0.091. Let w = l - -0.0415. Is 0.2 not equal to w?
True
Let i = 71 + 218. Let v = i + -283. Is 12 >= v?
True
Suppose -3*q - 3*x + 29 = -1, -34 = -4*q - x. Let l(m) = 64*m + 123. Let u be l(-5). Let t = u + 206. Is q greater than t?
False
Let v be (-1 + 1059)/2 + -5. Let a = 74407/142 - v. Is 0 > a?
True
Let s = 0.531 - 0.431. Suppose -3*d = 0, -480 = -0*k + 3*k - 5*d. Is k at least as big as s?
False
Let w be 1 - 3/(107928/35984). Let t = w + -4204/1317621. Which is smaller: t or -1?
-1
Let x be 2/(-14) - (-17267)/868 - (-4)/(-64). Is x smaller than 20?
True
Let y = -1966 - -1999. Suppose -4*j + 146 = -5*i, j - 5*i - 22 = 22. Which is smaller: y or j?
y
Let f = -0.0491 - -0.0991. Which is greater: f or 8/7?
8/7
Suppose t - 2*a = 13, 3*t + 0*t + 5 = -5*a. Let x be (-6)/(8/32*-3). Which is smaller: t or x?
t
Let q = 867 + -1216. Let o = -348.8 - q. Which is smaller: 2/19 or o?
2/19
Let b = 87 + -99. Suppose -5*m = -t - 3*m + 6, 0 = -2*m. Suppose -11 - 3 = s - 4*z, -4*z = s + t. Is b > s?
False
Let c = 4088 - 4991. Which is smaller: -904 or c?
-904
Let v = -26.36 - -28. Let t = v - 1.59. Is -4 less than or equal to t?
True
Suppose -l - 2*j + 24 = 4*l, l + 4*j + 6 = 0. Let i = 127/21 - l. Which is bigger: i or 0?
i
Let q(u) = -u**2 - 80*u - 926. Let k be q(-14). Is -328/105 at most k?
True
Let x be (-1)/(558/(-552) - -1). Suppose -102*n + 106*n - x = 0. Let s = 0.3 + -0.4. Which is smaller: s or n?
s
Let d(c) = 19 + 79*c + 72*c - c**2 - 160*c - 8. Suppose -23 = z - 3*y, 5*y - 3 = -3*z - 16. Let j be d(z). Is j at most -11?
True
Let g be (-6)/(-7)*((-400)/(-48) - 13). Let l = 2453/70 - -103/14. Let b = 38 - l. Is g smaller than b?
False
Let s be (-7)/(28/8) - -17. Let x = -27 + s. Suppose -21 = -6*i - 15. Do x and i have the same value?
False
Let u be (-1 - 54)/(81/(-15) - (-32)/(-20)). Let o(h) = h**2 - 11*h + 7. Let n be o(11). Which is smaller: n or u?
n
Suppose 0 = 11704*r - 11698*r - 1278. Is 0.2 bigger than r?
False
Suppose 4*a - 2*f - 100 = 2414, -646 = -a + 3*f. Is 625 >= a?
True
Suppose -2033 = 45*g - 30563. Are g and 632 unequal?
True
Let d be (-4 + 4)/(-11 + 7 - -5). Which is smaller: d or -18/133?
-18/133
Let d(l) = l**2 + 7*l. Let r be d(-7). Suppose 0 = 105*t - 97*t + 1400. Let h be (10/35)/((-12)/t) + -5. Which is smaller: r or h?
h
Let m(w) = w**3 - 18*w**2 - 18*w + 4. Let r be m(19). Let a = r - 31. Let v be (-90)/(-12)*12/(-10). Which is smaller: v or a?
v
Suppose 8*n - 5*a = 3*n, 2*n + a = 6. Suppose -p = -4*s + n*s - 28, -14 = s + 2*p. Let h be (-2)/s - ((-1016)/140 - -3). Is 5 bigger than h?
True
Let a(h) = h**2 - 22*h - 3. Let s be a(19). Let c = 50 + s. Let j be ((-9)/(135/(-96)))/((-4)/c). Which is bigger: 17 or j?
17
Let x(z) be the first derivative of 6*z**2 - 127*z + 66. Let m be x(11). Let j(u) = u**2 - 6*u - 4. Let y be j(7). Is m > y?
True
Let c = -3/2681 + 13411/5362. Suppose 5*h - 13 = 7. Which is greater: h or c?
h
Let m(i) = 14*i + 10. Let s be m(-3). Let h = 37 - 37. Suppose 99 = -h*y - 3*y. Which is smaller: y or s?
y
Suppose 2*d + 10 = 0, -3*d - 13175 = -3*p - p. Is p greater than 0.1?
True
Suppose 3768 = -88*h + 952. Which is bigger: h or -28?
-28
Let q(w) = -w - 16. Let z be 3/(6/20)*(-136)/85. Let y be q(z). Suppose a + y - 1 = 0. Is a less than or equal to -1/64?
False
Let z = 32157/1053922 - 25/866. Suppose -2*a + 4 = 5*v, a - 2 = 284*v - 286*v. Which is smaller: z or v?
v
Let t be (-17)/17*-22*(-1)/(-2). Suppose 47 - t = l. Is 183/5 not equal to l?
True
Suppose -s + 4*z = 7 + 1, 3*s = -3*z + 21. Let v(x) = 3*x - 20. Let n be v(8). Suppose 3*b = -n*f - 31, s*b - 1 = -f + 1. Is f smaller than -6?
True
Suppose 9*a + 2112 - 24 = 0. Let j be (-68)/a - (-3)/(-6). Is 0 < j?
False
Let j be (-3 - -1)*10/(-76). Suppose 0 = -x - w + 6, -2*x + 2*w + 51 = 63. Is x at most j?
True
Let f = -14362 - -14362. Which is smaller: 7463 or f?
f
Let y be ((-1)/(5 + -1))/((-12)/(-16) + 0). Which is bigger: 2/441 or y?
2/441
Let m = 2173530841/343627188 + -5602/41361. Let x = m - 192/31. Which is greater: x or 1?
1
Suppose 60*j = 59*j + 2*h + 4, j + 2*h = -4. Let y = 11 + -9. Which is bigger: y or j?
y
Let r = -64.8 + 7.8. Let w = 1023 - 966.1. Let l = r + w. Which is greater: -18 or l?
l
Let q = -50/663 + 1069/12597. Which is smaller: 0 or q?
0
Let v be ((-984)/(-16))/(3/4). Suppose -j = -3*f + 76, -6*j = 3*f - 4*j - v. Is f greater than or equal to 80/3?
False
Let g = -307 + 309. Suppose 4*u - 2*p + 36 = 0, -2*u = p + g*p + 2. Which is smaller: u or -6?
u
Suppose 3*y = 3*f + 12, f + 21 = 4*y + 5. Let i(l) = -l**3 + 7*l**2 + 4*l - 18. Let m be i(y). Is 46 bigger than m?
False
Let y be (5/1)/(-1 + 2). Let r = 9 - y. Let w be (2 - 41/7) + r. Is w at least 0?
True
Let c(w) = w**3 - 11*w**2 + 21*w - 31. Let a be c(9). Which is bigger: -162/31 or a?
a
Suppose -14*x + 1250 - 88 = 0. Which is smaller: x or -11?
-11
Let t = -3430 + 3436. Is -0.84 equal to t?
False
Let x be ((-2)/(-4))/(-1 - (-3)/6). Let t(r) = -10*r**3 - 2*r**2 - 2*r - 1. Let v be t(x). Let n be (2/v)/((-1)/(-123)). Is 26 at least as big as n?
False
Suppose -2*p = -o - 25, -5*p - 79 - 25 = 2*o. Is o <= -1174/31?
False
Let z(r) = 61*r**2 - 6*r - 7. Let c be z(-2). Suppose -4*u = -247 - c. Which is greater: u or 125?
125
Let r be (20/15 - (1 - -1))/(272/(-1224)). Which is bigger: 663 or r?
663
Suppose -v - 2*k = -7, -3*v + 5*k - 4 + 3 = 0. Suppose 3*z = 4*c - 179, v*z = c - 2*c - 199. Let t be ((7 - 4) + 0)*-22. Which is bigger: t or z?
z
Suppose 2*w - 22 = -16. Suppose -n + 194 = 7*y - 12*y, -w*n = 3. Is y less than -34?
True
Let j = -213/4 - -53. Let x = -82 + 27. Let g = 60 + x. Is g equal to j?
False
Let p = 37.2 + -33.2. Which is greater: p or -0.779?
p
Suppose 5*r + 5*i - 1725 + 7025 = 0, 0 = 5*r - 2*i + 5349. Is -1067 bigger than r?
False
Let g(v) = 218*v + 3184. Let u be g(-15). Is -103 greater than or equal to u?
False
Let k = 1253 - 1252. Which is smaller: k or -465?
-465
Let d(h) = -h + 16. Let y be d(6). Let l be 5/((-3)/(-5) - 11/y). Let b = l - -26/3. Which is bigger: b or 0.3?
0.3
Let z(l) = -2*l**2 + 240*l - 166. Let v be z(76). Is 6522 at most v?
True
Let u be -34*((-135)/18)/5. Let x be (629/u)/((-4)/18). Which is greater: x or -57?
x
Suppose 6*q + 5*o = 8*q - 26, -24 = -4*q + 3*o. Let v(t) be the first derivative of t**4/2 - 3*t**2/2 - 7*t - 3. Let h be v(q).