 17603/35438. Is i bigger than 1?
False
Let x be ((-6)/(-8))/(1/(-4)). Let w = 2 + x. Let j = -1548/11 - -141. Is j > w?
True
Let s = 11 + -13. Let b = -109/3 - -71/2. Is b greater than s?
True
Suppose -3*j + 11 = -2*a + 22, a + 3*j = -8. Let d = 32/191 + 1492/4775. Which is bigger: a or d?
a
Suppose 0 = 3*r - 4 - 8. Suppose -4*t + 14 = 2*h, -r*h + 4 + 0 = 2*t. Let o = 29 - 379/13. Is o bigger than h?
True
Let y = -457 - -48897/107. Suppose -2*p - 9 = -6*p + 3*b, 3*p + b + 3 = 0. Which is smaller: p or y?
y
Suppose 4*p = 3*v - 14 - 75, 5*p = -2*v + 21. Suppose -345 = 7*r - 12*r. Suppose -2*z + l + r - 19 = 0, 0 = 5*z + 5*l - 110. Which is smaller: z or v?
v
Let q be (-7)/(-7) - (-5 - -1). Let u(b) = b**2 + 6*b - 18. Let c be u(q). Which is smaller: c or 0.1?
0.1
Let w be 68/11 + 8/(-44). Suppose 12 = -2*k + w*k. Suppose k*c - 8*c = 45. Which is smaller: -10 or c?
-10
Let y be 7 + (43/(-15) - (-4)/(-30)). Let p be 2/y*144/(-60). Which is greater: -0.2 or p?
-0.2
Let o = 22 + 17. Let w = o + -39.6. Is -3 <= w?
True
Suppose 0 = -4*x + 3*x + 13. Suppose x*j - 11*j - 12 = 0. Which is smaller: j or 14/3?
14/3
Suppose 69 = 4*o - 3. Let s = o + -19. Are s and -0.1 unequal?
True
Suppose u - 2*g = -2, 3*g + 64 = -4*u + 23. Let a = 14 + u. Let y be 3 - a/(-9)*3. Is 11/2 at least as big as y?
True
Suppose 2*p = -2*g + 12, -4*g + 9*g - 20 = 0. Let r = 0 - p. Let b be (r/(-10))/((-36)/150). Is -2 less than b?
True
Let s be 0 + (-234)/(-15) - -2. Is 1/2 equal to s?
False
Let m = 2.309 + 127.671. Let u = 130 - m. Let r = 0.8 - 1. Which is bigger: r or u?
u
Suppose r = -3*r + 56. Suppose -12 = -4*n, -9 - 54 = 5*p + 4*n. Let g = p + r. Does g = -5/11?
False
Suppose 1 = -i - 4*t, 0*i - 5*i - 110 = -t. Let o = i + 20. Let s(u) = -2*u**2. Let m be s(o). Which is smaller: -3/4 or m?
m
Suppose 3*r = 2*a - 6, -a - 5*r - 6 = -3*a. Let j be ((-8)/(-12))/(a/(-198)). Let f be (j/(-24) + -2)*-2. Which is greater: f or 0.2?
f
Let o(j) = -2*j + 42. Let d be o(17). Let s = 55 - d. Do s and 47 have the same value?
True
Let w = -0.34 - -0.44. Is -37 != w?
True
Suppose -15 = -2*z - 3*u, 2*u + 24 = 4*z + 6*u. Suppose 0 = 4*p + 4*i + 16, -i - 3*i + 19 = -z*p. Which is smaller: p or -6?
-6
Let n be (0 + 24)/(12 - (-6165)/(-510)). Which is greater: -274 or n?
n
Let u be 10/(-55) + 2/11. Let x(a) = -2*a + 1. Let v be x(u). Which is smaller: 1/8 or v?
1/8
Let w be (12 + -2)*18/(-15). Let t be w*-2*(-3)/(-9). Let f be 0 + (-17 - t/4). Does -1 = f?
False
Let i(b) = -39*b - 24. Let c be i(-6). Which is smaller: 211 or c?
c
Suppose -5*m + 34 = 9. Let q = m + -7. Let d be q - (-3 - (-6)/3). Which is greater: d or -1/9?
-1/9
Let i = 669 - 1147. Do i and -477 have the same value?
False
Let m = -0.777 + 0.747. Let w be 1/(-2)*8/(-14). Which is bigger: w or m?
w
Let h be 3/5 - 36/10. Let d = 56 + -52. Suppose -3*c = 5*l - 10*l - 42, d = -4*c. Which is greater: l or h?
h
Let q = 2 - 7. Let j(u) = -u**3 + 2*u**2 - u - 2. Let s be j(-1). Suppose 3*f + 9 = 2*w + w, s*w = 5*f + 21. Is f at least q?
True
Suppose 13*q = 16*q + 189. Let z be ((-1)/3)/(q/(-27)). Which is greater: z or -1?
z
Let f = -365 - -6937/19. Suppose y + 1 = 7. Suppose -1 = 5*l - y. Do l and f have the same value?
False
Let p be (-173)/(-5) + (-75)/125. Which is greater: p or 35?
35
Let k be ((-50)/18 - -1) + 108 + -113. Is k not equal to -8?
True
Let o be (-490)/(-49)*13*(-696)/225. Suppose -n - 1608 = 3*n. Let l = o - n. Is l greater than 1?
False
Let p = 140 - 91. Let t = p - 17. Are -2/5 and t unequal?
True
Suppose 5*p + 25 = 3*w, -2*p - 5 = 4*w + 5. Is w at most -10/21?
False
Let k = 13877/12521 - 2/659. Let h = k - 425/247. Which is smaller: h or -1?
-1
Let n = -225 - -207. Let x = 13 + -30. Let b = n - x. Which is smaller: 0.3 or b?
b
Let z = 0 - 0. Let q = -1324/1911 - -1/1911. Is z not equal to q?
True
Suppose v + 37 = 2*g + 2*v, -5*g + 95 = 2*v. Let z = 55 - g. Is 32 bigger than z?
False
Suppose -10*s - 3*p = -9*s + 1, -p - 5 = 5*s. Is s at most as big as 3/101?
True
Let y = 2110582/1509 - 4196/3. Do -1 and y have the same value?
False
Let g = 628 - 631. Is -33/13 bigger than g?
True
Let n = 578.08 - 578. Let x = 2 - 1/2. Which is smaller: n or x?
n
Let v(p) = 2*p - 18 + 4 - 5*p - 2*p. Let g be v(-7). Let o be g/(-7) - (-17)/5. Which is smaller: -2/5 or o?
-2/5
Let c(u) = 28*u**2 - 4*u - 4. Let t be c(4). Suppose -4*q + t + 1270 = 3*a, 854 = 2*q + 4*a. Let s = q + -2531/6. Which is bigger: s or 0?
s
Let p = 33 - 30. Suppose -z + 44 = 4*r - 21, 0 = p*z + 3*r - 195. Is 64 at least as big as z?
False
Let d be (-6347022)/(-1670) - 6/(-60)*-6. Let x = 3800 - d. Is 0 not equal to x?
True
Let d(o) = -4*o + 39. Let f be d(5). Is f at least 13?
True
Let t = -11.2 + 14. Let l = t - 5.8. Is 0 greater than l?
True
Suppose 17*k - 909 - 434 = 0. Are 78 and k equal?
False
Let b = -98 + -94. Which is smaller: b or -193?
-193
Suppose 2*x + 0 - 2 = 0. Let w = -50 - -52. Are w and x non-equal?
True
Suppose 0 = 3*d - 2*f - 178, -194 = -3*d + 4*f - 24. Let m be 16/(-72) - d/45. Which is bigger: m or 0?
0
Let v = -9/44 - -197/748. Which is greater: -2 or v?
v
Suppose 7*t - 3 = 6*t. Let u be (-16 - t)*(0 - 1). Let w = u + -24. Are -6 and w unequal?
True
Let z(a) = a**2 + 56*a - 297. Let p be z(-51). Is -552 less than p?
False
Let h(d) = -11*d**2 + 23*d + 21. Let m be h(-1). Let i be (-1)/(-8)*6 + -1. Are i and m equal?
False
Suppose 0 = -66*k + 72*k - 12. Let c(m) = -m**2 + 5*m - 2. Let a be c(4). Suppose 12 = 4*x + 4*l, a*l = k*x + l. Are x and 6/25 non-equal?
True
Suppose -7*z = -2*z - 15. Suppose -2*w = 3*h + 6 - 22, -z*w = 4*h - 20. Let k be 20/16 - 2/h. Are k and 4 non-equal?
True
Let s(n) be the first derivative of n**2/2 - 9*n + 27. Let l be s(8). Are l and 7 unequal?
True
Let v = 1 - 2. Let a = -0.4 - 0.6. Let y = a + 1.1. Does v = y?
False
Suppose -3*g - 39 = -0*g - 2*o, 0 = -2*g + 4*o - 18. Let d be 3/g - 138/(-15). Is 2 at most as big as d?
True
Let g = 671 + -473. Which is bigger: 787/4 or g?
g
Let l = -3640039/530 + 6868. Which is smaller: -1 or l?
-1
Let r(s) = -s**3 - 2*s**2 - 2. Let k be r(-3). Suppose -2*p + k*p = 2*c - 5, -4*c = -3*p - 3. Let f be 4 + -1 + (-206)/70. Is c equal to f?
False
Let u be 4*(-4 + (-867)/(-6)). Let m = u - 2263/4. Which is smaller: -5 or m?
-5
Let b = -4 + 3.9. Let v = b - 0. Let m = 12/47 + 11/141. Is v < m?
True
Let g = 3 + -3. Let s(c) be the first derivative of c**3/3 - c**2/2 - c - 3. Let o be s(-1). Is g >= o?
False
Let b = -210 + 210.187. Which is smaller: -1 or b?
-1
Let k be -8 - -11 - (-15 + -1). Suppose 0 = 5*c - f + k, -2*c - 1 = -3*c - f. Is c bigger than 1?
False
Let u be (1 + 0)/(39*(-8)/2148). Let g = -5/13 - u. Which is bigger: g or 6?
g
Let x(m) = m**3 - 9*m**2 + 8*m + 8. Let g be x(8). Suppose k - 19*t = -14*t + 16, 3*k = -5*t + 8. Is k smaller than g?
True
Let c = 345 + -393. Which is greater: -50 or c?
c
Let h be ((-16)/12)/((-4)/(-18)). Is h at most as big as -33?
False
Let f = -2.06 - -2.5. Let n = -2.77 + 2.67. Is f less than or equal to n?
False
Let y = -2/253 + -492/1771. Let v(g) = -g**3 + 2*g**2 + 2*g - 3. Let r be v(2). Let x be r + (-6)/5 + 0. Which is smaller: x or y?
y
Let v(w) = 3*w + 19. Let h be v(-5). Let y be 8/((-3 + h)*-1). Is y equal to -9?
False
Let i = -4.3 + 7.3. Which is greater: i or -35/6?
i
Let w(x) = -8*x**2 + 2*x + 17. Let v be w(-3). Which is smaller: v or -62?
-62
Let d be 2*5 + 90 + -92. Do 168/19 and d have the same value?
False
Suppose -21 = 5*y - 171. Is y greater than or equal to 27?
True
Suppose 3*o - o + 116 = 0. Let l(h) = 42*h + 2084. Let q be l(-51). Is q >= o?
True
Let g = -10 + 10. Suppose -9*m + 13*m + 48 = g. Is -1 at least as big as m?
True
Let b = 420 - 293. Let t = -108 + b. Which is smaller: 21 or t?
t
Let m(c) = c + 6. Let k(r) = -r - 5. Let p(w) = 3*k(w) + 2*m(w). Let b be p(-3). Let x = -161/12 - -41/3. Does b = x?
False
Let u = -656 - -781. Is 125 > u?
False
Let c be ((-11)/5)/(-3 - -2). Let z = 9/5 - c. Which is smaller: -2/9 or z?
z
Let n = -33 - -26. Is -9 bigger than n?
False
Suppose o = -4*f - 3*o, 5*f - o - 6 = 0. Let s = 4/39 - 19/1326. Let k = 57/68 - s. Which is bigger: f or k?
f
Let g be 6/(-341)*2/8. Is 0 less than g?
False
Suppose -z - 2*l - 2 = -0*z, -5*z - 5*l = -15. Is -17 greater than or equal to z?
False
