 r have the same value?
False
Let b(l) = -7*l**2 - 8*l - 9. Let a(v) = -v**3 + 4*v**2 - 3*v + 11. Let m be a(4). Let f be b(m). Is -158/17 at most f?
True
Let x = -3681 + 3681. Which is greater: x or 4435?
4435
Suppose 3*u = 2*v - 1 - 1, -5*v = u - 22. Let q be (2 + (-6)/v)/(14/28). Suppose -1 = -12*c - q. Which is greater: -3/43 or c?
c
Suppose -4*a - 5*i + 521 = 0, -4*i = -0*a + 5*a - 640. Suppose 22*w = 18*w - p - 269, -2*w - a = 4*p. Which is smaller: 2/9 or w?
w
Let z = 0.163702 + -0.063702. Let y = 7.3 - -45.7. Which is greater: z or y?
y
Suppose 5*b = -3*w - 18, -4*b + w + w - 10 = 0. Let z(p) = p + 33 + 17*p + 4*p. Let k be z(b). Which is greater: -2/7 or k?
-2/7
Let g be 0 + -321 - 4/(-2). Let k be 1440/320*(2 + 1822/(-25)). Let j = k - g. Is 1 at most as big as j?
False
Let l be 2204/(-29) - (1 - 2)*3. Let s = -30215/207 - -1668/23. Let q = s - l. Which is greater: q or -1?
q
Suppose -7*n - 371 - 383 = -747. Which is bigger: -41/203 or n?
-41/203
Let q = 36 - 89. Let s = -1415 - -1413. Is s at least q?
True
Let j = 1172 + -1125. Which is bigger: 46 or j?
j
Let t(r) = -r**3 - 3*r**2 + 10*r. Let g be t(2). Suppose -2*j + 11*j = g. Is j smaller than -2/817?
False
Suppose -6*n - 9*n = 0. Suppose n = 5*k - 68 - 7. Which is smaller: k or 44/3?
44/3
Let s = -31319.1 - -31300. Is s at most -22?
False
Let b(t) = -t**2 + 40*t + 186. Let p be b(-5). Let c be p*(8 + -1 + -8). Let o(m) = 2*m**2 + 3*m + 6. Let a be o(-5). Which is smaller: c or a?
c
Let m = 83/65 - 269/455. Which is greater: 1 or m?
1
Let s = 1229/56 - 171/8. Is s less than or equal to 86?
True
Let y be (-32)/(-48)*6/(-7) + 33/21. Let l = 25419 + -381454/15. Let m = -32/3 - l. Is y equal to m?
False
Let q = 0.01721 - -0.98279. Let i = -0.02 - 0. Let r = 0 - i. Is r not equal to q?
True
Let j(v) = -5*v - 98. Let n be j(-22). Suppose n*k + 504 = 18*k. Let s be ((-498)/(-9))/(2/3). Is k less than s?
False
Let g be (-57)/(-450)*62 + 4/(-4) + -4. Is 4 greater than g?
True
Let p be (770/4*-4)/(-2). Suppose -3*c - 30 = -q + p, 4*c = 5*q - 557. Is -139 bigger than c?
False
Let o(z) = -z**3 + 5*z**2 - 4*z + 4. Let m be o(3). Let f = 4432 + -2012133/454. Let w = f + 25449/2270. Which is smaller: w or m?
m
Let b be (-131)/1*8/4830. Let c = -8/161 + b. Which is smaller: 3 or c?
c
Suppose 0 = -14*r + 4513 + 7569. Which is smaller: r or 866?
r
Let u = -15.99 + 6.37. Let m = 0.78 - u. Let p = m - 10. Which is bigger: -2/3 or p?
p
Let g = -18904/11 - -1721. Is 2 at least g?
False
Let j(b) = -b**3 - 24*b**2 + 55*b + 91. Let c be j(-26). Suppose 2*u + 4 = 4*u + 3*p, -3*p + 6 = 0. Let i = u + c. Is i <= 11?
False
Suppose 5*k + 2*p = -2*p + 26, 16 = 4*k + 2*p. Let g(c) = -1 - 14*c + 2*c**3 + 2*c**3 - 12*c**k + 5 - 3*c**3. Let b be g(13). Which is bigger: 0 or b?
0
Let p be 826/(-10) - 8/20. Let y = p - -83. Suppose 0 = a - 2*l - 8 - 3, y = a + 2*l + 1. Which is smaller: 1 or a?
1
Let o = 0.15 + -28.15. Let i = -8 - -25. Let n = 16.9 - i. Which is smaller: n or o?
o
Let r = -26133432623249992/19334242353741 + 20/6097206671. Let c = r - 1/1057. Let u = c + 1363. Which is greater: 10 or u?
u
Let q be ((-304)/(-21185))/(5/150). Which is smaller: 1 or q?
q
Suppose -13*v = -8741 - 9147. Does v = 1376?
True
Let a(i) = 68*i + 995. Let d be a(-6). Is d > 2?
True
Let r = 25 - 21. Let c(s) = -3 - s - 3 + 0 + r. Let v be c(-3). Is v < 1/10?
False
Let v = -26/53 - 1618/159. Let q be (30/4)/(((-2832)/64)/59). Which is smaller: v or q?
v
Let z(a) = -a. Let h be z(2). Let u be ((-3940)/(-1379))/((-2)/14). Which is bigger: h or u?
h
Suppose -6 = 3*k + 3*c, 2*k = -4*c - 6 - 0. Let s be -3*(-2)/(-5)*1925/(-15). Let r = s - 2928/19. Which is smaller: k or r?
k
Suppose 2*k + 5*u + 21 = 4*k, 5*u + 5 = 0. Let g(s) = -2*s + 4*s - 3*s - 29 + 5*s - 2*s. Let r be g(k). Is -13 >= r?
True
Suppose -5*d = -5*q - 10, 2*q = d - 2 - 0. Let x be q/(-1) + (7 - 5). Suppose 0 = 3*m + x*y, 2*m + 3*y = -0*m. Which is smaller: -1 or m?
-1
Suppose 0*t = -9*t + 792. Suppose 90*s - t*s - 160 = 0. Let i be 14 + -18 + (-2)/(s/(-158)). Is -1 bigger than i?
False
Let v be (7 + (-48)/8)/((66/636)/11). Let y(k) = k**2 - 5*k. Let l be y(5). Suppose -8 = -2*i + 4*i, 3*u + 5*i - v = l. Is 40 smaller than u?
True
Suppose -3*t + 4*i + 1194 = 0, -4*i - 8 = 4. Let d = 356 - t. Is -3 greater than or equal to d?
True
Let m = -4.16 + -93.84. Let v = -91 - m. Are 2/7 and v unequal?
True
Let r = 0.14 - -14.86. Let q = 10.9848 - 1.9848. Is r equal to q?
False
Let b = -6.705 - 1.595. Which is greater: b or -4/7?
-4/7
Let a = -24.249 - -32.249. Which is bigger: 125 or a?
125
Let m be (-16)/(-10)*(-630)/252. Which is bigger: m or -75/14?
m
Let k = 0.0978 - 0.1978. Is k not equal to -7.55?
True
Let u = -15352 + 18339. Does -1 = u?
False
Let w be -11 + (8/(-56) - (-213214)/19166). Is w less than 1?
True
Let h = -0.2 - -0.1. Suppose 36 = -25*b + 19*b. Let u be 74/(-4)*b*(-3)/9. Which is smaller: h or u?
u
Suppose 0*c = -5*c + 5. Suppose t + 7 + c = 0. Let s(n) = -n - 15. Let v be s(-9). Which is smaller: v or t?
t
Let t = 194 + -205. Let c = -10.8 - t. Let p = -1.4 - -26.4. Which is smaller: c or p?
c
Let g be 474/(-39) + (-6)/(-39). Let q = -8 - g. Suppose 5 = q*z - 19. Is 6 at least z?
True
Suppose -k + 184 = o, 3*k + 2*o + 134 - 691 = 0. Is 173 greater than k?
False
Suppose 46*u = -4*a + 48*u - 6, 0 = a - 3*u + 14. Let k = 121 + -71. Let n be ((-10)/(-275))/(8/k). Are n and a non-equal?
True
Let p be (-1)/(-3) - (431102/(-64659) + 7). Let c = 61634/83133 - p. Is 1 greater than c?
True
Suppose 0*a - 5*a + 30 = 5*t, -2*a = -4*t + 6. Let z(l) = 7*l**2 - l + 23. Let u be z(0). Let s be (-26 - -24) + u/5. Are s and a equal?
False
Let q = 32286 + -32285. Which is greater: q or 15/677?
q
Let h be (-522)/1305*(0 - -1 - 0). Is h greater than -320?
True
Suppose -3*x + 1 = 4*z + 5, 5*z = 4*x + 26. Suppose 4*y + 155 = -5*g, 0 = z*g + 6*y - 10*y + 62. Is -26 < g?
False
Let j(x) = 2*x**2 + 486*x - 6179. Let s be j(12). Let i be (0 - -2)/2 - 60. Is i less than s?
False
Suppose -28 = -4*h - 4*a, 2 + 1 = -h + a. Let u be ((-23)/1288)/(1/h). Are 1 and u non-equal?
True
Suppose -5*k = -h + 275, 4*k - 76 = -4*h - 320. Suppose -3*o - 28 = 8. Let c be o/30 - k/90. Which is bigger: c or 13?
13
Suppose -2*s - n + 38 = 0, 2*s + 2*s + 5*n = 76. Suppose -10*k = -s*k - 18. Which is greater: k or 6?
6
Suppose 0 = 3*s - 9, -23 + 0 = -4*y - 5*s. Let o = 3 + y. Suppose -w = 3*p + 5, p + o + 4 = -4*w. Which is smaller: -6 or p?
-6
Suppose -5 = -f - 6. Let j be 10/15 + f - 47/6. Are -9 and j non-equal?
True
Let u = 9349 + -2739212/293. Which is smaller: 1 or u?
u
Suppose 2*w = 3*w + 2*w. Suppose 0 = -w*k + 14*k - 154. Which is smaller: 104/9 or k?
k
Let z be ((-950)/(-12975))/(80/(-96)). Which is smaller: 1 or z?
z
Let w(u) be the third derivative of -u**5/30 - 31*u**4/12 + 31*u**3/3 - 3*u**2 + 8*u. Let i be w(-32). Suppose -4*b - 4 = 8. Which is bigger: b or i?
i
Let j = 6985 - 7261. Are 3 and j non-equal?
True
Let l = 194.62 - 195. Is l bigger than -33?
True
Let t be (4/18)/(954/162)*(-2 - -235). Which is smaller: t or 8?
8
Let x = -2 - -7. Let p = x + -6. Let w be ((11 + 1)/(-48))/(-1). Which is bigger: p or w?
w
Suppose -80 = -5*n + 5*m - 10*m, 3*m = -2*n + 30. Let x = -13 + n. Which is smaller: x or 19/4?
19/4
Let l(w) = w**2 - 15*w + 15. Let b be l(7). Let n = b - -45. Let o be (n/(-2) - -3) + -2. Is o greater than 1/5?
False
Let u = -0.055 - -59.055. Let x = 66.7057 + -0.7057. Let w = x - u. Which is smaller: w or 3/4?
3/4
Let c = 16046999/4012 - 15999/4. Do 0 and c have different values?
True
Let f be (-81)/(-378) + 4491/(-84). Is f at most as big as -52?
True
Let m be 14/(-105)*(-108)/(-5). Let x = -1606/575 - m. Let l = 75 - 74. Is x not equal to l?
True
Suppose 4*g + 103*b - 104*b + 2163 = 0, 1601 = -3*g + 5*b. Is -546 greater than g?
False
Let s be 58/8 + (-23 - -42 - 27). Which is smaller: s or -1276?
-1276
Let y = -163263 + 163263.01. Let u(d) = -d. Let x be u(-2). Let j = x + -5. Is y <= j?
False
Suppose -24*d = -z + 248, 2 = 3*d + 88*z - 84*z. Which is smaller: -190/21 or d?
d
Let y = 5965 - 6342. Is -375 at least as big as y?
True
Let l be 22/(-14) + -1 + -3. Let v = 7365.2 + -7365. Is l < v?
True
Let v = 108 + -105. Suppose 0 = -n - 16 - v. Let p(m) = m**2 + 4*m - 6. Let j be