Suppose -4*f + 7*z = 3*z - 40, -3*z - 9 = 0. Which is smaller: u or f?
f
Let a = -7 + 20. Suppose 4*y - 11 = 3*p, -4*y + a + 8 = -5*p. Suppose -g + 4 = -5*g. Is y at most g?
True
Let l = 4 + -41. Let p = l + 36.97. Is p bigger than -2?
True
Suppose -4*i = 5*z - 384, -i + 5 = z - 92. Is 102 equal to i?
False
Suppose 70 = -5*a - 5*n - 0*n, 4*a + 2*n = -50. Let h(l) = 7*l + 12. Let w be h(a). Let p = -324/5 - w. Are p and 3 nonequal?
True
Suppose 0 = -2*r - 0 + 2. Let k be ((-2)/(-10))/(29/145). Let l = k - r. Which is smaller: l or -1/36?
-1/36
Let u be 6/3 + (-14)/(-3). Let y be ((-2)/(-32) + (-1102)/(-1824))/((-2)/(-21)). Is y at least as big as u?
True
Let a = 12407 - 297697/24. Let l = -11/3 - a. Let p = -27/4 - l. Is p != -1?
True
Let b = -15 + -9. Let l be (4 - 1)*32/b. Let y be (-28)/(-6) - l/12. Is y < 6?
True
Let t = -13 - -6. Let d = -6 - t. Which is smaller: 12/13 or d?
12/13
Suppose -4*x + 217 = -2*h - x, -3*x = 3. Let p be 6/(-30) + (-42)/h. Is p at least as big as 0?
True
Let k = -22 + 10. Let v be (k/(-30))/((-8)/5). Which is greater: -6 or v?
v
Suppose 5*u = 31*u - 9334. Is 1/3 < u?
True
Let f = -22827/46 + 496. Let m = -6/23 + f. Is -1 less than m?
True
Let v = -1.554 - -6.554. Is v < -179?
False
Let b = -144.1 - -144. Is 0.03 < b?
False
Let j = -7111 + 263149/37. Let d = 2599/2257 - j. Which is bigger: d or 1?
1
Let a = 3263/9 + -362. Which is smaller: a or 2?
a
Let f = 19.87 - 20. Let v = 0.239 - 0.26. Let l = v - 0.079. Which is smaller: f or l?
f
Let l = -7819 - -117283/15. Let c = 2 - 1. Is c less than or equal to l?
False
Let p = 272629/199 + -1370. Which is greater: p or 0?
0
Let y = 98 - 53. Let q be (-5)/y*(-4)/2. Suppose 0 = 2*a - 4*h + 14, -5*h = -5*a - 0*h - 20. Is q != a?
True
Let r be (-22)/(-5) + 4/(-20)*2. Suppose 4*t - 5*a = -3*a + 34, -r*t + 4*a = -24. Which is bigger: t or 13?
13
Let d(l) = 25*l + 52. Let f be d(8). Which is smaller: f or 250?
250
Let j = 88 + -88.067. Let v = j + 7.067. Which is smaller: -1/4 or v?
-1/4
Let g be ((-4)/5)/((-16)/(-80)). Let d be (1 - 5*2)*1. Which is bigger: g or d?
g
Let a(v) = 11*v + 99. Let o be a(-9). Which is smaller: -4/31 or o?
-4/31
Let k(h) = -h**2 + 9*h + 3. Let q be k(9). Suppose -29 = -2*n - c, -q*n - 18 = c - 61. Let d = n + -17. Is -4 greater than d?
False
Let d = 48 + -49. Let u be (10/(-75))/(6/40). Do d and u have the same value?
False
Let i = 550 - 553. Suppose -11 = 5*n + g + 12, -5 = 2*n - g. Which is smaller: i or n?
n
Let u(k) = k**2 - 5*k + 5. Let f be u(4). Let a(b) = 4*b**2 - 89*b - 64. Let i be a(23). Suppose 0 = -j + 5*y + 3, 5*j + i*y - 16 = -f. Is 2 bigger than j?
False
Let v(w) = 2*w**2 - 2*w + 1. Let r be v(4). Let z = r - 42. Is -0.1 > z?
True
Let p = -313 + 312. Is p greater than -385?
True
Suppose 2*m + 16 = 6*m - l, m - 5*l = 23. Suppose -4*d + 5*p - 29 = 0, d + p = -m*d + 1. Let i = -22 - -24. Is i >= d?
True
Let k be -4 - (582034/(-128) + -1). Let x = k + -4544. Let l = x + 389/192. Do 2 and l have the same value?
False
Let p be (-342)/(-72)*(57 - 5). Which is smaller: 245 or p?
245
Suppose 45*g = 24*g + 22*g. Is g <= -1/9?
False
Suppose x - 4*x + 11 = 2*c, 4*c - 2*x = -2. Let b be (-5)/(-2)*(c + -3). Suppose -9*t = -13*t - 20. Is t > b?
False
Let s = 68 - 40. Let n = -4405 + 4405. Are n and s nonequal?
True
Let o = 56 + -57. Which is smaller: o or -15/7?
-15/7
Let p = 21 - 15. Suppose i - p = -i. Suppose 0 = h + 1 - 0, i*g + 10 = -4*h. Is g less than or equal to -5/3?
True
Let u be ((-125)/45 + 3)/((-3)/(-9)). Is -2/613 > u?
False
Let t(u) = -u**3 + 4*u**2 - 2*u - 2. Let x be 5/((-3)/12*-2). Let j = 12 - x. Let z be t(j). Do 4 and z have different values?
True
Let v be ((7 + 1)/(-32))/((-2)/(-8)). Is -8/31 greater than v?
True
Let t(f) = -f**2 + 5*f - 6. Let a be t(5). Let i = 16 - 13. Suppose -2*y = 3*y + i*v + 26, 5*y = 2*v - 41. Are a and y unequal?
True
Suppose 554*j - 556*j - 6 = 0. Is j at most 9?
True
Let q = 54 + -54.14. Let h = q + 2.34. Which is bigger: h or 0.1?
h
Let d be (-2 - 0)*(0 - (-3)/(-6)). Suppose z = -0 - d. Which is greater: -7/9 or z?
-7/9
Let k(m) = -24*m + 12. Let u be k(4). Let y be (-6)/21 + 32/u. Let z(x) = x**2 + 7*x - 2. Let q be z(-7). Are y and q unequal?
True
Let i = -17 - -186/11. Suppose 5*z - 20 = -4*u, -68 = -5*u - 5*z - 48. Which is bigger: u or i?
u
Let s = -426.9 - -409. Let k = s + 19. Which is smaller: k or 1?
1
Let p be (-2)/(-37) - (-30096)/(-105006). Which is smaller: p or 1?
p
Suppose 2 = 2*k + 50. Let n = k + 27. Which is smaller: 8/3 or n?
8/3
Suppose 11*t - 6*t - 30 = 0. Let n be (-5)/(-20) - t/(-8). Which is greater: 15/8 or n?
15/8
Suppose -2*b = 5 + 9. Let m(k) = -2*k - 11. Let x be m(b). Suppose -3 = x*n - 6. Are n and -3/11 nonequal?
True
Let x be ((-5)/391)/((-20)/5376). Let f = -54/17 + x. Is f at least as big as -1?
True
Let p(n) = -n**2 + 3*n + 2. Let c be p(4). Let b(i) = i**3 + 6*i**2 + 6*i + 1. Let m be b(-5). Let h be 25/15*1 + m. Which is bigger: h or c?
c
Suppose -5*d - y + 31 = -5*y, 1 = y. Suppose 2*u + 0*p + 6 = p, -5*u - 3*p = -d. Let n be (u - 7)/((-8)/(-16)). Is n != -15?
True
Let j be (-144)/14 - 6/(-21). Let k be j/25 - (-24)/10. Let h(x) = 2*x**2 + 7*x + 2. Let n be h(-3). Which is bigger: n or k?
k
Let v(g) = -6*g + 11. Suppose 0 = -2*t, 5*t - 2*t = 4*l - 36. Let i be v(l). Is -43 != i?
False
Let k be 0 + (1 - 2) - 0. Let n be (0/(-1))/((-1)/k). Let b be (341/(-2046))/(((-6)/4)/(-3)). Which is bigger: n or b?
n
Let c be (-1 - 3/(-3))*(-1)/2. Suppose c = 5*v + 2*v. Is 2/243 > v?
True
Let x be 2578/16 - 5/(-10). Let v = -195 + 33. Let i = x + v. Which is greater: i or 0?
0
Let z(g) = 320*g - 12 - 315*g - 36. Let b be z(11). Which is bigger: b or -7?
b
Let p(c) = c**2 + 3*c - 2. Let j be p(-5). Suppose 91 = 8*z + 19. Which is smaller: z or j?
j
Let y(i) be the third derivative of -i**6/120 + 7*i**5/60 + i**4/3 + 4*i**3 - 6*i**2 - 2. Let b be y(7). Is b at most as big as 79?
False
Let l = 2117 + -2069. Which is smaller: 2/25 or l?
2/25
Let c be 244/(-20) + 12 + 428/(-10). Which is bigger: -44 or c?
c
Let k be (-6)/(-9)*36/(-8). Which is smaller: -54 or k?
-54
Let w be ((-144)/45 - -3)*1. Is w < 19/4?
True
Let j = -67 + 55.9. Let g = -28 - -39. Let i = g + j. Which is smaller: i or -4/5?
-4/5
Let r = 83 + -83. Which is smaller: -29 or r?
-29
Let t be (-2 + 5)*1 + 1033. Suppose -4*m = -0*m - 8. Let c be m/7 - 240/t. Is 0 greater than c?
False
Let i = -3 + 3.1. Let b = -4696.01 - -4741. Let m = b + -45. Which is greater: m or i?
i
Let w be ((-26)/(-39))/(4/(-6)). Let r = w - -2. Which is bigger: -1/22 or r?
r
Let c = 440 + -1095. Is -656 not equal to c?
True
Let f be (-10)/((-15)/(-3)) + 147. Is 145 smaller than f?
False
Let k = 124 + -45. Let w be (-2)/((-4)/3) + 4956/64. Let t = k - w. Which is bigger: -1 or t?
t
Suppose 2*m - 3*i = 13, -3*m - 4*i + 5 = 28. Let g(d) = -30*d - 3. Let w be g(m). Which is greater: w or 2?
w
Let c be 8 - ((-128)/24 - -4). Which is greater: 9 or c?
c
Let g = -15 + 21. Let m(b) = 0 + 3 + 11 + 4*b + g. Let y be m(-8). Is -11 greater than or equal to y?
True
Let p(z) = 34*z - 590. Let t be p(32). Is t at least as big as 497?
True
Let v = 6 + 0. Let h = v + -3. Let o(r) = 2*r + 48. Let t be o(-22). Is h <= t?
True
Let g be (-8 - (-1 - 2))*(-4)/4. Suppose g*x = -4*s + 19, -2*s - 4 + 18 = 4*x. Which is bigger: s or 0.4?
s
Let u(k) = 9 - k**2 - 25 - 2*k**2 + 20*k. Let q be u(7). Is -22 greater than or equal to q?
True
Suppose -35 - 314 = 3*n + l, 4*n + 2*l = -468. Let z = 126 + n. Is z at least as big as 11?
True
Suppose 0*w - 2*w + 2 = 0. Let u be (1388/696 - 2)/((-10)/60). Is w > u?
True
Let q be (-1 + 2)*(-1)/(-4). Let w = -8.5 + 9. Let x = 2.5 + w. Which is smaller: x or q?
q
Let w(c) = 2*c + 45. Let j be w(-23). Which is bigger: j or -2/281?
-2/281
Let q be (-168)/(-176) - (-4)/(-10). Let n = q + -3/5. Which is smaller: n or -1?
-1
Let r(t) = t**2 + 10*t + 5. Suppose 3*j + 3 = 0, -4*s = s + 3*j + 53. Let n be r(s). Let o be 0/(-2) - n/95. Which is bigger: o or 1?
1
Let y be (-1 + 0)/((-20)/22). Suppose 34*m - 67 = m - 34. Is m bigger than y?
False
Suppose -m + 4*g + 12 = 0, 34 = -3*m - 3*g + 10. Let c be 1/m + (-2)/(-8). Suppose c = f - 2*f. Does f = -1?
False
Let u = 18 - 13. Let f(l) = l + 9. Let i be f(-9). Suppose -6*d + 2*d + 20 = i. D