reater: 4727 or n?
n
Let v be -73*(-9)/(-105)*5/(-3). Which is smaller: -3 or v?
-3
Suppose 16*c = -c - 1530. Let i be 4 + 5/c*106. Are i and -1 equal?
False
Let m(l) = 8*l - 80. Let a be m(10). Suppose -4*q - 17 = -5. Let k be (-2 - q) + a/(-1). Which is smaller: -2/57 or k?
-2/57
Let v be ((-4)/88)/(1/(-4)). Which is smaller: -10 or v?
-10
Let c be (-46428)/1533*(-147)/(-2). Which is smaller: -2227 or c?
-2227
Let l be (-1)/2 - (-620)/4200*57. Is 7 bigger than l?
False
Suppose 9*s - 4*s = -350. Suppose -61*l - 287 = 4*x - 58*l, 72 = -x - l. Which is bigger: s or x?
s
Let p be (1/(-1) - -1)*(-2 + 3). Suppose p = -5*n + 2*u - 8, 3*u - 8 = -n + 4. Which is smaller: -3 or n?
-3
Let f = -61 - -63. Suppose f*b - 7*b = l - 27, 13 = 4*l + b. Suppose -l*v = -8, -v + 2 - 3 = 5*k. Which is greater: -6/19 or k?
-6/19
Let i be (-184)/(-23) - 82035/(-27335) - 11. Which is smaller: -1 or i?
-1
Suppose -97 = -2*p + 5*y, -3*y = 5*p - 0*p - 165. Suppose 0*a + p = -6*a. Let i be (-2 - 10/(-8))/(a - -7). Are i and -12 equal?
False
Let v = -369183/568 - -5193/8. Which is smaller: 0 or v?
v
Let y(l) be the first derivative of -l**3/3 - l**2 + 5*l - 10. Let f be y(0). Let j(a) = a - 6. Let k be j(f). Which is bigger: -2 or k?
k
Suppose 4*x - 17 + 1 = 0. Let z be 48/(12 - x) + -19. Which is smaller: z or -19?
-19
Suppose 0 = 4*m - 20, -b - 35*m + 33*m = -59. Let a be (756/b)/(-3) - -5. Suppose 0 = 7*d - 2*d + 5. Is d at least a?
False
Let l(i) = i**3 - 15*i**2 + 36*i + 2. Let d be l(12). Suppose -2*u - d*k + 260 = -4*u, 0 = 4*k - 12. Is u at most -128?
False
Let i = 1.086 + -2.086. Are -2/5741 and i non-equal?
True
Suppose -2*h + 16 = 2*h, 0 = -3*u + h - 10. Let m be u + (1/(-1) - -2). Let f(d) = -3*d**3 + 25*d**2 - 42*d + 263. Let p be f(8). Which is smaller: p or m?
p
Let i = 51.89753 - -0.10247. Which is bigger: 0.277 or i?
i
Let k = 7225/126 - 1/126. Let b = -57 + k. Let x = 4 + -4.2. Do x and b have the same value?
False
Let x = 0.196 + 0.004. Let r = 483 - 500. Which is bigger: x or r?
x
Let l = 50 - 70. Let f = l + 25. Let h be 1 - (75/f + -3). Which is smaller: h or -10?
h
Let i(s) = 11*s - 313. Let w be i(25). Let y = 43 + -80. Which is greater: y or w?
y
Let b = -110 + 128. Let s be 4/b - (-24)/1350*-17. Let h = -0.6 - 0.4. Which is greater: s or h?
s
Suppose -2*b = -4*d - 8, -4*b + 2*d = -0*b + 14. Let h be b + 4 - (0 + -4). Which is bigger: h or 7/10?
h
Let c(q) = -q**2 - 13*q + 4. Suppose y + 32 = -3*y - 4*u, 0 = 3*y - u + 44. Let g be c(y). Suppose 4*o + t = 2*t - 3, 2 = 2*o - g*t. Is -3/4 greater than o?
True
Let b be 15/(405/(-156)) - (-2)/(-9). Let s be (-7)/(-5) + (8 + -16 - b). Is 1/2 bigger than s?
True
Let n be (0 - 35)/(-7)*6/(-75). Let s(f) = -f**3 - 12*f**2 + 16*f + 40. Let w be s(-13). Is w not equal to n?
True
Let i = 2/238759 + -21966394/67568797. Is i < 0?
True
Let u(t) = 15*t**2 - 7*t + 2. Let n be u(8). Let g be (7 - 4)*(-4)/n. Which is bigger: g or -1?
g
Let i be (1064/(-12) - -10)*(1 - 0). Let x = i - -78. Let d = -34 + 105. Which is greater: d or x?
d
Let x = 54 - 82. Let k = 31659 + -31680. Is k bigger than x?
True
Suppose 5*a + 14688 = 41*a. Which is smaller: 411 or a?
a
Suppose 3*a + 96 = -6*f, 131*f - 135*f - 84 = 3*a. Is -139/7 at most as big as a?
False
Suppose -2478*a + 2475*a = h - 398, -266 = -2*a - h. Is a != 18?
True
Let r = 19 - 153/8. Let w = -791 - -7111/9. Is w at most r?
True
Let j be (1 - 880086)/(22 + -31). Let t = j - 97652. Let l = t - 135. Is l >= -1?
True
Suppose -15*w = 6246 + 9234. Let o be (7 - (-7228)/w)*-20. Which is greater: 1 or o?
1
Let u = -427 - -429. Suppose -u*b - 3*b = 2*b. Is b at least as big as -2/993?
True
Let g = -3446438/109 - -31618. Which is smaller: g or -2?
-2
Suppose 0 = -4*j + 5*u + 119, -26 + 6 = -4*u. Let m be 42 + (-6 - (-6)/2). Do m and j have the same value?
False
Let r be (-4 - 250/(-65)) + 13/((-2366)/690662). Is r != 0.1?
True
Let s(o) = -2*o**2 - 177*o + 2301. Let d be s(-100). Do d and 26/107 have different values?
True
Let q = -2685203/8463 - -2221/7. Which is smaller: 0 or q?
q
Let z be 161 - (-2)/(-4)*-6. Suppose -j - z = -2*j. Suppose 2*d + 72 = -2*f, -f = -5*d + 2*f - j. Which is smaller: d or -32?
d
Let b = 0.236 + 0.264. Let u = 1.81 + -1.81. Which is bigger: b or u?
b
Let q = -3689 - -3688. Is q equal to -1/6139?
False
Let y = -85 - -149. Let l be 3/(-8) + 24/y. Suppose -2*q + 0*s + 5 = -s, 5*q + 2*s + 1 = l. Is q < 3?
True
Let u be (-287)/41 - 1182/(-216). Is u at least as big as -3?
True
Suppose -6 = 2*s - 12. Suppose -2*t = -3*t + s*t. Suppose 0 = -t*k - 4*k - 3*l, -3*k - 4*l = 7. Is 4 at most k?
False
Let k = 19.0347 - 1.0347. Which is smaller: k or -9/5?
-9/5
Suppose k = 5 + 5. Let z be ((-10)/k)/(2/6). Let u be 1*(-2)/(-2) + 0. Is z less than or equal to u?
True
Let a = 77 + -70. Let w be a/7 + 1 + 19. Suppose -r + w = -0*v + 3*v, 3*v + 3*r = 15. Is v smaller than 11?
True
Suppose 92*v = -68799 - 18049. Is v != -942?
True
Suppose 10*h = -54*h - 11520. Which is smaller: h or -1075/6?
h
Let b be (-7)/30 - (-31)/(-310). Is b greater than -1486?
True
Let z(g) = -12*g**2 + 4*g + 7. Let m be (-26)/(-52) + 5/2. Let h be z(m). Which is smaller: 1 or h?
h
Let k = -1237.9 + -541.1. Is k equal to -1/3?
False
Let s(g) = -18*g**2 + 134*g + 56. Let k(j) = -9*j**2 + 67*j + 29. Let c(q) = -7*k(q) + 3*s(q). Let y be c(8). Let u = 1164 - 5799/5. Which is smaller: u or y?
u
Let t(z) be the first derivative of -z**4/4 - 47*z**3/3 + 7*z**2/2 - 2*z - 161. Let k be t(-47). Is k less than -331?
False
Let f be 1 - 6/(-9)*-9. Let w be -9*(2 + 9/f). Let o = -2396 - -2394. Which is smaller: w or o?
o
Let j = 3714 - 3467.1. Let k = -247 + j. Which is smaller: 14 or k?
k
Let g be (-66)/143*-26403*2/39. Which is bigger: g or 625?
625
Suppose 0*k + k + 60 = 0. Let a(d) = 5*d**3 - 8*d**2 + 13*d - 48. Let n be a(3). Let h = n + k. Which is smaller: h or -7?
-7
Let r = -65 + 70. Let b be r - 685/(-135)*-1. Suppose a + 14 = 5*k - 12, 2*k = -3*a + 7. Is b smaller than a?
False
Let x = -34.6 + 36.2. Is -0.2 at least as big as x?
False
Suppose 5*x - 36874 = 4*r, -5*x - 5*r + 19004 = -17906. Let j be (-2080)/x + 11 + 675/(-63). Which is greater: j or -1?
j
Let m(z) = -z**3 - 71*z**2 - 6*z - 344. Let w be m(-71). Let t = 207 + -124. Is t > w?
True
Let f = -9 + 13. Let s = 287 + -272. Let g be (-5)/(-15)*-3*s/(-3). Which is bigger: g or f?
g
Let t(b) = -b**3 - 15*b**2 + 22*b - 6. Let c be t(-17). Let g be c/55 - 4 - (-1)/25. Which is bigger: -1 or g?
g
Suppose 0 = -2*z - 8, -2*z = 5*m - 3*z - 4. Suppose 0 = -m*l + 4*l + 48. Let k = -2 - l. Is 8 at least as big as k?
False
Let i = -35 - -35. Suppose 2*m + 2*r - 30 = i, 17 = 3*m - 5*r - 36. Let f be -4 + 19 - 0/(1 - -1). Is m less than or equal to f?
False
Let w(j) = j**3 - 12*j**2 + 30*j - 17. Let k be w(9). Let d be (-5)/k + (-126)/12. Which is greater: 2 or d?
2
Let c = -37630 + 338672/9. Which is smaller: 1.222 or c?
c
Let f = 194.75 - 310. Let o = -0.75 + f. Let p = -117 - o. Which is greater: -30 or p?
p
Let r(c) = -c**2 + 13*c - 8. Let x be r(12). Suppose -4*q + 69 = 2*d - 1, x*d = -q + 14. Suppose -q*g + 3 = -19*g. Which is greater: -1 or g?
-1
Let y = 72220 - 72189.229. Which is bigger: 0.1 or y?
y
Let s = -346 + 175. Let z = s - -171.4. Is z greater than or equal to 2/27?
True
Suppose 4*s - 68*b + 71*b - 2232 = 0, 5*s = -2*b + 2783. Which is smaller: 554 or s?
554
Let m be ((-13)/78 + (-48)/32)*(-2)/(-10). Let z be 2/(-7) + (-5254)/(-14). Is m greater than or equal to z?
False
Suppose -16*q + 11*q = 5. Let k be ((-23217)/(-3366) - -2) + -3. Let n = k + -100/17. Is n greater than q?
True
Let g be ((-2)/6)/(847208/(-42360) - -20). Which is bigger: 1766 or g?
1766
Let d = 1623 - 1624. Which is greater: -2910 or d?
d
Suppose d = 5*d - 4. Which is smaller: d or -3/1303?
-3/1303
Suppose 0 = -3*s + 5*k + 730, 24*s - 29*s - 4*k = -1229. Which is smaller: s or 280?
s
Let q = 2760/77 + 27298/2233. Are q and 49 non-equal?
True
Let j(m) = m**2 + m + 1. Let u be j(-2). Suppose k + 2*k - 45 = u*r, 4*k + r - 80 = 0. Suppose -4*n + 3*n = -19. Is k smaller than n?
False
Let r = 386494 - 386575. Let s = 8 - 91. Which is bigger: s or r?
r
Let j(p) = 2*p - 5. Suppose 2*o - 10 = -2. Let y be j(o). Suppose -g - 13 = -f + y*f, 0 = f - 5*g + 34. Is f > -9?
False
Su