 4*l - 4*r = 10 + 2, -11 = -3*l + r. Let a be l*((-10)/4)/5. Is 0 greater than a?
True
Suppose 10*z - 5*z = 0. Which is bigger: z or 2/179?
2/179
Suppose -25 = t - 2*t + 3*o, 2*o = 5*t - 60. Let h be (-10)/12*(-4)/t. Which is smaller: h or 0.05?
0.05
Let u(j) = j + 6. Let n be u(-3). Suppose 0 = -n*b - b - 4. Which is greater: b or -1/3?
-1/3
Let c be 8/64*-1*-6*1. Let t = -0.3 - -0.4. Which is bigger: t or c?
c
Let y be (-2)/((-2)/2) - 0. Let v be (12/15)/(y/5). Suppose -v = -2*q + q. Is 8/7 not equal to q?
True
Let a be ((-2)/6)/((-14)/6). Suppose -5*y = -3*g, -5*g = -3*y - g. Is a < y?
False
Let t = -302213/3270 - -13/654. Let f = 92 + t. Which is greater: f or 0.2?
0.2
Let l = -40.9 + 44. Let u = l + -0.1. Which is greater: u or -1?
u
Let x be 8/36 + (-4)/18. Suppose 2*m + 0*m = x. Let h = m - -3. Is 4 at least as big as h?
True
Let t = -1.2 + 2. Let c = -0.9 + t. Is 1 > c?
True
Let t be -2 - (-4 + (-1 - 2)). Suppose -5*r + 80 = 3*c, 0 = -5*r - 7*c + 2*c + 70. Suppose -4*a + 1 + r = 0. Is t > a?
False
Let t = 10 - 8. Suppose -4*a - 1 = 3*x, -t*a + 2 = a + 5*x. Which is bigger: -6/11 or a?
-6/11
Let x(n) = n**3 - 9*n**2 - 11*n + 9. Let h = 30 - 20. Let k be x(h). Is k smaller than -1/4?
True
Let f(b) = -2*b + 9. Let l be f(4). Which is greater: 6/5 or l?
6/5
Suppose -4*h + 0 = -4, -4*b + 3*h = 19. Let j be (-4)/(-18) - (-67)/(-18). Are b and j unequal?
True
Let t = -22 - -24. Is 2/9 at least as big as t?
False
Suppose 55 = -5*x + 3*y, -x + 85 = -6*x - 3*y. Let a = x - -24. Are 10 and a equal?
True
Let s(z) = z. Let i(j) = -4*j + 1. Let t(n) = i(n) - 3*s(n). Let m(u) = -u + 1. Let o(c) = 6*m(c) - t(c). Let p be o(-4). Which is bigger: 0.2 or p?
p
Suppose -7*h + 2*h = 10. Let k be (-22)/24 + h/(-3). Let b(a) = a**3 + 6*a**2 + 6*a + 6. Let f be b(-5). Which is smaller: f or k?
k
Suppose -4 = -2*n, 0 = -3*p + 4*p + 2*n - 62. Is p at least as big as 59?
False
Let j = -0.68 - 18.32. Is j greater than 0.3?
False
Let p(w) = -w**3 + 3*w**2 - 4. Let l be p(3). Let g = -24 + 55. Suppose 5*q = -3*a - g, -6*q = -2*q + a + 22. Which is bigger: l or q?
l
Let a = -28 + 20. Let m be (-186)/8*10/(-30). Let r = a + m. Is r smaller than 1?
True
Let l(j) = 14*j**2 + 2*j + 1. Let s be l(-1). Let h be (-4)/(-5) + s/(-65). Which is smaller: h or -1/2?
-1/2
Let g = -73 + 74. Which is bigger: g or -4/45?
g
Suppose 4*a + 0 = -4*j - 4, j = -3*a + 9. Let l be 92/84 + 4/j. Let b(s) = -s**3 - 9*s**2 - 8*s. Let z be b(-8). Which is greater: l or z?
l
Let x(r) = -r + 8. Let n be x(7). Suppose -18*q - 17 - 1 = 0. Is q > n?
False
Let k(n) = -n**3 - 7*n**2 - 2. Let x be k(-7). Is x less than -2?
False
Let s be 3 - (-133)/(-30) - 3/(-5). Is 1 not equal to s?
True
Let y(g) = 41*g**3 + 2*g**2 + g + 1. Let l be y(-2). Let j be (l/(-2))/(36/16). Let x = j + -72. Which is smaller: -0.1 or x?
x
Let r = -18 - -5. Let z = -8 - r. Let a = -3 + z. Is a smaller than 1?
False
Let u(p) = -p - 4. Let b be u(0). Suppose -14*r = 2*r + 64. Is b < r?
False
Let x be (-13)/21 + (-10)/(-30). Which is smaller: x or 0?
x
Let i be (-8)/(-6) + (-2)/(-3). Suppose 0*q + i*q - k = 0, 0 = -3*q - 4*k. Which is greater: 4/7 or q?
4/7
Let t be (-1 - 3)*2/(-2). Suppose 2*v - 4*v - 3*c - 4 = 0, -t*c - 17 = 5*v. Do -4 and v have different values?
True
Let p = -8 - 59. Which is smaller: -66 or p?
p
Let b(p) = 0*p**2 - 14*p + p**3 + 0*p + 16 + 14*p**2. Let h be b(-15). Is h at most as big as -4/11?
False
Let s = 10 - 21. Let w = -11 - s. Which is bigger: -1 or w?
w
Let g be 5/(-10) + (-3)/(-2). Which is smaller: 2 or g?
g
Let o = 21 - 10. Suppose -5*j + o = 1. Let v = 13/5 - 57/20. Which is smaller: j or v?
v
Let o(k) = 2*k**2 - 2*k + 1. Let y be o(2). Let h = y - 5. Let t = 891/7 - 127. Are t and h equal?
False
Let j = 280369/3627 - 1005/13. Is j greater than 0?
False
Let g(t) = -t**3 - 7*t**2 - 6*t + 2. Let a be g(-6). Let w = 15 - 18. Which is greater: a or w?
a
Let i be -4*(4/(-12) - 19/(-66)). Which is smaller: i or 11?
i
Let l be 2/(-3)*(1 + 2). Let c(r) = -r**2 + 4*r + 7. Let o be c(5). Suppose o*k - 6 = 4*k. Is l at most k?
False
Let t(x) = 3*x - x**2 + 3*x - 4*x. Let l be t(3). Is -1 >= l?
True
Suppose 5*y = 11 - 1. Let p be -1 + -6 - (-1 - y). Let q be (0 - 2)/(p + -34). Is q at least as big as 0?
True
Suppose 44 = 3*h + h + 2*c, 20 = 4*h - 4*c. Let y be h*-2*(-3)/18. Suppose 0 = 3*a - 4*a + y. Are 2 and a non-equal?
True
Let m = 0.28 + 11.72. Let u = m + -14. Is u at most as big as -0.2?
True
Let s be 7/(-14)*1/(-4). Which is greater: 1 or s?
1
Suppose 0*q = -2*q. Which is bigger: 2 or q?
2
Let j be 14/2 - 0 - 4. Is 5/2 at least j?
False
Suppose 0 = 3*f - 5*l + 13, 0*f - 7 = -3*f - 5*l. Let q = f - -4. Suppose -q*x = 5 - 14. Is 2 less than x?
True
Let o = -108.61 - -108. Let v = o - -0.11. Which is smaller: 0.2 or v?
v
Let g = -2 - 1. Let n = g - -3. Let x = -0.1 - n. Are x and -3 non-equal?
True
Suppose -3*u = 6, -4*y - 3*u - 10 - 8 = 0. Let z = y - -3. Is 2/7 greater than z?
True
Suppose -5*b + 2*b = -15. Are 3 and b equal?
False
Suppose -2*z + 50 = -5*r + 3*z, 2*r + 5*z = 15. Is -10 not equal to r?
True
Let y = 548/10179 + -2/783. Which is greater: y or 0?
y
Let y = 0.92 + 0.08. Let s = 0 + y. Is 0.6 > s?
False
Suppose 0 = -5*x - 5 - 5. Let d = -3 - x. Let y be (10 - 10)/((-2)/d). Is 2 equal to y?
False
Let f = 137 + -138. Are -10/33 and f equal?
False
Suppose 2*o + a = -129, -3*a + 4*a = 3. Let v be (-45)/o + (-1)/2. Let k = v + 8/77. Is -1 at most as big as k?
True
Suppose 1 = v + 6. Let d be (-19)/4 + v/20. Which is bigger: -6 or d?
d
Let k = -29 - -30. Is k smaller than -1.3?
False
Let h = 35.2 - 35. Is h <= -0.9?
False
Let x(w) = -2*w + 27. Let z be x(11). Suppose 3*c + 39 = -z*y, -y - 8 = y + 5*c. Which is smaller: -10 or y?
-10
Suppose 3*i = -s - 2, i - 5 = s - 7. Let h = -151/429 - -4/33. Which is bigger: s or h?
s
Let n be 13/22 - 5/10. Is n != -1?
True
Suppose 2*u + 3 = 9. Let j(h) = 2*h - 1. Let x be j(u). Suppose -4*d + 25 = -x*l, -21 = 5*l + 4. Is 0 > d?
False
Suppose 0 = -o - 3, -2*i = i + o - 3. Let k be -3*(-1)/3 - -2. Suppose -2*r = -4*t - 3*r + 14, -4*t + k*r + 6 = 0. Is t at least i?
True
Suppose 2*r = 3*a, 5*a = 5*r - r. Is -4/3 not equal to a?
True
Let f(l) = l**3 + 2*l**2 - 2*l + 4. Suppose w = -t - 0*w - 2, 5*w - 20 = 5*t. Let g be f(t). Which is smaller: 2/77 or g?
2/77
Let a = -1.6 - -17.6. Which is smaller: -2/9 or a?
-2/9
Let x be 1 + (0 - (-4)/(-6)). Are -1 and x equal?
False
Suppose -2*h + 5*k + 12 = 0, -3*h = -8*h + 5*k + 15. Let o(f) = -4*f**2 + 3*f + 3*f**2 + 0 - 6 + 4. Let c be o(2). Which is smaller: h or c?
c
Let a(p) = p**2 - 11*p + 7. Let q be a(7). Let c be q/(-6) - 6/4. Suppose -y = 2*r + 6, -c*r + 2 + 4 = -5*y. Are -2 and r equal?
True
Suppose -c - 2*c + 5*n - 13 = 0, -3*c = -2*n - 2. Suppose -c*b + 12 = a, b - a = -5*a + 18. Suppose b*j - 5*j = 9. Do j and -3 have the same value?
True
Let j = -3484/9 - -388. Is j equal to 0?
False
Let h be (4/72)/(9/12). Which is smaller: -0.1 or h?
-0.1
Suppose 5*y = -4*b + 423, -4*b + 5*y + 399 + 74 = 0. Which is greater: 113 or b?
113
Let u(r) = -r + 2. Let s be u(-6). Let n(a) = -a + 6. Let c be n(s). Let m be (-6)/(-45)*(-9)/(-3). Is c greater than or equal to m?
False
Let z(n) = -n**2 - 5*n + 2. Let d be z(5). Which is bigger: -1 or d?
-1
Let o be (-2)/(-8) + 7/(-60). Let f = -1 - 0. Is o less than f?
False
Suppose 2*o + 0*o - 6 = 0. Let c = o - 4. Let p be (2 - (-4)/(-2))*c. Is p > 1/3?
False
Let l = -1.4 - 8.6. Are l and -2 non-equal?
True
Let o(w) = w**3 - 2*w**2 + 3*w. Let a be o(2). Let f be ((-2)/(-10))/(a/10). Which is smaller: f or 0.3?
0.3
Suppose -8*k - 275 = -13*k. Which is greater: 54 or k?
k
Let k = 31 + -31. Is 1 less than k?
False
Let k = 0.5 + -2.5. Is k bigger than 1/2?
False
Let w be (-2 + 1)*4*3/(-9). Suppose 3*u - 4*t = -5 + 3, -2*t = 2*u - 8. Which is greater: w or u?
u
Let m = 6727 - 19975/3. Let t = -5971/87 + m. Which is bigger: t or -1?
t
Let a = -0.12 - 0.58. Let j = 0.6 + a. Which is greater: -2 or j?
j
Let v be 3/7 - (-2)/(-7). Let o = 0.29 - 0.4. Let p = o - -0.11. Does v = p?
False
Let y(h) = h**3 - 4*h**2 - 4*h - 28. Let v be y(7). Which is smaller: 90 or v?
90
Let d = -150 + 121. Is d at most as big as -0.1?
True
Let u = -118 - -118. Which is bigger: u or 75/7?
75/7
Let l = -4 - -12.