 - 4*h + 6 + 7 = 0. Is a less than g?
True
Suppose -4*a - 104 = 3*h, -h + 91 = -39*a + 36*a. Are a and -0.01 nonequal?
True
Let q(g) = 10*g + 3. Let h be 4 + (47/(-7) - (-26)/(-91)). Let x be q(h). Is -27 <= x?
True
Let q = 1791 - 1148. Let l = 3244/5 - q. Is 7 smaller than l?
False
Let o = -985 - -985.006. Which is bigger: 2/3 or o?
2/3
Suppose 3*v - 4 = 2*b + 3*b, -5*b = -4*v + 7. Which is bigger: 18/11 or v?
v
Let u(o) = -o**3 + 14*o**2 - o + 14. Let r be u(14). Suppose -m + 3*m - 16 = r. Let s be -3 + (m/(-6))/(-4). Is -2 at least as big as s?
True
Let p = -481 - -384. Which is smaller: p or -98?
-98
Let u = -417338 - -13770569/33. Let k = 149/3 + u. Which is smaller: 0 or k?
0
Let w = 19 - 4. Let r = -14.94 + w. Let l = r - -1.94. Which is greater: l or 5?
5
Let w(t) = 165*t - 42 - 81*t - 94*t. Let g be w(-12). Is g greater than or equal to -2/5?
True
Let p = 46 + -52. Let u be 1/(-26)*(-3)/p. Which is smaller: -1 or u?
-1
Let r be -1*(-15)/(-5) - 2/(-6). Which is bigger: -1 or r?
-1
Let w = -30 - -49. Let s = w + -22. Which is bigger: 3/2 or s?
3/2
Suppose -3*m = -4*m + 21. Suppose -t - m = 5*l + 3*t, -5*l + 2*t = 27. Let i be l/(-2 + 2 + -1). Which is smaller: i or 4?
4
Let h be 5/(-15) + 158/6. Suppose 4*q + 5*v - h = 0, 2*q - 2*v = -0*q + 22. Suppose q = 4*i - 43. Is i equal to -0.1?
False
Let m(y) = y - 5. Let q be m(5). Suppose b = 3*a - 2*a, q = -2*b - a - 6. Let u be 3/b - (-30)/12. Is u bigger than 1/5?
True
Suppose -6 = 2*v, -2*i + 3*i - 4*v - 17 = 0. Is 40/11 <= i?
True
Let j = -3 + 7. Let x = -3.9 - 3.1. Does j = x?
False
Let z be (-13)/((-130)/480)*(-4)/(-10). Which is greater: 18 or z?
z
Let l be 27/6*6/9. Suppose 0 = -30*m + l*m - 27. Let g be (-3)/23*2/3. Which is smaller: m or g?
m
Let h be 26/10 - (-2)/5. Let b = 3963 - 15845/4. Do h and b have the same value?
False
Let t be 5*(-4 + 5) + -4. Let d be t*1/(54/14). Let n = 433/108 - d. Which is smaller: 4 or n?
n
Let j = 260 + -267. Is j < -7?
False
Let r = 31588/29 - 1089. Let w = r - -197/145. Which is greater: w or 0?
w
Suppose -3*o - u = -20, 0*o + 5*u + 12 = o. Let d be 3/2*2574/27. Let h = 151 - d. Which is bigger: h or o?
h
Suppose -18*y + 55 = -23*y. Are y and 0.06 non-equal?
True
Let o = 9 - 0. Let b = -2 + 0. Let r = o + b. Do r and -1 have the same value?
False
Suppose -43 = -2*k - 3. Suppose -204 = -2*b - 4*t, -2*t - 47 = 2*b - 247. Suppose 8*s = b + 62. Is k bigger than s?
False
Let i(b) = b + 55 - 22 - 28 + 0*b. Let g be i(-4). Suppose 3 = u + 2*f - 0*f, 4*f - 8 = 0. Is g greater than u?
True
Let f = -31119/14 - -2224. Which is smaller: 1 or f?
1
Let w be (-6)/1 + 0/6. Let f(q) = q - 13. Let m(u) = u. Let k(r) = f(r) - 2*m(r). Let j be k(-8). Is w < j?
True
Suppose 3*b + 2*b + 495 = 0. Is -99 at most as big as b?
True
Let w be 10*13/260*12/10. Is 0.1 greater than w?
False
Suppose -4*c = -0*c + 3*p + 4, -5*c = -3*p - 22. Suppose -c*w - 4 = -0*w. Suppose 5*u + 32 - 2 = 0. Which is smaller: w or u?
u
Let z = 4038 - 2812. Does z = 1226?
True
Let n = 63/5 + -121/10. Which is bigger: n or -9?
n
Suppose -3*q = -11 + 8. Let i = -3 + 2. Let v be ((-1)/i + -2)/(-1). Do v and q have different values?
False
Let n(p) = 2*p - 7. Let g be n(6). Let u be g*(0 + -72 + -2). Let a = u - -2594/7. Is 1 < a?
False
Let a(p) = -p**3 + 13*p**2 - p + 16. Let v(l) = -9*l - 5. Let o be v(-7). Suppose o = 4*u - 3*r + 12, -5*u = r - 67. Let i be a(u). Is i smaller than 4?
True
Let t = 0.6 + 3.4. Suppose -140 = 9*g + 427. Let l = g - -62. Which is greater: t or l?
t
Suppose 5*s = -4*f + 7 + 318, 4*s - 4 = 0. Suppose -6*b + b = -f. Suppose -70 = -4*u + 2*v, u - 2*v - b - 3 = 0. Is 18 bigger than u?
True
Let t = -15 + 19. Suppose 0 = -t*j + 3*q - 5*q - 170, 0 = j + 2*q + 44. Is j > -0.1?
False
Suppose 3*u - 4*r = 16, -4*r - 16 = -0*r. Is 3/137 bigger than u?
True
Suppose -6961 - 3590 + 2837 = -133*r. Let b(l) = -57*l. Let p be b(-1). Is p at least r?
False
Let s = 0.4 - -7.6. Let m = s + -3. Let w = m - 16. Which is smaller: w or 0.1?
w
Let m(g) = -g**2 + 10*g - 6. Let f be m(9). Let t(b) = -b**2 + 5*b + 52. Let y be t(14). Let p = y - -72. Which is smaller: p or f?
p
Let o = -7 - -12. Suppose -x + 2*x = o. Let f(i) = 3*i + 2. Let s be f(x). Is 17 > s?
False
Let z = 1 - 23. Let w be ((-69)/(-15))/(((-32)/20)/8). Which is bigger: w or z?
z
Suppose p - 3*q = -2*p - 123, -5*q = 4*p + 119. Suppose -3*d - 74 = 31. Which is smaller: d or p?
p
Let t be ((-2)/(-25))/(117/8745). Let f = t - 76/13. Are 4/5 and f unequal?
True
Let b be (-3 + 3)/(0 - -5). Suppose 4*q - 173 - 163 = b. Which is greater: 85 or q?
85
Let i(k) = -k**2 + 38*k + 94. Let a be i(38). Is a != 92?
True
Suppose -166 = -3*d + 14. Let q be (-1)/4 + (-645)/d. Let a = -13 - q. Is a greater than -1/3?
False
Let j = -7.9 - -9.9. Let d = -2.58 - -0.88. Which is greater: d or j?
j
Let z be 2/(-6) + 24/72. Which is bigger: z or 1/83?
1/83
Let s(v) = -19*v - 75. Let l be s(-4). Which is greater: 1/34 or l?
l
Let l = -0.02 + 0.52. Let i = l + 6.5. Which is smaller: -0.2 or i?
-0.2
Let i = -14 - 6. Let n = -21.6 - i. Let v = -1.3 - n. Which is smaller: 2 or v?
v
Let i = 10 - 1. Let w(d) = -d + d + 2*d + i + 9. Let z be w(-6). Is 7 at least as big as z?
True
Suppose -1213*m + 8 = -1215*m. Suppose k + 0*i + i = -9, 4*i = -k - 24. Is m less than k?
False
Let y = 7/45 + -2/9. Let h = -518 - -519. Is h <= y?
False
Let k be ((-19)/(2223/(-6)))/(2/2880). Which is greater: 74 or k?
74
Suppose 7*y - 4*y = 9. Let u(w) = 10*w - 30. Let x be u(y). Is -15/16 <= x?
True
Let v = 39 - 60.8. Let b = v + 21. Let n = -0.7 - b. Are n and -1/3 non-equal?
True
Let n be (22/220)/((-25)/4). Let v be 2/(-1)*77/(-250). Let i = n + v. Is 2 bigger than i?
True
Let r = 383 - 382. Which is greater: 2/523 or r?
r
Let k(v) = -v + 14. Suppose 59 = 5*h - 11. Let f be k(h). Suppose 3*y - y = f. Is y smaller than 0?
False
Let o = 32.065 - 0.065. Let j = o - 32.1. Let l = -0.4 - -0.41. Is l at least j?
True
Suppose 0*i - g + 3 = 2*i, 3*g + 7 = 2*i. Let j be (3 - i)*2 - 3. Let v = 1995 - 53867/27. Is j less than or equal to v?
True
Suppose 0 = 4*w - w - 21. Let q be 4/(-62) - (7 - w). Is -1 equal to q?
False
Let o(c) = 5*c**2 - 8*c + 6. Let g(a) = -6*a**2 + 8*a - 7. Let j(h) = -4*g(h) - 5*o(h). Let s be j(8). Which is greater: s or -5/8?
-5/8
Let h = -4 - -7. Let p = -4 + h. Let z = 1084 + -1085. Is p not equal to z?
False
Suppose 0 = -4*j - 2*m, -4*j + 7*j = -2*m + 1. Let u be (-25568)/177684 - (-2)/13. Which is bigger: j or u?
u
Suppose 392 = -5*b - 2*b. Let f be (b/70)/((-4)/(-10)). Let u be (f/(-8))/(11 - 12). Is -16 >= u?
False
Let p(n) = -n + 4. Let m be p(2). Let t be ((-3)/(-6)*0)/m. Suppose f - 2 + 4 = t. Is -5/7 >= f?
True
Let z = -282/5 - -56. Which is smaller: z or 120?
z
Let p = 9 - 45. Let y = p + 35. Which is smaller: -8 or y?
-8
Suppose -2*w - 5*z - 2020 = -6*w, -3*w = -4*z - 1514. Let q be (-968)/w + (-4)/(-30). Let y = 116/85 + q. Which is smaller: 8 or y?
y
Let d(q) = -q**2 - 11*q + 48. Let x be d(5). Is x smaller than -38?
False
Suppose y = 5*y - 116. Let q = y + -175/6. Which is bigger: q or -2/5?
q
Suppose 11*o + 32*o - 74 = -31*o. Let f be -12*3*(-2)/44. Is o > f?
False
Let a = 34641 + -2424711/70. Let k = a + 8/35. Does 2 = k?
False
Let r(o) = o**2 + 6*o - 159. Let k be r(-16). Is 4/159 smaller than k?
True
Let g(b) = 3*b**2 + 7*b + 4. Let d be g(-2). Suppose -f - 76 = d*a, -86 = 6*a - 4*a - 4*f. Is -40 at most as big as a?
True
Suppose -4*h + 6*h = y - 2, 5*h - 2*y + 5 = 0. Which is greater: h or 164?
164
Let t be 7/(-42)*3 - (-233)/(-2). Which is smaller: -116 or t?
t
Suppose 3*h + 96 = 4*p, 12 = 2*p + 2*p. Let v be h/154 + (-100)/(-671). Let s(r) = r**2 + 8*r. Let u be s(-8). Is v at most as big as u?
True
Let f(x) = -7*x**2 - 8*x - 3. Let u(j) = 2*j**2 + 3*j + 1. Let t(n) = -4*f(n) - 11*u(n). Let k be t(1). Let y = -4 + k. Which is smaller: y or 1?
1
Let a(w) = 2*w + 15. Let h be a(-6). Suppose 4*q + 40 = -4*n, -3*q - h = 4*n + 31. Is q <= -4?
True
Suppose 0 = 5*g + 2*w - 421 - 14, 160 = 2*g - 2*w. Is 89 greater than g?
True
Let p be -62*((-3)/2 - -1). Let y be -62*(5 + 1 - 26/4). Is p at most y?
True
Suppose 40 = -p + 44. Suppose -p*l - 8 = 3*o + o, -o + 3*l = -10. Is -2/33 greater than o?
False
Let s(b) = 6*b**2 + b + 1. Suppose d - 3 = r + 2*r, 