/30). Which is smaller: n or -1?
-1
Let a = -1404320277/87126490 + -3/792059. Let j = a + 174/11. Let z be ((-15)/30)/(1/2). Is z at least j?
False
Let t = -309 + 285. Are t and -29 equal?
False
Let u = 31 - 28. Let z = -2.4 + u. Which is smaller: 1 or z?
z
Let d(f) = f**3 + 4*f**2 - 4*f + 6. Let t be d(-5). Let m be 9*1 - 6/((-3888)/(-5838)). Is t at least m?
True
Let b(m) = 3*m + 72. Let o be b(4). Let v = 58/3 + -20. Do v and o have different values?
True
Let t = 76 + -72. Suppose 3*s + 0*d + 2*d = 30, -t*d + 40 = 4*s. Which is greater: s or 7?
s
Let r(f) = -2*f**2 + 1. Let j = 4 - 6. Let l be r(j). Let b = -7 - l. Are 1/15 and b unequal?
True
Let b be (-4)/5 - (-692)/880. Is b != 1?
True
Let j be 3045/(-20) + (-6)/8. Let f be (1/3)/(119/j). Do 0 and f have the same value?
False
Let m = 26 - 102. Let h = 78 + m. Is -5 <= h?
True
Suppose -5*t - 3*h + 0*h + 9 = 0, 2*h = -t - 1. Is t <= -0.78?
False
Let u be (-1)/3 - (1 + (-18512)/13848). Are u and -1 nonequal?
True
Let d = -134.21 + 1.21. Let r = -88 - d. Which is bigger: 1/4 or r?
r
Let w = 4223521877/89 - 47454717. Let t = w - 585. Which is smaller: t or 0?
t
Let h be (-24)/(-16)*(-118)/(-3). Suppose -4*b + 3*q - h = 0, -5*q = 4*b - 2*q + 29. Which is greater: -12 or b?
b
Let o(f) = -f**3 + 10*f**2 + 6*f - 24. Let q be o(12). Is -240 greater than q?
False
Let c = 329 - 335. Which is smaller: c or 7?
c
Let t = 313/295 + 20/59. Which is smaller: t or 1?
1
Suppose -3*z - 3*v = 18, 0 = 4*z + 5*v + 5 + 21. Let s be ((-2)/(-6))/(-3 + 0 - z). Is 7 at most s?
False
Let n = -44 - -30. Which is smaller: n or -10?
n
Let h be (-5 + 4)*1 + (50 - 1). Does 48 = h?
True
Suppose 0 = 4*i - 10*q + 8*q + 12, -3*i + q = 7. Does i = 3/629?
False
Let l be (-1 - -1)*(2 + 18/(-12)). Let m be (3 - -1) + l + -3. Is 9/4 at least m?
True
Let b = 5 + -3. Suppose 2*g + d - 2 = -0*g, 4*g - d + b = 0. Let a = 0.97 - 1.07. Which is smaller: g or a?
a
Let k be 145/(-2)*18*(-12)/36. Which is smaller: k or -1?
-1
Let t be (-1 + 0)/(1 + 0). Let x be (-27)/(-18)*(t - -3). Suppose b = 3*b - 2. Is x bigger than b?
True
Let w = 30 + -13. Suppose -2*h = 5*c + w + 5, 5*c = -h - 21. Let a(z) = z**2 - 4*z + 2. Let n be a(3). Is h not equal to n?
False
Let u = 12.65 - 0.65. Let s = 10 - u. Which is smaller: 2/21 or s?
s
Suppose 3*s - 51 = 3*h, 4*s - h = h + 60. Is -5 <= s?
True
Let f(q) = -q**2 - 30*q + 192. Let k be f(-35). Do -3 and k have different values?
True
Let i be ((-7)/2)/(18/(-36)). Let l = -9 - -9. Is l greater than i?
False
Suppose f - 2*f + 3*l - 73 = 0, -3*l = f + 103. Are f and -86 unequal?
True
Let v = -46.36 + 46. Let m = 0.46 + v. Is m < 0.1?
False
Let o(c) = c + 5. Let z be o(-3). Which is bigger: z or 30/29?
z
Let l(x) = x**3 - 9*x**2 - 12*x + 20. Let k be l(10). Do 12/55 and k have the same value?
False
Suppose -3*z - 2*z = -50. Suppose z*q - 6*q - 28 = 0. Are q and 0 equal?
False
Let y(s) = -s**2 + 2*s + 20. Let v be y(5). Suppose -v*q = 5*x - 75, 2*q - 4*x = 1 + 11. Suppose 0 = -0*f + f + 4*t, 2*t = -6. Is q equal to f?
True
Let a(j) = -13*j**2 - 25*j + 30. Let l(w) = 5*w**2 + 8*w - 10. Let v(o) = 3*a(o) + 8*l(o). Let y be v(10). Which is smaller: -1/86 or y?
-1/86
Let c = -9/8 + 5/8. Let y = 3.3 + -0.1. Let j = -0.2 + y. Is j less than c?
False
Let h = 137 - 961/7. Let d = 604.29 + -604.8. Is d != h?
True
Suppose 0 = 4*n + 3*x, -2*n + 156*x = 155*x. Suppose a = 4*d, -5*d + 6 = -4*a - 5. Let f be -1*1*d/(-3). Which is smaller: n or f?
f
Let n = -10326 + 134266/13. Let m(l) = l - 3. Let q be m(6). Which is smaller: q or n?
n
Let p = -2093 - -2090. Are p and -9/8 nonequal?
True
Let s = 176 - 97. Which is smaller: s or 78?
78
Suppose 30*i = 17*i + 14*i. Which is smaller: i or 2/877?
i
Let c(b) = b**2 + b - 3. Let t be c(-3). Suppose 10 = 5*w - w - 2*z, 0 = 3*w - t*z. Let y be 10/(-3)*(-39)/26. Is w != y?
False
Let y(t) = -70*t - 1237. Let z be y(-19). Let h = -96 - -189. Are h and z nonequal?
False
Let o = -735.13 + 723. Let v = 12 + o. Do v and -2/7 have the same value?
False
Suppose 14*g = 65*g + 51. Let t = 17 - 29. Is t at least g?
False
Let b = -27 - -33. Let l = b - 5.2. Let d = 1 - l. Which is bigger: d or 3?
3
Let u be 16/6*45/(-12). Is -10 less than u?
False
Suppose y - 2*l + 10 = 0, -6*y + 3*l = -3*y + 15. Which is greater: y or 10?
10
Suppose -2*y + 52 = 4*k, 5*k - 3*k = -4*y + 14. Let f = -107/7 + k. Which is greater: -93 or f?
f
Let s(u) = -u**2 + 10*u + 13. Let r be s(11). Suppose r*t + 7 = -1. Suppose -4*j + 28 = -11*j. Is j bigger than t?
False
Let n be ((-1)/3)/(52/1560). Which is greater: n or -11?
n
Let p be (-4)/(-6) + 15/45. Let m = 5/11 + -59/154. Is m smaller than p?
True
Let v be 29/(-116) + (-19)/52. Which is smaller: v or 14?
v
Let m be 9/(-5)*(58 + -63). Which is bigger: m or 16?
16
Let s(u) = 3*u**2 + 12*u - 13. Let c(f) = -f**2 + f - 1. Let m(o) = 2*c(o) + s(o). Let n be m(-15). Which is smaller: -4/15 or n?
-4/15
Let l be (8/48 + 1/3)*0. Does -2/51 = l?
False
Let s = -3671/4 - -919. Are s and -1 non-equal?
True
Suppose 9 = 5*y + 3*p, 35*p - 9 = -y + 32*p. Is -3/251 > y?
False
Let i(p) = -48*p**3 - 4*p**2 - 8*p + 12. Let g be i(2). Which is smaller: -403 or g?
g
Let t = -50 + 34. Let x be 4*2*26/t. Let d = x - -14. Is d >= -1?
True
Let z = 42/65 - 4/5. Let a = 19 - 19. Is z > a?
False
Let p be (10/(-30))/(2/(-12)). Let v(x) = 2*x**2 + 15*x - 9. Let h be v(-8). Which is bigger: p or h?
p
Let o = 2018 - 1656. Is o bigger than 363?
False
Suppose -6*q - 3 - 3 = 0. Let b(h) = -h**3 - 2*h**2 - 2*h - 1. Let d be b(q). Which is bigger: 2/9 or d?
2/9
Suppose -4*i = -4*d + 16, -d + 15 = -3*i + 3. Let l(u) = -u + 10. Let c be l(i). Is 1 smaller than c?
True
Suppose 4*j + 0 = -4. Let v = -7/113 - 1265/1469. Which is greater: j or v?
v
Let y be 1662/34 + 39/(1989/6). Is 40 at least y?
False
Suppose -4*m + 73 = 29. Let o = m + -11. Do o and 5/8 have the same value?
False
Let h = -355 - -638. Is 283 greater than or equal to h?
True
Let a = 1 - 7. Suppose 17*r = 13*r - 80. Let v be (a/r)/(99/(-12)). Is v > 1?
False
Let u = -7.225 + 0.225. Which is smaller: 9 or u?
u
Suppose -h = -2*h + 13. Suppose -4*x + 0*s = s - h, 0 = -4*x + 5*s + 7. Let r = 73 - 364/5. Is x at least r?
True
Let l = -660 + 71938/109. Is 0 >= l?
True
Let x = -33960/77 + 5304/11. Is x < 42?
True
Suppose 0 = 2*i + 2*i + 80. Suppose v - 68 + 86 = 0. Is i at most as big as v?
True
Suppose 0 = 5*z + 2*t - 3, 0 = -3*z + 3*t - 0 - 15. Suppose 670 = 6*d - 716. Let r = -5773/25 + d. Which is bigger: r or z?
r
Let w(s) = -s**3 + 6*s**2 - 2*s + 2. Let n(d) = d**2 - d + 1. Let c(t) = 4*n(t) - w(t). Let a be c(2). Let b = a - -5. Which is greater: 13/5 or b?
b
Let b = -0.03 + 0.07. Let i = 1.96 + b. Let w = i + -1. Which is smaller: -7 or w?
-7
Let p = -91 + 73. Let y = 13 + p. Is y greater than 2?
False
Let i be (156/30 - 5) + 1116/20. Does i = 56?
True
Let y = -201 + 194. Let v(h) = -5*h + 3. Let q be v(2). Are q and y nonequal?
False
Suppose 0*d - 8*d - 504 = 0. Let w = 63 + d. Is w <= 8/33?
True
Let g(q) = 7*q + 15. Let s(b) = 3*b + 7. Let v(w) = -6*g(w) + 13*s(w). Let m be v(-6). Let a = m + -56/3. Which is smaller: -1 or a?
-1
Suppose 0 = -4*h + 3*t - 172, -h - 56 = -26*t + 22*t. Let i(r) = -12*r - 3. Let d be i(3). Is d greater than h?
True
Let v be (-414)/(-24) - 3/12. Let y be (-6)/27 - v/(-36). Is y less than or equal to -3?
False
Let s = 627 + -613. Which is smaller: 0.4 or s?
0.4
Let p = -3/34 + -474/119. Which is greater: -3 or p?
-3
Let z = 141 + -110. Is z greater than 354/11?
False
Let i = -1742 - -1744. Which is bigger: i or -4/17?
i
Let u(q) = 3*q + 15. Let f be u(-20). Let n = f + 44. Let d = 832/5 - 168. Which is smaller: d or n?
d
Let z = -1479 - -1479. Which is smaller: 1/647 or z?
z
Suppose 0 = 2*s - 6*s + 24. Do s and 2/111 have the same value?
False
Let h = 29.039 + -0.039. Let b be (27/18*-12*(-2)/9)/(-14). Is h at most as big as b?
False
Let m be -23 - (0 + (-10)/5). Let f = 20 + m. Let g be (8/(-120))/((-4)/5). Which is bigger: f or g?
g
Let v = 31.6 - 30. Let w = 1.5 - v. Is -5 <= w?
True
Let z(j) = -j**3 + 13*j**2 + j - 19. Let d be z(13). Let t be 4/6 - (-238)/(-42). Which is bigger: t or d?
t
Suppose -7*y = -5*y + 6. Suppose 0 = -2*f - 3 - 9. Let l be 8/f*y/18. Which is bigger: l or -2/21?
l
Let n = -114 + 89. 