15)/(-20)). Is -2 less than i?
False
Let c = 18/119 - -2449/1904. Is 2 at least c?
True
Suppose 3*r + 28 = -56. Let b = 11 + r. Is b < -17?
False
Suppose -5*a - 3*t = -5*t - 35, 5*a - 3*t = 40. Let q be (-4)/a - (3 + -3). Suppose 2*p + 0*o = 5*o - 25, -p = -5*o + 25. Does p = q?
False
Let b(c) = 25*c + 488. Let p be b(11). Is p at most 763?
True
Let f = 3 - 2. Let c be 1 + -2 - -2*f. Let k be 45/(-18)*8/50. Are k and c equal?
False
Let a be (-87)/((-5)/10 + 2). Let y = -49 - a. Is 7 at most y?
True
Let o = -33092724/835 - -39632. Is -1 smaller than o?
True
Let v(a) = -25*a - 350. Let d be v(-15). Is d >= 0?
True
Let v be 19*(-36)/(-354) + 2/(-1). Is v > -1?
True
Let g be -1 + 25 - 3/1. Is g not equal to 104/5?
True
Suppose 3*a - 21 = -3*k, 11*a + 3*k = 7*a + 30. Suppose -13*g + 28 = -a*g. Is g > 8?
False
Let o(g) = -4*g + 189. Let f be o(52). Which is smaller: f or -151/8?
f
Let o = 2708 + -4076. Is -1368 smaller than o?
False
Let a = -157 + 179. Which is bigger: 4 or a?
a
Let g be (1755/(-6) - 1)*(-6)/9. Let d = g + -191. Do d and 4 have different values?
True
Let o = 69 - 60. Which is smaller: o or 2?
2
Let t(a) = a**3 - 10*a**2 + 80. Let r be t(9). Which is greater: r or -616?
r
Suppose 5*j + 4*s = 4*j + 7, -j = 2*s - 3. Let d be j/((3 + -5)/(-2)). Is -2/41 equal to d?
False
Let y be 12 + 2/2 - (24 - 25). Which is bigger: y or 5?
y
Let g = -7.06 + 0.06. Let u = -26 - g. Let b = u - -19. Is b > 0?
False
Let g = 1.01 - 0.01. Let o = -0.4 - -0.7. Let n = 0 - o. Do n and g have different values?
True
Let m = -9.2 + 43.2. Is 1 greater than m?
False
Let c = -41 + 29.6. Which is smaller: c or -1/4?
c
Let y = -11 + 6. Let j(l) = -l. Let v(r) = r**3 - 2*r**2 - 4*r + 4. Let a(b) = -2*j(b) + v(b). Let h be a(2). Are y and h nonequal?
True
Let q(r) = -20*r - 5. Let h be q(-2). Suppose -10*t + 25 = h. Let n(a) = a**3 - 5*a**2 - 6*a - 1. Let y be n(6). Is y bigger than t?
False
Let n = 64 - 60. Suppose n*y + 0*z = 5*z - 130, -3*y - 100 = -5*z. Is -30 equal to y?
True
Let b be (78 - 2)*6/(-24)*-2. Is b >= -6?
True
Let x = -1 + 2. Let c = -2692.9 - -2820. Let h = -127 + c. Which is smaller: x or h?
h
Suppose 21 = -27*s - 114. Which is greater: s or -76/15?
s
Let j be (22 + -28)/(9/(-246)). Which is bigger: j or 167?
167
Let i(w) = w**3 + 8*w**2 + 2*w + 9. Let r be i(-8). Let o be (-2)/9 + 20/9. Suppose 0 = -o*k - 14. Do r and k have different values?
False
Suppose 0 = 4*r - 0*r - 4*v + 16, -2*r + 5*v - 11 = 0. Let t be 2/r + (-36)/(-51). Which is greater: t or 1?
1
Let i be 0/(-5) - (-2 + 3 + 1). Which is smaller: 146 or i?
i
Let d be (-21)/(-14) + 6/4. Suppose d*l + 2*f = 15, 4*f + 3 = 7*l - 2*l. Which is smaller: l or 16/9?
16/9
Suppose -2*q = -4*g + 96, -2*q + 53 + 12 = 3*g. Which is smaller: g or 113/5?
113/5
Let f be 4 + -3 - (5 + 3). Is f != -13?
True
Let s = 458 - 457.7. Is s greater than 1/11?
True
Let r be ((-3)/(-2))/(-3)*-10. Suppose 2*y - r - 5 = -2*l, y = -3*l + 13. Let j be (2/(-20))/((-4)/16). Do y and j have different values?
True
Suppose 0*f + 2*f = 0. Let s be (-10 + 24)*4/14. Suppose f = 2*y + 2*z, -s*z - z = 0. Which is bigger: 1/7 or y?
1/7
Let q = 2 - 3. Let r = -0.09269 + -0.70731. Which is greater: r or q?
r
Suppose -3*c = 3*p - 99, 4*p + 5*c - 51 - 83 = 0. Let v = 28 - p. Which is smaller: v or -2?
v
Suppose -4*u - 73 = 435. Let o be -2 - -4 - 2619/(-21). Let g = u + o. Do g and 2 have the same value?
False
Let p = -0.3 + 0.2. Let f = 3.113 - -60.887. Is f at least p?
True
Let z be ((-30)/(-12) + -2)/(4/5072). Are 634 and z nonequal?
False
Let v = -40 - -76. Let s be 63/v - 1/(-4). Suppose -h + s*p - 6 - 8 = 0, -3*h = 5*p - 13. Is h equal to -4?
True
Suppose 3*a = 3*r - 2*r - 11, 3*a + 12 = 0. Which is smaller: r or 2/477?
r
Let j = -1509 + 3017/2. Is j at least as big as -11/16?
True
Let z be 822/27*(-134)/6. Let x = 680 + z. Which is bigger: 1 or x?
1
Suppose -5*l - 33 - 15 = -4*w, -3*w - l = -55. Let x(k) = -k**2 + 11*k - 6. Suppose -q + 9 - 1 = 0. Let d be x(q). Is d less than or equal to w?
False
Let v be (-1 + -1)/1 - 2. Let b(r) = r**2 + 2*r - 5. Let d be b(v). Suppose -4*s - 1 = d*l, -2*s + 0*s = 2*l + 2. Is l smaller than -3?
False
Suppose 0*y - 4*y - 60 = 0. Let a = 26 + y. Let w be (1 - 1)/(a - 12). Is w >= -1/4?
True
Let a be (1 - (-5)/(-7))/((-57)/(-7)). Which is smaller: -1 or a?
-1
Let w(m) = -m**3 + 19*m**2 - 5*m + 54. Let b be w(19). Is b bigger than -46?
True
Suppose 0 = -8*n - 8 + 24. Is -18 > n?
False
Suppose -25*k - 96 = -2*j - 23*k, 3*k = -5*j + 264. Is j <= 44?
False
Let k = -3952 - -818062/207. Which is bigger: 1 or k?
1
Let p be ((-40)/(-10))/(1 - 2). Let s be (-1)/(-3) + p/(-6). Which is smaller: s or 2/23?
2/23
Let o = 163/5 - 33. Let w = -8.5 + 8. Which is bigger: o or w?
o
Let c be 10 + -9 + 3/(3/(-169)). Which is greater: -333/2 or c?
-333/2
Suppose -9 = -2*p + o, 0 = -3*p - 5*o + 5 + 2. Suppose 3*z + p*b = -16 + 41, 4*b - 13 = z. Suppose 123 = 5*u - m, -53 + 158 = 4*u - z*m. Is 24 less than u?
False
Let q = 50 - 49.987. Let u = q + -4.013. Which is smaller: u or 2/11?
u
Let p = 1.69 + -3.69. Is p at least as big as 107?
False
Let s be (-1 - (-434)/436)*-113. Let u = 2/109 - s. Suppose -2*n - 2*n = -5*g + 28, -3*n + 5*g = 26. Which is smaller: u or n?
n
Let z(y) = -y - 4. Let a be z(-4). Let g be (-16)/(-20)*2/(12/10). Is a less than g?
True
Let l be -3*(518/3)/7. Do l and -73 have different values?
True
Let k = 45 + -33. Is 67 >= k?
True
Let n(x) = x**2 - 8*x - 4. Let f be n(9). Suppose -f*t - u + 10 = 0, 3 = 2*t - 4*t + u. Suppose -3*k + t - 10 = 0. Which is bigger: k or -12/7?
-12/7
Let u be (20/(-15))/((-3)/720). Which is smaller: u or 321?
u
Let u = -114.4 + 117. Let b = -2.5 + u. Is 20 at least as big as b?
True
Let j = 35 + -37. Let h(f) = 27*f + 19. Let d be h(j). Which is bigger: d or -33?
-33
Suppose 3*n - 6*n = -3. Let z be n/((-2)/48*-4). Suppose 2*h + 4 = z. Is 1 equal to h?
True
Let w = -997 - -142. Let q be w/(-275) + (-2 - 1). Are q and 0 unequal?
True
Let t(o) = -14*o - 456. Let u be t(-15). Is u >= 0?
False
Let c(x) = -x**3 - 10*x**2 - 8*x + 5. Let p = 14 - 23. Let i be c(p). Let o = 44 - 49. Are o and i non-equal?
True
Let h be (-1 - 5)*15/10. Let r be 36/(-567)*h/6. Let c = 1.3 - -0.7. Is r < c?
True
Let s be 148/(-28) + (-2)/(-7). Let r = -8 - s. Let w be (-1 + 0 - -11) + r. Which is greater: 8 or w?
8
Suppose -10*n = -15*n + 25. Suppose j = n*j. Is j bigger than -4/11?
True
Suppose -5 = -4*a + 7. Let n = 7 - a. Suppose -102*t - 12 = -106*t. Which is smaller: t or n?
t
Let f be (-38)/(-4)*5*-2. Which is smaller: -94 or f?
f
Let w = -258/13 + 25052/1261. Which is smaller: 2/11 or w?
w
Suppose 13*a + 32 = -20. Is -21 at least a?
False
Let n = 48298 - 16856020/349. Is -1 at least n?
False
Let a be 7*((-124)/16 - -7) + 6. Let p be -2 + 2 + 0/1. Suppose 5*i - 5 = p, -5*d - i = -7 + 1. Which is bigger: d or a?
d
Let q = -52.75 + 53. Let u = q + 3.75. Which is bigger: -2 or u?
u
Let z(f) = 15*f + 57. Let o be z(-9). Let a be o/(-120) - (-2)/(-5) - 0. Which is bigger: -0.05 or a?
a
Suppose b + 26 = 5*o, 12*b + 3*o - 12 = 9*b. Which is greater: -2/265 or b?
-2/265
Let m be (0 - 0) + 462/(-209). Is -1 greater than or equal to m?
True
Suppose 9 = 4*u - 3*u. Suppose j = q + 3*j + u, q - 5 = 5*j. Suppose -2*s - 10 = -y, -5*s + 5 = 4*y + 17. Is s less than or equal to q?
False
Let x be ((-1)/2)/((-13)/26). Let a = -2 - x. Which is bigger: -4 or a?
a
Let x be (-8)/20 - (-2)/(1020/239374). Let v = 469 - x. Is v >= -1?
True
Suppose -a - 3*a = -4*v + 28, 0 = -4*v + 5*a + 30. Let p = -6 + 13. Let n = p - v. Is n greater than 2?
False
Suppose -y - 3*y - 5*t = -25, t = -2*y + 11. Suppose y*c - 15 = 2*c. Does 7 = c?
False
Suppose 1 + 8 = q. Which is smaller: 94/9 or q?
q
Suppose o + 2*v - 1 = 0, 7*o = 2*o - 4*v + 5. Which is greater: -1/500 or o?
o
Let l = -610 + 413. Which is bigger: -196 or l?
-196
Let m be -3 + 136/44 - (-222)/(-22). Is m < -26?
False
Suppose 4*w + 224 = -4*w. Let v = w - -29. Is v > -2/37?
True
Let q = -2 + 7. Let t = 15 + -10. Suppose -3*o + t = q*h, 2*o = -h - o - 11. Is 4 at least as big as h?
True
Let y = 11 + -57. Let n = y - -46. Is 6/5 >= n?
True
Let b = 134 - 153.8. Let f = b - -20. Is f smaller than 1/5?
False
Let d(q) = q**2 - 18*q + 14. Let h(b) = -b**3 - 21*b**2 - 2