se
Let g = -1107867/97 - -11422. Is 1 smaller than g?
False
Let l(c) = -2*c**3 + 12*c**2 - 12*c + 10. Let w be l(4). Let r be (-19)/(3 - 76/w). Let p = -9133/37 - r. Which is greater: p or 1?
1
Suppose 246 = -702*c - 362 - 94. Which is smaller: 12/799 or c?
c
Let h be (-40)/100 + (-44)/(-10). Let o be 1 - h/1*-1. Let y(b) = -b**3 + b**2 + 6*b + 4. Let u be y(3). Is u at most o?
True
Suppose o + 71*d - 70*d = -1691, -2*d - 6780 = 4*o. Which is bigger: -1700 or o?
o
Let c be (-10)/(-7)*(-924)/(-1650). Which is smaller: c or -326?
-326
Let h = 497 + -1025. Let n = h + 549. Which is smaller: 107/5 or n?
n
Suppose 151*p + 81*p + 232 = 0. Which is smaller: -276 or p?
-276
Suppose -2*q = -3*p - 20, p - 5*q = -0*q - 24. Let s be -4*(p/(-4) - (1 + -1)). Let w be 1 + s + 2 + 0. Is w less than -6/11?
True
Let y = 274 + -274.146. Let x = y + 22.146. Which is greater: x or 2/5?
x
Let u = 29 + -28.35. Let f = 5.85 + u. Let l = f + -2.5. Is l greater than -10?
True
Let j = -2266/117 + 220/13. Let d be 5/25 + (18/15)/(-1). Let g be d/(2*(-1)/(-4)). Which is smaller: g or j?
j
Suppose 5*d + 2047 = 19*f - 15*f, 0 = 5*d + 3*f + 2026. Is -407 greater than or equal to d?
True
Let n = -247878 + 41395482/167. Is -1 greater than or equal to n?
False
Let i = -282 - -291. Suppose -2*d = 17 - i. Which is bigger: 3 or d?
3
Suppose 0 + 0 = -9*i. Suppose i = 4*j + 2*y - y + 23, -4*y - 20 = 4*j. Let d be 4/j + (-214)/(-6). Is 37 at least d?
True
Let p = 5742 + -5860. Is p less than -99?
True
Let y be 0*(54/12)/9*-1. Suppose y = -11*c + 12 - 23. Is c > -14/15?
False
Let j = -278025902269/3630 - -76591157. Let m = j - -19/30. Which is bigger: m or -1?
m
Let p = -94/279 - 24/31. Let n = -714763/117 - -18323/3. Let v = p - n. Is v < 1?
True
Let k = 34 - 48. Let g be 5*(3 - k/(-5)). Let p be ((-51)/(-34))/((-1)/2). Is p <= g?
True
Suppose 0 = 11*a + 2*a + 104. Let t(g) = 2*g + 16. Let s be t(a). Which is bigger: s or 2/541?
2/541
Let v = -0.0299 + 63.0299. Let i = -54 + 51.1. Let f = i + 3. Is f smaller than v?
True
Let g = -8.693 - -8.792. Is 4/19 > g?
True
Let g(x) be the first derivative of x**3 - 6*x**2 + 4*x - 1. Let v = -1095 - -1099. Let d be g(v). Is 2 less than d?
True
Suppose 0 = -6*y + 2*y + 12. Suppose y*j - 5*j = -14. Let m(k) = 9*k**2 + 3*k + 1. Let q be m(-1). Is q less than j?
False
Suppose 67*k = 62*k + 105. Suppose 0 = -2*d - 2*g + 6, -19*d + g = -k*d + 3. Let a = -13 - -3. Is d < a?
False
Let w = -11.76 - -12. Let o = -36.8 + 36.61. Let p = -0.39 - o. Is w >= p?
True
Let s be ((-4)/(-21))/(10/3). Let y = 166/7 - 657/28. Which is smaller: s or y?
s
Suppose -378 = 23*j - 26*j. Let z be 14/j*(102/(-40) + 0). Let g = z + -1/20. Is 0 < g?
False
Let j(v) = -2*v**2 - 80*v - 78. Let x be j(-39). Suppose x = b + 4, -24*d + b + 64 = -19*d. Is 13 > d?
True
Let h = -250/11 + 23. Let v = -139 + 142. Suppose -v*c + 15 = 3*q, -5*c + 4*c = -5*q - 5. Which is greater: q or h?
h
Let h(s) = -18*s**2 + 2*s - 16. Let d be h(3). Let u = -111 - d. Which is smaller: u or 59?
59
Let c be -17 - (-182)/14 - (-58)/2. Suppose 2*k + 14*k = -c*k. Suppose -3*x - 15 = 9. Which is bigger: x or k?
k
Let v = -33226/7 + 4747. Which is greater: 3/4 or v?
3/4
Suppose -20 = -9*k + 4*k. Suppose -205 = -3*w + k*z, -7*w + 361 = -2*w + 3*z. Are w and 75 non-equal?
True
Let j = -1019509/28 - -142871/4. Let k = j + 693. Is k >= -4?
True
Let a(n) = -12*n**2 - 23*n + 94. Let m be a(2). Let w = 12/863 - 2905/270982. Which is smaller: w or m?
m
Let d = -10611917/579 - -18328. Which is bigger: d or 0?
0
Let f = -0.2006 - -0.1055. Which is smaller: -7 or f?
-7
Let l be (-18)/21 + 4554/7. Let b = l - 650. Is b at most -337?
False
Let r be 96/168*14*-1294*(-2)/112. Which is smaller: -0.3 or r?
-0.3
Let b(l) = -5*l**2 - 120*l + 48. Let z be b(-11). Are z and 9900/13 equal?
False
Let z(d) = -5*d**2 - 20*d + 97. Let k be z(10). Let l = k + 619. Which is smaller: 13 or l?
13
Let a = 7909 + -7907. Which is smaller: a or 2/6707?
2/6707
Suppose 10*f + 14330 = 6*f + b, 10776 = -3*f - 4*b. Is f >= -3584?
True
Let a be (-1556)/21 - (-5830)/1590. Is -69 > a?
True
Let g = -582 - -580. Let r(k) = -k**3 - 7*k**2 + 8. Let q(v) = -v**2 - 5*v - 7. Let f be q(-5). Let l be r(f). Are g and l equal?
False
Let c be (-6)/(-88)*(-5466)/(-1) - 4752/26136. Is c < 373?
True
Let p be 36/1862 - (3/5 + (-90)/150). Is p >= 1?
False
Suppose -4*m + 1095 - 1091 = 0. Let c be m*((-14)/2 - -6). Which is bigger: -2/317 or c?
-2/317
Suppose 5*b = -4*q + 51 + 300, 4*b + 130 = 2*q. Is 104 equal to q?
False
Let v = -0.596 + 0.02. Let f = 0.515 - v. Let o = 0.091 - f. Is -24 at least as big as o?
False
Let f(x) = x**3 - 6*x**2 + x - 6. Let d be f(7). Let p be 4/10 - (-30)/d. Let y = -14 - -23. Which is smaller: p or y?
p
Let y be 1394/(-984) + 6/4. Let h be (-60)/(-14) + 4/(-14). Let q be (4/(-6))/(h/(-3)). Does y = q?
False
Let l be -13 + (-1332)/(-66) - 7. Let u = 26 + -14. Is l at most as big as u?
True
Let t = 6 - -44. Let i be (-10)/(t/(-15)) - (0 + 95). Which is smaller: -93 or i?
-93
Let u(v) = -v**2 + 25. Let k be u(-5). Let i(h) = 2*h**3 - h**2 - h - 30. Let r be i(k). Is -31 at most r?
True
Suppose b - 28 = -2*i, -4*b = -i + 2*i - 77. Suppose -l + 9 = -8. Suppose -l = -3*d - 8, -3*w + 5*d - b = 0. Is -7/4 < w?
True
Suppose 3*w - 3*y = 84, -5*w - 3*y = -w - 98. Suppose 0 = -a - 4*n + w, 2*n + n = 0. Let q be (29/a + -1)*-8. Is q != -1?
True
Let g(y) = 12*y - 9. Let f(j) = 36*j - 26. Let q(m) = -2*f(m) + 7*g(m). Let o be q(1). Which is greater: o or -1.3?
o
Let n(u) = -7*u**3 - 19*u**2 + 130*u + 38. Let s be n(7). Is -2384 < s?
False
Let f(z) = -z**2 - 5*z + 8. Let a be f(-6). Let o be -2*(-56)/16*a/7. Suppose -5*l = -o*j + 444, 2*l + 6*j + 168 = 2*j. Are l and -87 non-equal?
True
Let o = 1.164 - 1.524. Which is bigger: o or -44?
o
Suppose 229 - 2161 = 23*j. Let s be (j/5)/((-58)/145). Is s smaller than 42?
False
Let o be (-10)/(-12)*(-4)/10*-9. Suppose 18 = 6*y + o*y. Suppose -3*m - 50 - 40 = 3*a, 0 = -y*m - a - 56. Is -26 less than or equal to m?
True
Let n be (6/(-9))/(1/3). Suppose 25*o - 9*o + o - 34 = 0. Are n and o equal?
False
Suppose -3*c + 5*c + 10682 = 0. Let q = c - -3586. Let k be 672/q - 4/(-10). Is k at least as big as 0?
True
Let w be (1 - (-73)/5) + (-17)/(85/(-40)). Which is bigger: w or 13?
w
Suppose -5*g + 271 = r + 56, 4*r - 2*g = 948. Let x = r - 187. Which is greater: x or 50?
50
Let t = -872.59 + 873. Do t and 72 have the same value?
False
Let f = 7861.1 - 7862. Let c be -2*((-26)/14 - -2). Which is bigger: f or c?
c
Let c be (((-1885)/(-39))/(-29))/(4/(216/15)). Suppose -2*o + 65 = -6*z + z, -5*o + 14 = z. Which is smaller: c or z?
z
Let t be (-6)/(-4)*220/(-165). Let o be t/(-9 - 1) - 51/60. Which is bigger: o or -2?
o
Let s be 790/140 + 20 + (-1)/(-2). Which is bigger: 2 or s?
s
Let p = 25.0212 - -0.2788. Which is bigger: 3 or p?
p
Let l be 5 + 0 + -7 + 7. Let n be (-3400)/(-250) - (-2)/l. Is n greater than 92/7?
True
Suppose 253*g - 241*g = 72. Which is greater: -280 or g?
g
Let w be (-4)/(-6) - 92*(-1)/6. Let a be (2/w*4)/(2/(-56)). Which is smaller: -44/3 or a?
-44/3
Let f be (-446*(-247)/(-78))/(-1). Which is smaller: 1411 or f?
1411
Let s = 737106198 + -494598394044/671. Let m = -2214/11 - s. Is m less than 0?
False
Let x = 23877 - 23909.993. Let t = x - 0.007. Let m = t - -33.01. Is m greater than or equal to 3?
False
Let u be 7530/(-665) - ((-232)/(-38) - 6). Let i be -12*(3/1 - 2). Which is smaller: u or i?
i
Let l be -4 + ((-2199879)/65814)/(-9) + (-22)/(-77). Is 1 > l?
True
Let b = 346 + -341.7. Let p = b - 3.96. Which is smaller: p or -1?
-1
Let z = -26 + 25.1. Let h = -0.91 - z. Let l = 2.99 - h. Which is bigger: 0.1 or l?
l
Let h = -38.94 - -29.94. Is h smaller than -61?
False
Suppose 0 = 3*o + 4*i - 47, -5*o + 79 = 5*i + 4. Let u(y) = y - 9. Let c be u(o). Suppose 0 = -2*z - 6, -c*n + z + 101 = 2*z. Which is smaller: 27 or n?
n
Let l = 214 + -199. Suppose 7*g = -8*g - l. Is 3/17 bigger than g?
True
Let s = -188.9 + 182. Let i = s - -6.9381. Which is smaller: 1/3 or i?
i
Suppose -5*a + g - 3370 = 3025, 5*a + g + 6395 = 0. Is a less than or equal to -5119/4?
False
Suppose 3717*f - 3765*f = 8400. Which is greater: f or -188?
f
Let m = 867430 - 33825716/39. Let y = m - 104. Do y and -1 have the same valu