h is greater: 1275 or f?
f
Let m be (-112 - 0)*(-8)/16. Let j = m + -56. Suppose 4*p - 31 = -3*h, p = h - 4 + 3. Which is greater: j or h?
h
Let o be (7/(-21))/((-3)/126). Let v be (-14)/49 - 654/o. Is -47 greater than or equal to v?
True
Let c = 2/51 + 16/459. Let k = 72.822 + 0.178. Let x = k - 73. Do x and c have the same value?
False
Let w = -1 + 0. Let r be 12/24*4/6. Which is smaller: r or w?
w
Suppose -3*l = 44 + 34. Let t be (-39)/l*(-4)/3. Is -8/3 smaller than t?
True
Let v = 430 + -429. Which is greater: -191 or v?
v
Let k = -1074 - -1073. Which is bigger: -9/83 or k?
-9/83
Let y(c) = c**2 - 8*c + 7. Let q be y(5). Let s be (q/14)/(6/(-21)). Suppose 0 = s*v + v + 15. Is v equal to -7/2?
False
Let l = 21 - 22. Let p be 121/(-396) + (-1)/(-3). Which is smaller: l or p?
l
Suppose -23*y - 24*y + 47 = 0. Does y = 2/521?
False
Let u(t) = 4*t**2 + 15*t. Let a be u(-4). Suppose 3*n + 228 = 3*b, 2*b - 152 = 2*n - a*n. Which is smaller: 75 or b?
75
Let c(d) = d**2 + 8*d + 8. Let a be c(-8). Let j = 25/3 - a. Let v = 219 - 664/3. Does v = j?
False
Let q = 4629/26 + -178. Let y = 5034 + -5035. Which is smaller: y or q?
y
Let f be 2/(-8) + 33/(-44). Let w be (-27)/18 + (1 - f) + -2. Is w bigger than -1?
False
Suppose -10 = -3*u - 2*u. Suppose -52 = u*i + 2*i. Let x(j) = j**3 + 13*j**2 - j - 14. Let r be x(i). Are r and -2/3 nonequal?
True
Let k be 42756/(-26712) - (-16)/10. Is 1 <= k?
False
Suppose 5*f - 14*f - 81 = 0. Is f at most -6?
True
Suppose 20*n + 153 = 3*n. Is n at most as big as -10?
False
Let x(l) = -4*l**3 - 2*l**2 + 1. Let w be x(-1). Suppose -4*r + z = -120, -8*r - 120 = -12*r - w*z. Is r bigger than 30?
False
Suppose 6*v - 311 = -905. Is -100 > v?
False
Let x(w) = w**2 + 4*w. Let r be x(-5). Let v be (-14 - 1) + r*8/(-120). Which is smaller: v or -2/5?
v
Let g = 1609 + -1669. Is g smaller than -532/9?
True
Suppose 2 = r + 6. Let h(z) = -3*z - 19. Let i be h(r). Suppose -3*a + 12 = -6*a. Does i = a?
False
Suppose -259 = -3*x + 101. Is -10 != x?
True
Suppose 3*k - 2*k = 4*t - 124, -5*k + 124 = 4*t. Suppose 3*c = 5*c + 3*q + t, 2*c - 4*q = -38. Does c = -18?
False
Let j(p) = -5*p + 1. Let y be j(-4). Let v = y + -64/3. Suppose -26*z = -24*z + 12. Are z and v unequal?
True
Let t = 255 + -120. Let f be ((-12)/t)/((-2)/20). Suppose 0 = 5*h + 5*q - 5, 0*h - 5*q = 2*h + 1. Is f greater than h?
False
Let n = -12 + 6. Let i be (-1270)/(0 - (-56)/n). Let m = i + -136. Is m > -1?
True
Suppose -57*l - 217 - 68 = 0. Let n be (-4)/6 - 13/3. Is n at least l?
True
Let t(o) = -o**2 + 4*o - 3. Let j be t(3). Which is smaller: -18/13 or j?
-18/13
Let y be 2 + -2 + 0 + 0. Suppose y = 4*p - 5 + 1. Let g = 6948/7 + -992. Is g at most as big as p?
True
Let v be (-4 - 26/(-6))*-33. Let m(f) = -f**3 - 3*f - 14. Let l(h) = -2*h**3 - 7*h - 29. Let w(k) = -2*l(k) + 5*m(k). Let s be w(0). Is v smaller than s?
False
Suppose 3*o - 17 = -77. Is o smaller than -134/7?
True
Let w be (-6)/(-27) - (0 + 0). Suppose -4*p + 2*p - 4*p = 0. Which is greater: p or w?
w
Let q = -20 - 9. Let b = -29 - q. Which is smaller: 2/17 or b?
b
Suppose 5*i + 2*s - 23 = 0, 0 = -5*i + 3*s + 12 + 16. Suppose i*n + 4 = 29. Let u be (-18)/20*n/(-3). Which is greater: 2/3 or u?
u
Suppose -4*l + 216 = 5*y, 0*y + 173 = 4*y + 3*l. Let g = y + -35. Suppose 5*p = g*p. Is p equal to 1?
False
Let o = 10 + -6. Suppose -17 = 5*l + 5*k - 72, o*k = 5*l - 10. Which is greater: l or 24/5?
l
Let s be 0 + (10/6)/((-40)/144). Is s at least 8?
False
Let z = -9 + 7. Let j be (74/2 + z)*-15. Let n = 5781/11 + j. Which is smaller: 1/4 or n?
1/4
Let a be (-1 - 5)*2*5/(-30). Suppose 5*h + 3 = -a. Is h > -2/5?
False
Let q(x) = -x**3 - 6*x**2 + 7*x + 2. Let n be q(-7). Suppose -3*o + 15 = n*o. Let m = 10 - 8. Is o bigger than m?
True
Let g = -2233 + 35717/16. Which is smaller: 0 or g?
g
Let l be (36 + -11)*-1*31. Is l smaller than -773?
True
Let r = -10154 - -10158. Let g(s) = 2*s - 4. Let u be g(6). Is r >= u?
False
Let t = -15.739 - -0.039. Let l = t + 16. Which is bigger: l or -0.7?
l
Let d = -96.33 - -89. Let f = -0.33 - d. Which is bigger: -3/8 or f?
f
Suppose -w - 67 = -2*j, 0*j - 181 = -5*j - 2*w. Let b = 31 - j. Is b <= 5?
True
Let p(h) be the third derivative of h**6/120 - h**5/10 + h**4/24 - h**3 + 9*h**2. Let m be p(6). Is m < 0.053?
True
Let s(c) = -1 + c**2 - 3*c + 2 - 4 + 2. Let t be s(3). Which is greater: 2 or t?
2
Let b = 16 - 15.5. Let i = -135 + 815/6. Which is smaller: b or i?
b
Let y = 40 - 17. Let g be y/4 + 4/16. Let b be g/(-15)*(-6)/(-4). Which is smaller: b or 1?
b
Let o = -6 + 7. Let w be (-2 + 1)*(3 - o). Let h be 4/(0 - w - 4). Is h less than -9/5?
True
Let m be ((-1)/4)/((-1)/(-4)). Let u be (m + (-6)/(-10))*-1. Are -5/12 and u nonequal?
True
Let t = 196 + -191. Is t > 9?
False
Let j be -9 + 3 + 4 - -7. Which is greater: j or 18/5?
j
Suppose -4*u + 42 = -5*c + 17, 0 = -3*c - 5*u + 22. Is 1/363 less than c?
False
Let a = -3/202 - 573/2222. Let f = -2 - -5. Let u = -2 + f. Is a < u?
True
Let g = 3 - 23. Let o = g + 39. Let n = -18.7 + o. Which is bigger: n or 1/8?
n
Let i(h) = h**2 + h - 4. Let v be i(6). Suppose -167 = -9*b + 166. Is v at least b?
True
Let f = -11 - -23. Let h = f - 11.9. Is -1/4 smaller than h?
True
Let k be (-150)/7 - 4/7. Let c be (-288)/231 + 4/k. Which is smaller: -2 or c?
-2
Suppose -7*n + 4*n = 0. Let x = 21 + -26. Let l be 92/(-260) + (-1)/x. Is l at least as big as n?
False
Let c = -1433/83505 + 4/293. Is -1 at least as big as c?
False
Let q be 2509/5142 + (-4)/12. Let b = q + 11385397/59990. Let w = 190 - b. Which is greater: w or 0?
w
Suppose 4*m + 5 = 21. Let f be (20/(-90))/(m/6)*1. Which is smaller: f or -1/4?
f
Let x = -13.6 + 0.5. Let u = -13 - x. Are 3/5 and u nonequal?
True
Let y = 4.47 - 4.39. Which is greater: 0.9 or y?
0.9
Suppose -5*f + 0*f + 20 = 0. Let y = -14 + f. Is -2/5 smaller than y?
False
Suppose 0 = -0*s + 6*s - s. Is s equal to 24/47?
False
Let v(f) = -f**3 - 21*f**2 - 8*f + 80. Let k be v(-20). Is -162 less than k?
True
Let i(b) = -15*b - 177. Let q be i(-12). Which is smaller: q or -8?
-8
Let d = 4/79 - 603/10349. Which is smaller: -1 or d?
-1
Let a(l) = -l**3 + 5*l**2 + 5. Let f be a(5). Let p be -1 - f/(5/(-2)). Suppose z + 4*g = -0*g - 15, -12 = 3*g. Is p < z?
False
Let q(y) = 8*y**3 + y**2 - y. Let a be q(1). Let i(k) = -k**3 + 8*k**2 - 4*k + 34. Let h be i(a). Do h and 2 have different values?
False
Let z = 2827 + -2827. Is 503 greater than z?
True
Let y = 1417 + -1416. Which is greater: y or -1/1377?
y
Let i(t) = t**2 + 3*t - 8. Let n be i(-8). Suppose -3*c = -n + 5. Is c >= 8?
True
Let l = 28933/2 + -380623/26. Let c = -173 - l. Let x(n) = -n**3 - 5*n**2 + 14*n. Let u be x(-7). Which is greater: c or u?
u
Let u = 626.6 + -627. Which is smaller: -17/6 or u?
-17/6
Suppose -26 = 5*o + 109. Let p = o + 28. Which is greater: -2/31 or p?
p
Let q(t) be the third derivative of -t**6/120 - t**4/4 - 31*t**3/6 - 15*t**2. Let w be q(0). Are -29 and w nonequal?
True
Let k = -1 + 1. Let j = -2 + k. Let y = 3.8 + -4. Is y greater than j?
True
Let p = 3 - 3. Let d(i) = i - 3. Let j be d(4). Which is greater: p or j?
j
Let t be (48/(-20))/((-11)/198). Which is smaller: t or 43?
43
Let m = 0.2 + -3.2. Let b = -2.9 - m. Is 5 equal to b?
False
Let q = 6794/3 - 2265. Which is bigger: 111 or q?
111
Let q = -1/4441 - 27947205/35528. Let h = -785 - q. Which is smaller: h or 3?
h
Let o = -1237/30 - -233/6. Are o and -2 unequal?
True
Let m(k) = k**2 - 6*k + 5. Let y be m(5). Suppose b - 2 = -y*b. Let o = -7 + 10. Which is smaller: b or o?
b
Let z(t) = t**2 + 18*t + 65. Let l be z(-13). Is -9 at least as big as l?
False
Let w = -4341252/625 + 6946. Which is smaller: -1 or w?
-1
Let o be 12 - ((-3 - -5) + -5). Let j(s) = -s + 15. Let d be j(o). Suppose d = 6*c - 8*c + 2. Which is smaller: 3 or c?
c
Let r = -20250 - -587193/29. Which is smaller: r or -2?
-2
Let q be -1 + (-3)/(-9)*0. Let g(p) = p - 3. Let z be g(-17). Are q and z unequal?
True
Suppose 5*m - 2*z = 6, -m + 2*m + 4*z = -12. Do 2/1683 and m have the same value?
False
Let x = -6 - -14. Suppose -3*g - x = -2*z - 5*g, 5*z - 5*g = -10. Are 4/23 and z equal?
False
Suppose 0 = 2*l + 37 - 5. Let s = -15 - l. Which is greater: s or 5?
5
Let r be (-15)/(-3) + 642/(-126). Which is bigger: 1 or r?
1
L