< d?
True
Let v be 4/(-18) - 24/(-27). Let m = 3907 - 3906.54. Is m less than v?
True
Suppose -4*y = -c + 6, 2*c - 3*c - 6 = 2*y. Let i be (4 - (-3 - -5))*c/(-22). Let k = -14 - -9. Which is greater: i or k?
i
Let n be 3/(-42 + (-36)/(-4)). Suppose 0*d = -2*d - 8. Let z = 3 + d. Are n and z equal?
False
Let r = -1/3078 + 1543/12312. Is 1/117 smaller than r?
True
Let x(c) = 21*c - 40. Let p be x(13). Suppose -3*a + 2*d - 153 = 0, -p = -2*a + 7*a + 4*d. Let i = 48 + a. Are 0 and i non-equal?
True
Let d = 1142 - 1143. Let a(y) = -6*y + 64. Let o be a(6). Which is bigger: d or o?
o
Let u(n) = -n**3 + n**2 - n - 7. Let q be (-3)/(6/10) + 1. Let t be u(q). Suppose 2*f + 37 = -t. Which is bigger: -58 or f?
f
Let d = -1506 + 1514. Which is greater: d or 488?
488
Let k = 6908 + -6908.1. Which is bigger: k or 2649?
2649
Let v = 92 - 86. Let n(r) = -r**3 - 4*r**2 - 3*r + 3. Let q be n(-3). Suppose v = q*j, -j - 1 = -4*l - 7. Which is greater: l or -2/177?
-2/177
Let a = -1.9 + 2. Let z = -3.65 - 7.85. Let b = z + 17.5. Which is greater: b or a?
b
Let w be (((-40)/35)/(-4))/(8 + 54187/49). Which is smaller: -1 or w?
-1
Let u = 8232621/177590 - 4/12685. Which is bigger: u or 46?
u
Let n be 842*6/1688 + 1*12/(-4). Is -1 > n?
False
Let r be (-1*(-12)/(-8))/((-1694)/84). Is 0 >= r?
False
Let g be 4 + -10 + 3 + 7. Let s be 4/((-8)/(-6))*1. Suppose -s*d = -k - g*k - 18, 0 = -k - 3. Which is smaller: d or -1/21?
-1/21
Let b = 2103 - 2102. Let h(p) = -47*p**2 - p - 4. Let q be h(2). Let x be q/248 - (-36)/48. Is b greater than x?
True
Let a = -37422 + 38344. Which is bigger: a or 0?
a
Let p = 4 - -31. Let q = -23 - 20. Let m = q + p. Which is bigger: -22/3 or m?
-22/3
Let g = 28315/2 + -6087817/430. Which is smaller: -1 or g?
-1
Let v = 223 + -207. Suppose 0 = -v*t + 6 + 10. Suppose 2*x = 4, x + 8 + 0 = -2*w. Is w bigger than t?
False
Suppose -c = 4*y - 2497, -755 + 15760 = 6*c + y. Which is smaller: c or 2502?
c
Suppose 2*l = 5*g - 95, 61 + 4 = 5*g + 4*l. Is 193/12 greater than g?
False
Suppose -2*c - 27 - 13 = 5*v, 3*v + 6 = 0. Suppose -4*i + i + 12 = 0. Let z be i/10 - (39/c - -5). Which is bigger: 0 or z?
0
Suppose -136*k + 1814681 = 601697. Does 8918 = k?
False
Let u = 5072 - 5077. Is u at most 6.35?
True
Let o(l) = -l**2 + 6*l - 5. Let f be o(5). Suppose f = -a + 7*a - 18. Let y be (-12)/(-28) + 2 + 6/(-14). Which is greater: y or a?
a
Let m be (-8)/(-10) - (-1)/((-10)/(-122)). Suppose m*w + 3 = 14*w. Suppose 0 = d + 2*b - 6, -w*d - 6*b + 2*b = -12. Which is smaller: -2/39 or d?
-2/39
Let b be ((-216)/30)/6*-55. Let a be ((-8)/(-372))/(b/12 - 5). Suppose -26 = -h - 3*s - 2*s, -4*h + 9 = s. Is a at most as big as h?
True
Suppose 0 = -108*x + 70*x - 27398. Which is greater: -2/3 or x?
-2/3
Let j be (1 + -1 + 1)/(-7 + 5). Let y = -1.9 + 0.5. Let h = y + -2.6. Which is bigger: h or j?
j
Let u be (-30)/1809 - (-2)/(-9). Let v = -800449 + 800450. Which is greater: v or u?
v
Let z = -32 + 36. Let u be (z/2)/((-876)/(-3)). Which is bigger: u or -1?
u
Let s = 4 + -5. Let n be 20/(-5) + (-1082)/10. Let u = 112 + n. Which is smaller: u or s?
s
Suppose 188 = -0*j - 4*j. Let b = -44 - j. Suppose 5*g + 4*k + 180 = 0, -b*g + k = -2*k + 108. Are g and -35 nonequal?
True
Suppose 3*n + 9 = 15. Suppose 21 = n*t + 21. Which is bigger: -5/11 or t?
t
Suppose 0 = -14*h + 5*h + 36. Suppose 1717 = 5*g + c, 3*g + 0*g + h*c = 1020. Let s be ((-39)/(-156))/(((-2)/g)/(-1)). Is s at most 44?
True
Let w = -3626 + 3625. Is 1601 <= w?
False
Let j be (-4 - 4/(-2))/((-520)/(-33956)). Suppose 0 = b + 3, -2*l = l - 3*b + 381. Which is bigger: j or l?
l
Suppose -3*g = 5*x - 17, -g - 2*x + 7 = -0*g. Are g and -2/1299 nonequal?
True
Suppose l - 5*t = 0, 0 = -2*l + l + 4*t. Suppose -2 = 2*a - 3*a - v, a - 2*v - 5 = l. Let d(w) = w**3 - 2*w**2 - w - 1. Let j be d(a). Is 2 smaller than j?
True
Let i = 0.2728 - -0.0272. Let j = 1 + -1.4. Let w = i + j. Is -26 at most as big as w?
True
Suppose -2*g + 1 = -1, 4*l - 2*g = 38. Let r(c) = 26*c + 15. Let a be r(l). Suppose -13*x + 80 = a. Which is smaller: x or -11?
x
Let p(d) = -d**2 + 26*d + 1918. Let s be p(0). Is 1918 <= s?
True
Let n(k) = k**3 + k**2 - 2*k + 2. Let u be n(0). Let h be 41/u + 5/(-10). Suppose 1 = -h*f + 21*f. Which is smaller: f or -3/26?
-3/26
Let v be (-20 + 13)*4/844. Is v <= 1?
True
Let f be (-2)/(-27) + (-6703488)/138996. Is -48 > f?
True
Let k(o) = -o + 4. Let x(n) = -n - 5. Let d(h) = -3*k(h) + 6*x(h). Let c be d(-14). Are 10/49 and c nonequal?
True
Suppose -41 = 5*g - 1. Let f = -3.553 - -0.463. Let m = f + 0.09. Which is greater: g or m?
m
Suppose 3*o - 6*m + 10 = -m, 5*m - 10 = -5*o. Suppose -8 = -2*w - o*t + 4*t, 6 = -4*w - 3*t. Which is bigger: w or -0.631?
w
Let d be (-2 + 3)*(114 + -5). Is 108 smaller than d?
True
Let f be -3 - 0 - (-6 - (-5 + -6)). Let d(i) = i**3 + 6*i**2 - 9*i - 1. Let h be d(f). Is -57 at least h?
True
Let c = 1185 - 1158. Suppose 5*k + 157 = 442. Suppose 4*r = -c - k. Are -39/2 and r unequal?
True
Let p be (150/4)/((-79704)/864). Do p and -1 have different values?
True
Let l(t) be the second derivative of -t**5/20 - t**4/4 - 2*t**3/3 - t**2 - 5*t. Suppose -2 = -74*n + 75*n. Let x be l(n). Are -20 and x non-equal?
True
Suppose -3*j - 8*i = -3*i + 235, -2*i = -5*j - 340. Let m be ((-7)/j*(-15)/18)/2. Does m = -0.2?
False
Suppose -39*g + 1188 = 86*g + 7*g. Which is greater: g or 428/53?
g
Suppose -10 = -7*i + 4*i + 5*z, 4*i - 5*z = 15. Suppose m + 54 = -0*m + i*a, -96 = 4*m + 4*a. Does -29 = m?
True
Suppose -b - 6 = -l, 4*b + 4 + 20 = 0. Which is bigger: l or 40/37?
40/37
Let u be 5*-2*(-14)/28. Suppose u*x = -0*x - 140. Let i = x + 29. Is 3/8 <= i?
True
Let c be 1624/(-696) + 6662/(-6) + -1. Which is smaller: -1114 or c?
-1114
Let p = 1.3544 - 15.3544. Which is smaller: p or -0.245?
p
Let i(a) be the second derivative of -a**5/20 - 5*a**4/3 - 5*a**3 - 43*a**2/2 - 16*a. Let v be i(-19). Is 165 less than v?
True
Let v be -2*(-9)/6 - (-4)/4. Suppose 0 = -v*p - 39 - 49. Is -20 at most as big as p?
False
Let n be (-48)/153*24/(-32). Let r(g) = 4*g - 31. Let q be r(8). Suppose 19 = 4*l + 5*x, 0*l + x = 4*l - q. Which is smaller: l or n?
n
Let v = 103.13 + -104. Let g = -0.967 - v. Let s = 0.197 + g. Is 10/13 <= s?
False
Let b(z) = 4*z + 105. Let n be b(-25). Suppose 0 = -2*u + 60 - 18. Suppose n*r = 8*r - u. Is r at least as big as 2?
True
Suppose 2*r - 5*a = 22, -18*r + 19*r - 4 = -a. Let o(g) = g**3 + 4*g**2 - 2*g - 3. Let h be o(-4). Let f = r - h. Are f and 1/59 equal?
False
Let c = -12 + 28. Suppose -c*d = 2*d - 324. Is d > 17?
True
Let k(a) = -440*a + 7899. Let z be k(18). Let f = 67796/11 + -6184. Which is smaller: f or z?
z
Suppose 3*b - 4*u - 58 - 55 = 0, -5*b + 4*u + 183 = 0. Suppose 45 = -b*m + 10. Is m at least as big as 1/116?
False
Let w be ((-48)/40 - 9014/(-40)*2)/(-1). Which is smaller: w or -451?
-451
Let v(g) = -g**3 + 12*g**2 - 11*g - 15. Let x be v(9). Suppose 49 - x = -4*s. Is 26 at least as big as s?
True
Let y be 14*(-222)/12 + -2. Let n = y + 262. Is n != -1/138?
True
Let j = 1495.7 + -46.7. Let g = -1035 + j. Is g equal to -2/5?
False
Suppose -1 = 5*k - m, -k + 3 = -4*m + 7. Let q = 1366/7 + -285480/1463. Which is smaller: k or q?
k
Let g = -1.3984 + 0.8984. Which is greater: -270 or g?
g
Let v(t) = 9*t + 4 + 47*t**2 + 16 + 5*t + t**3 - 34*t**2. Let o be v(-12). Let a be (2 - (-6)/(-2)) + 11/(-5). Which is smaller: a or o?
o
Let u be (-12)/26*(-63048)/4. Let m = -7266 + u. Let z = m + -873/104. Which is smaller: 0 or z?
0
Let h(t) = 5*t**2 + 13*t + 2. Let n(b) = -4*b**2 - 14*b - 3. Let w(d) = 3*h(d) + 4*n(d). Let q be w(-6). Let s = q + -306/5. Which is bigger: s or -1?
-1
Let x be (-80)/1688*(-20)/75. Is x < 0?
False
Let k = -2180 - -2671.2. Let s = k - 491. Which is smaller: -2.46 or s?
-2.46
Suppose 26*m = -203*m - 53*m - 2367672. Are m and -25184/3 non-equal?
True
Let s = 0.24 - -0.03. Suppose -3*g + 5*v - 20 = 0, -g - 344*v + 349*v = 20. Which is bigger: s or g?
s
Suppose -3*y = -y + 5*f + 16, y - 5*f = -23. Let a be 9/3 - (-4 - -20). Does y = a?
True
Suppose 0*z = 5*z + 4*i - 13615, 70*i - 71*i = 0. Which is greater: 2725 or z?
2725
Let s = -13 + 7. Let r(j) be the first derivative of -j**2 + 17*j - 15. Let k be r(14). Which is smaller: s or k?
k
Suppose 21*u - 289 = 26. 