gger: 5/29 or p?
5/29
Let n = -10.0656 - -0.8656. Is n at most 53?
True
Suppose 35917 = 5*s - 2*l, -7*s + 15*l = 14*l - 50291. Is s at least as big as 7184?
True
Suppose 0 = -4*t + 9*j - 6*j - 5, -5*t + 5*j = 10. Let r(c) = 3*c**2 - c - c**2 + 0*c**2. Let g be r(t). Do g and -1/3 have different values?
True
Let g be (-2)/(-28)*86 + (-43)/301. Suppose 32*a + 26 + g = 0. Which is smaller: a or -6/49?
a
Let m = 58.8 - 59. Let g = 0.282 - -253.718. Is g smaller than m?
False
Let c = 23/30 + -1/10. Let h(w) = 286*w - 4270. Let p be h(15). Which is greater: c or p?
p
Let v = 0.4572 - 0.4515. Do 0.2 and v have the same value?
False
Suppose -4*f - 28 = -w, 3*w + 46 = 5*w - 3*f. Let s be (-65)/w - (-4)/16. Let m be 2/s + 59/84. Which is bigger: m or -1?
m
Suppose -4*r + r = 0. Suppose u + r*u = 4. Suppose u*y = -y + 10. Which is greater: 6/11 or y?
y
Let w be (37794/51988)/((-6)/(84/7)). Let y = w + 60/41. Are -1 and y non-equal?
True
Suppose 0*z = -3*z + 9. Suppose -4*v + 4 = -z*i - i, 5*v + 7 = 3*i. Suppose -169*h = 5*c - 173*h + 57, -3*h = c - 19. Is i >= c?
False
Let i be 84/(-196) - (-3)/7. Let n = 15203/27 + -563. Are i and n non-equal?
True
Let y = -3 - -5. Let p = -82 + 62. Let l be -1 - ((-525)/p)/(-7). Is y < l?
True
Let q = 9662/5 - 1955. Which is greater: q or 2/19?
2/19
Let j(i) = 29 + 17*i + 11*i**3 + 8*i**3 + 0*i**3 - 41*i**2 - 17*i**3. Let g be j(20). Which is greater: -32 or g?
g
Let f be (-2268)/441*(-7)/2. Suppose f*v = 37*v + 3952. Is -208 at least v?
True
Suppose 3*l - 3*i = -21, 3*i + 12 + 15 = -5*l. Let f be (1 - -1) + l - -5. Let h = 634 - 12050/19. Which is bigger: h or f?
f
Suppose -13 = 3*r - 1. Let c be 2/7 + (r - -4). Let d = -1407/212 + 312/53. Is c > d?
True
Let g be (-15)/((-2)/2*1). Let n be (-4 + 54/g)*-5. Suppose 3 = n*s + s. Which is greater: s or 4/5?
s
Let m = -430.17 - -430. Suppose 11*y = 8*y - 15. Which is bigger: m or y?
m
Let x(v) = -225*v + 1570. Let u be x(7). Which is smaller: u or -81/13?
-81/13
Let f = -0.45 + 11.45. Let u = f + -23. Let y = 3 + u. Which is smaller: -1/4 or y?
y
Let q be ((-24)/(-7))/(-7*(-12)/294). Suppose 16*c + q = -4. Is -4/137 smaller than c?
False
Let b be 339/(-7797) - (-2002)/43930. Suppose -5*m + 3*s + s = -12, m = -2*s - 6. Do b and m have the same value?
False
Suppose -34254 = 143*d - 77*d. Which is greater: d or -526?
d
Suppose 4*p + 98 = -2*m, -2*p - 29 = -3*m - 0. Suppose 4*n - 4 - 4 = 0. Suppose -n = 4*a + 94. Is p at most a?
False
Suppose 0 = -5*h - 5*z - 3 - 2, h - 4*z = -26. Suppose 33*j + 1377 = 9396. Let a = j + -251. Which is smaller: a or h?
a
Suppose 111*z = -80*z. Which is bigger: 2/2295 or z?
2/2295
Let k(y) = -35*y**2 + 416*y + 29. Let m be k(12). Which is smaller: -22 or m?
-22
Suppose 212*m + 72*m = -61*m. Which is smaller: m or -12/1381?
-12/1381
Let a be (-540)/90 - (18/24 - (-9581)/4). Which is smaller: -2403 or a?
-2403
Let l = 5 + -6. Let b = -1070832/95 + 11272. Is b equal to l?
False
Suppose i + 16 = -11. Let x(t) = t**3 - 10*t**2 + 14*t - 47. Let d be x(9). Let o be (i/18)/(d/(-32)). Do -24 and o have the same value?
True
Let j be (-8 - (-264)/36)*(-9)/(-2). Let a be 4/20 - j/(-15). Which is smaller: -8/17 or a?
-8/17
Suppose -2*h - 5*t = -2*t - 12, -3 = -h - 3*t. Let q(s) = -11*s**3 + 3*s**2 - 7*s - 10. Let v be q(-1). Are v and h equal?
False
Let t = 19339.585 + -19329. Which is bigger: -2/7 or t?
t
Let d(v) = 12*v - 131. Let x be d(11). Which is bigger: -505 or x?
x
Let b = -5361/1180 + 119/20. Is 2 less than or equal to b?
False
Let u = 8639/1688 - -3/422. Let a = 9551/144 + -220253/3600. Let h = u - a. Is h < 0?
True
Let n(g) = g**3 - 12*g**2 - 3*g + 36. Let d be n(12). Let l = -2573 + 563488/219. Is l not equal to d?
True
Let d = -843177/145 + 5815. Which is bigger: d or 51?
51
Let n(g) = 3*g**2 - 10*g - 17. Let i = -297 + 297. Let s be n(i). Which is greater: s or -20?
s
Let y = -5 + 12. Suppose 5*a - 8*m + 335 = -y*m, -4*m = -a - 48. Let r be 38/34 - (-8)/a. Do r and 1/96 have different values?
True
Let o(b) = -90*b + 499. Let n be o(-25). Do n and 2751 have the same value?
False
Let m = 7886071/14 - 562425. Let k = m + -863. Which is smaller: k or 1?
1
Suppose -21*t + 22*t = 2. Suppose -3*f = 2*h + 5, 2*h - 1 = -t*f - 7. Let r = -23.036 + 23. Is f at most as big as r?
False
Let a = 6 + -9. Let x be (-12)/(-1 + (-17)/a). Suppose 4 = m, -3*v - m = 17 - 12. Which is greater: v or x?
x
Let t(d) = 13*d**2 + 359*d - 81. Let v be t(26). Is 18040 <= v?
True
Let t(a) = 3*a**2 + 6*a - 13. Let z be t(-7). Suppose 13*g - 9*g - z = 0. Suppose 30*j = g*j. Does 1 = j?
False
Let c = 4 - -4. Suppose c + 10 = 5*i - 4*b, 0 = -2*i - 4*b + 24. Suppose 5 = i*m - m. Which is smaller: m or -4?
-4
Suppose 0 = -41*v + 44*v + 3. Let p be ((-28)/(-6) - -2)/(v/(-9)). Let o = p - 64. Is 9 greater than or equal to o?
True
Let q = 395 - -234. Suppose 7*m - 24*m - q = 0. Which is smaller: -39 or m?
-39
Suppose -6*i - 1211 = -13*i. Suppose -w - 249 - 98 = -2*m, 0 = -3*m + 3*w + 516. Are i and m unequal?
True
Let b = 18042.39 + -18052. Is -0.1 < b?
False
Let a(s) = s**2 - 4*s + 104. Let n be a(0). Suppose -108*z = -112*z - n. Which is bigger: z or -17?
-17
Let a be (5456/(-263500))/((-8)/(-20)). Is 0 smaller than a?
False
Let v = -242581 - -242049. Let k(y) = -531*y**2. Let d be k(1). Which is smaller: d or v?
v
Suppose d + 1 = 0, 3*o + 0*o - 47 = 2*d. Suppose 5*j - 5*r + 3 = -r, 2*j = -3*r - o. Let p be ((-1405)/(-465))/1 + j. Which is greater: p or -1?
p
Let k be (-258)/2*((-18)/14 + (-150)/(-525)). Which is smaller: 128 or k?
128
Suppose -2*w + 1 = p - 10, 26 = 2*w + 4*p. Suppose -2*i - 5*u + 3 = 0, w*u = -4*i + 2*u - 3. Do i and -2/1057 have different values?
True
Suppose -19*o + 17691 = -8789 - 9582. Is o greater than 1898?
False
Let h(g) = 23*g + 1. Suppose -6 = -c - 7. Let i be h(c). Suppose -385*k - 5998 = -80*k + 1017. Is k at least i?
False
Let c be 18284/39 + (37/13 - 3). Let w = 474 - c. Let p = w + -5. Which is bigger: -18 or p?
p
Let l = -37 - -52. Let i be (-5)/l + (-1)/(63/1671). Which is smaller: 0 or i?
i
Let a be (-2)/(-5) - 4/10. Let p be 2/(-1) - a/5. Let d be (-4)/11 - 0/(-3). Which is greater: p or d?
d
Suppose 0 = -0*f - 2*f + 4. Suppose 10 = f*v - 8. Which is greater: v or 6?
v
Let c be (132/(-28) + 3)*329/(-6674). Which is bigger: c or -0.07?
c
Let o = -1672.6 + 1670.9. Is o >= 67?
False
Let q(a) = -a**3 + 28*a**2 - 87*a + 775. Let u be q(25). Which is smaller: 15 or u?
15
Let g = -3153 - -3153.0901. Which is smaller: g or -4?
-4
Let l be (-5276)/(-10) - (56/(-20))/7. Let h be (-174)/l - 3/(-9). Which is greater: 0 or h?
h
Let d be ((-2)/124)/((-133)/(-28)). Let x = -33048 - -33048. Which is smaller: x or d?
d
Let a(f) = 4*f**2 - 64*f - 4. Let z be a(16). Let h be ((-7)/21)/(-4*z/96). Which is greater: 0.048 or h?
0.048
Let r be 2/(7 - 3)*12*1. Suppose 0 = r*h - 1661 + 59. Let u be 1/(-13)*-2 + h/39. Which is smaller: u or 15/2?
u
Let s be 3/(-4710)*-4*(-115)/(-529). Is 1 bigger than s?
True
Let k = -20547 - -25512. Is 4968 != k?
True
Let t(b) = -11*b + 74. Let j be t(9). Let n = -24 - j. Which is smaller: n or -1/14?
-1/14
Let p(m) = 1609*m**2 + 27*m + 25. Let c be p(-1). Which is smaller: c or 4817/3?
4817/3
Suppose -f + 5*p = 8, 0 = f + 5*p - 10 - 12. Let q = 159.378 - 159.738. Is f greater than q?
True
Suppose -b + 463 = -2*i + 172, 4*i - 3*b = -585. Let c be (13/7)/(-8 - i/28). Is -2 less than or equal to c?
True
Let m(k) = k + 3 - 6*k + 8*k. Let r be m(-3). Suppose 25 = -151*f + 146*f. Which is smaller: f or r?
r
Let h = 10 + 5. Suppose 2 + 64 = 3*t - 5*i, -2*t - 4*i = 0. Which is bigger: h or t?
h
Let i = -57869 + 57869. Let j be (-98)/340 - 1/(-5). Is j less than i?
True
Let k = 7.9 - -35.8. Let g = k + -45. Let t = g - -1.4. Which is bigger: -1/5 or t?
t
Suppose 5*n - 18 + 13 = 0. Suppose -185*m = -184*m - n. Let y be 2/6 + 38/102. Is m at most y?
False
Suppose -6*u + 24*u = 13554. Let m be 1255/u*(-1)/((-2)/42). Which is smaller: m or 42?
m
Suppose 0*c + 39 = 3*c. Let v = 1737 + -1733. Which is bigger: c or v?
c
Let y be 39 - 26 - (-1 - 1). Suppose -10*w + 96 = -7*w. Let r = w - 18. Is r bigger than y?
False
Let p = 43/10782 - 3640703/918292158. Which is smaller: p or 0?
0
Let z(v) = -4*v + 55. Let l be z(10). Suppose l*r + 87 + 18 = 0. I