q + 54 - 283 = 3*a, -4*a + 8 = 0. Let u(m) = -m - 47. Let f be u(0). Is q greater than f?
False
Let k = 358 - 388.7. Let l = -31 - k. Let r = l - -0.1. Which is smaller: r or 0.08?
r
Let f be (4/(-7) - (-1776)/(-14))*6/12. Which is greater: -63 or f?
-63
Let i = -534 + 867. Let n = i - 328. Which is bigger: n or 1?
n
Let n = 31 - 31. Which is bigger: -10/593 or n?
n
Let j = -250.21 + 200.91. Which is bigger: 1/3 or j?
1/3
Let v(s) = -s**2 + 12*s - 34. Let q be v(7). Let h be (14 + q)*28/3612. Is h > 0?
True
Let i be ((-6)/(-35))/(-4*(-18)/(-40560)). Which is smaller: -98 or i?
-98
Let b be ((-3720)/(-462) + -8)*(-14)/(-4). Which is bigger: 33 or b?
33
Let t = -2393315/123 + 19458. Is t at most as big as 0?
False
Let u = -554367/6802 - -2/3401. Let f = -232 + 149. Do u and f have different values?
True
Let a be 732/(-14) - (-2)/7. Suppose -15*h - 5*r = -11*h + 233, 151 = -3*h + r. Is h smaller than a?
False
Let l = -10 - -6. Suppose -4*v - 25 = -5*o - 17, -v = 12*o + 55. Is l bigger than v?
True
Suppose p - 4*g + 520 = 0, 4*p - 3*g + 10925 - 8923 = 0. Which is bigger: p or -502?
p
Let p be 4/((-24)/6)*-297. Suppose 53*l - p = 64*l. Are -7 and l non-equal?
True
Let d be ((-6)/4)/(6/5*1745/11752924). Is d at least as big as -8419?
True
Let h be (6/16)/(21/7). Suppose 8*o = 3*o - 5. Let k be 3*o - 175/(-63). Which is greater: k or h?
h
Let m be (-15020)/(-390) - 10/6. Let u = 37 - m. Which is greater: u or -0.1?
u
Suppose -2*l - l = -3*m, -l = 5*m - 24. Let c be (1/((-4)/12))/(6/(-14)). Suppose c - 3 = -4*u, 2*w + 5*u - 21 = 0. Which is bigger: m or w?
w
Let d(o) = -7*o + 1. Let x be d(6). Let b be (4/3)/(134/(-1407)). Let u be 65/(-2)*((-924)/55)/b. Which is bigger: u or x?
u
Let g be ((-84948)/(-42))/(24/(-20)). Let d(j) = -15*j**2 - 12*j - 2. Let i be d(-11). Let t = g - i. Which is smaller: -1 or t?
-1
Let h = 30 + -4. Suppose 24 = 11389*p - 11365*p. Which is smaller: h or p?
p
Suppose -2*g - 26 = f - 5*f, 0 = 5*f + 5*g - 40. Let a be 205/f + 26/(-91). Let q be 6/(-16)*a/87. Which is smaller: q or 0?
q
Let y = -2/839 + 8428/15941. Let k(g) = 39 - 40 + g - g**2 + g. Let z be k(1). Are y and z nonequal?
True
Let v be (-343)/2695*11 + 1/(-1) + 2. Which is bigger: v or -3382?
v
Let g = -12151 + 11899. Which is bigger: g or -245?
-245
Let q = 231 - 259. Let x be (q/(-70))/((4/(-10))/(-2)). Let d be -2 + 1 - (11 + -1). Is x at most as big as d?
False
Let c = -37928 + 30690. Is -7238 at most as big as c?
True
Let c = 91.9 - 81.64. Let n = -10.46 + c. Let y = 51071/84 - 608. Which is bigger: y or n?
y
Let x = -14/19 + 281/304. Let k be 1389/33 - (-25)/(-275). Let o be (49/k)/(-7) + (-2)/(-12). Are o and x equal?
False
Let y = -80 - -71. Let g be 3/y - (0 + 49/(-133)). Which is smaller: g or 1?
g
Suppose 19 - 97 = -13*c. Let a be (-9)/c*(-2)/(-8). Suppose -5*w - 3*n - 2*n + 15 = 0, 3*n - 13 = w. Are w and a unequal?
True
Let c(i) = -15*i**2 - 253*i + 252. Let w be c(1). Which is greater: w or -151/9?
w
Suppose -100*t + 3*c + 210 = -97*t, -5*t = 3*c - 342. Which is bigger: 33 or t?
t
Let m = 11701 + -11793.03. Let q = 91 + m. Which is bigger: 2/7 or q?
2/7
Suppose -2297 = -4*o + 115. Suppose 0 = 3*q + o - 615. Let g = 9.92 - -0.08. Is q bigger than g?
False
Let h be (2/(-4) - (-5)/20)*2. Let f be (2/12)/(1/(-2)). Which is greater: h or f?
f
Let l = -9524975176/53009 - -179686. Which is greater: l or -1?
l
Let t = -553 - -376. Let g = 60782 + -60783. Is t > g?
False
Let h = 44/105 - 16/7. Let a(b) = 5*b**2 - 25*b + 9. Let p(m) = m**2. Let j(n) = a(n) - 3*p(n). Let s be j(12). Is h > s?
True
Let p = 88 + -85.776. Which is bigger: 0.1 or p?
p
Let d = 16 - -27.5. Let j = 43 - d. Let k = 79 + -82. Are j and k equal?
False
Let v(f) = -47*f - 1623. Let w be v(-34). Let p = -30420/473 + 1710/43. Is w bigger than p?
False
Let y be 906/22 + (-94)/517. Suppose y*o + 90 = 36*o. Which is smaller: -16 or o?
o
Let s be 136944/342363 + 3 + (-51)/15. Let j = s - -5042436447/17688755. Let r = 285 - j. Which is bigger: r or 1?
1
Let k = 7236 - 7236.5. Let c = 3 + -3.1. Is k greater than c?
False
Let x = 1/4 - 13/20. Let d(a) = -a**2 - 12*a - 7. Let b be d(-10). Let o(j) = j**3 - 13*j**2 - j + 14. Let c be o(b). Which is bigger: c or x?
c
Let n = -2/82229 - -580011/181232716. Which is bigger: n or -1?
n
Let d = 358 + -350. Suppose n = -d*p + 13*p + 14, 3*n + 3*p + 12 = 0. Which is smaller: n or 5/27?
n
Suppose 19*h = -0*h + h - 8082. Which is smaller: h or -448?
h
Let x be (6086/(-2448))/(1/2) - (-10)/45. Let p be -3 + (-1 - (2 - 3)). Does p = x?
False
Suppose -1645*q + 1622*q + 759 = 0. Do 32 and q have the same value?
False
Let k(h) = 60*h**3 - 4*h**2 - 8*h - 3. Let r be k(-3). Is r at most as big as 1/5?
True
Let y be ((-3857)/114)/((-3)/39). Is y less than or equal to 440?
True
Suppose 4*u = -3*i + 162 - 137, -4*u + 39 = 5*i. Which is smaller: 1.1888 or u?
u
Suppose 22*q - 147 = -37. Suppose -q = -3*k + 7. Is k < -14?
False
Suppose 3*o = -9, 2*n - 3*n + o - 26 = 0. Let s = n - -26. Which is smaller: -11/6 or s?
s
Let n = -1377.3 - -1308. Let j = n - -12.3. Let k = j + 57.4. Is -0.2 greater than k?
False
Let m(j) = j**3 - 14*j**2 + 22*j + 29. Let b = -15 - -27. Let t be m(b). Suppose 0 = t*z - 4*z. Is z greater than or equal to -16/11?
True
Let o be 7830/(-60)*2/3. Is o less than or equal to -972/11?
False
Let v(f) = f**2 + 8*f + 6. Let z be v(-7). Let q = 81493/5230300 + -1/27100. Which is bigger: q or z?
q
Let n(b) = -2*b**2 + 541*b + 38. Let f be n(0). Suppose -90 = -3*r + 21. Which is bigger: r or f?
f
Let y = -166869919/2123 + 78601. Does y = -1?
False
Let h = 6391 + -121574/19. Are -7 and h non-equal?
True
Suppose -10*q - 79 = 21. Let p(z) = -z**3 + 8*z**2 + 2. Let b be p(8). Suppose -v = -4*f + 29, -f - 8 = b*v + f. Is v greater than or equal to q?
True
Let i(j) = -j**3 + 8*j**2 - 2*j + 12. Let c be i(8). Let l = 3 + -9. Let p be (5 + -3)*l/c. Is 9/4 bigger than p?
False
Let y = -7.3 - -7.45. Let v = 0.2 + y. Let f = 1.25 + v. Are 0.2 and f nonequal?
True
Let g = -123 + 105. Let v(o) = o**2 + 4*o - 1. Let i be v(-5). Let p be i + -1 + -19 + -2. Is g not equal to p?
False
Let x(w) = -2*w**2 + 14*w + 30. Let q be x(-3). Suppose 0 = -5*j + 29 - 44. Are j and q nonequal?
True
Suppose -5*x + 3*x - o - 19 = 0, 0 = 2*x - 3*o + 23. Let s be 123/(-39) - x/65. Let p(z) = 4*z**3 + 2*z**2 - 8*z - 22. Let q be p(s). Is -88 greater than q?
False
Let j = -37 + 39. Suppose -j = k - 12. Let c be ((-20)/(-250))/(8/k). Which is bigger: c or 0?
c
Let u be -2*(-26 + 729/27). Which is smaller: u or -462/155?
-462/155
Suppose 0*f - 5*f = 10. Let t be (-6)/(0/4 + f)*1. Suppose 0 = -t*n + 3*d + 54, 2*d + 85 = 5*n - 2*d. Are n and 13 equal?
True
Let q(d) = 101*d + 2038. Let l be q(-20). Do l and -13 have the same value?
False
Let v be -1*(21/48)/(-7). Suppose -u - 11 = 4*l, 5*l + 2105 = -4*u + 2094. Which is greater: u or v?
u
Suppose -16*w + 17*w = -10. Let q be (-14 - w) + 5544/1679. Let g = 70/73 + q. Which is greater: 0 or g?
g
Let j be (-2 - -2 - 0)*(4 - (-70)/(-20)). Let d = -87.095 + 0.095. Let g = d - -49. Which is greater: j or g?
j
Suppose -15 = -3*u - 3*j, -2*u + 0*u + j - 5 = 0. Let n be 3*7/14*18/9. Let v be 4/110*(1/n + u). Is 0 >= v?
False
Suppose -45*z - 70 = -50*z. Suppose 4*o - 2*g - 2 = 0, g + 4*g + z = o. Let v be (12/30)/(o/(-30)). Is v at most 11?
False
Let w = -2810552096/11907 + 236042. Which is greater: w or 1?
1
Let j(w) = w**2 - 3*w. Let q be j(4). Let b = 744.92 + -799. Let l = -54 - b. Is l greater than q?
False
Let i be (-3)/(1 - (1 - 1)). Let v = 1.139 - 1.1611. Let l = v - -3.0221. Are l and i non-equal?
True
Let v be (-47198)/401472 - ((-4738)/391 - -12). Are v and -0.1 unequal?
True
Let p be 14 + (-35)/14*6/5. Suppose -5*q + 0*q = -4*i - 21, -2*i = -3*q + p. Is q bigger than -6/61?
True
Suppose -51 = n - 18*n. Suppose -3*z + 195 = 3*x - 63, n*x = z + 238. Is 82 smaller than x?
False
Let s = -4 - -5. Let y = 2 - s. Let q(m) = -13*m**2 - 83*m - 90. Let u be q(-5). Is y at most as big as u?
False
Let p = 9 + -8.978. Let v = p - -3.478. Let z = v + 6.5. Which is smaller: -1 or z?
-1
Let z = -5915 + 4521. Which is greater: -1395 or z?
z
Let h(o) = o + 23. Let d be h(-20). Suppose 3*m + 3 = d*t, 5*m + 9 = -t - 2. Let q be (-1)/((-1)/t*2/14). Which is bigge