 Suppose -z + u*z - 3*t = 5, -4*t - 4 = -4*z. Is -1 bigger than z?
False
Let a be 5/20*0 - 21. Which is greater: a or -18?
-18
Let a = -2.65 - -2.55. Is 4/3 less than a?
False
Let j = -387 + 395.9. Which is smaller: j or 4?
4
Let k = -6 + 6. Let r = -7 - -5.6. Is k at least r?
True
Suppose -4*z - 8 = 0, 3*y = -y - 4*z. Suppose -2 = g - 4. Suppose g*s + 3 = 3*s, -y*s - 4 = l. Which is bigger: -6 or l?
-6
Let r = 23 + -23. Suppose -y = -r*y. Are y and 0 unequal?
False
Let t = -232 - -233. Which is bigger: t or 2/9?
t
Let b = 7417 + -838127/113. Which is smaller: b or -1?
-1
Suppose 2*u + 64 = -c + 6*u, -214 = 4*c - 2*u. Let n be (143/c)/(6/40). Let r = -18 - n. Which is smaller: r or 0?
0
Suppose 55*v + 84 - 29 = 0. Let j be -137 + -2 + (-1)/(-1). Let g be (-3)/(-2)*4/j. Is v smaller than g?
True
Let h = -336 - -1361. Let r = -1046.04 + h. Let f = -21 - r. Is f smaller than -3?
False
Let g(i) = 5*i - 3. Let n be g(1). Suppose -n*q - 158 = -58. Which is smaller: -49 or q?
q
Let n = -265 + 2930/11. Let w be (-2)/((-396)/(-523)) - 3/(-2). Let q = w + n. Is 2/7 bigger than q?
True
Let z = 73922/47 + -1573. Is 0 at most z?
False
Let q(n) = n**2 - 6*n - 6. Let w be q(-4). Suppose w = 11*m - 9*m. Let z be (-6)/(-8) + (-122)/(-8). Which is greater: m or z?
m
Let m be ((-3)/1)/((-3)/(-4)). Let a(z) = -z + 4. Let c be a(6). Is m at most c?
True
Let s = -1148/223575 + 16/813. Let i = 2826/5225 - s. Is i != 2?
True
Suppose -2*l + 0*l - 14 = 2*u, 0 = 5*l - 3*u + 51. Let q(s) = s**3 + 8*s**2 - 9*s - 1. Let b be q(l). Let w be (133/(-196) + 2/8)/2. Is w <= b?
False
Let n(t) = -t**2 + 18*t - 33. Let g be n(16). Let l be 0 + -2 + (-36)/(-17). Do g and l have the same value?
False
Let v be 4/6*3/(-2). Let i be (14/21)/(-7 + 5). Which is smaller: i or v?
v
Let w(b) = b - 9. Let u be w(11). Which is greater: u or 3/4?
u
Suppose -4*d - 254 = 7*a - 2*a, -286 = 5*a - 4*d. Let j = 53 + a. Is j bigger than 1/9?
False
Let v be 5 + -1 + (9/(-1) - -7). Let z = -4954718/14489517 - 52/29999. Let a = -4/69 - z. Is v less than or equal to a?
False
Let h be 8/56 + (-36)/7. Let o = -224 + 2910/13. Are o and h nonequal?
True
Suppose -3*f - 48 = -6*f. Let m = -14 + f. Which is bigger: m or -1?
m
Let c = -14 - -14. Let m = 15 + -14.66. Let t = -0.04 + m. Which is smaller: c or t?
c
Let o = -71 + 36. Let w be ((-64)/80)/(1/o). Is 28 at least as big as w?
True
Let j be (-3)/(-5) - (-15)/(-25). Is -3/62 less than j?
True
Let d be -6 - (-1)/1*1. Let g(h) = -4 - 7 + 9*h - h + 14. Let u be g(-1). Does u = d?
True
Let c(u) = -24*u - 292. Let l be c(12). Is -580 at least as big as l?
True
Suppose 11 - 13 = -v. Suppose -91 = -11*a - v*a. Which is greater: 8 or a?
8
Let i = -0.79 - -1.74. Which is smaller: i or -1?
-1
Let a be 8 + -486 - (-4 - 7). Which is greater: -465 or a?
-465
Let b = 21 - 13. Let s = -7.7 + b. Let u = -26.5 - -26.8. Does u = s?
True
Suppose -3*o + 8 = -2*o. Suppose 3*v - o = 1. Let s be (7/(-1))/(-2 + v). Is s equal to -9?
False
Let r be (0 - (-30)/(-8))/((-21)/84). Let l be (4*1/6)/(10/r). Is -1/17 at most l?
True
Let d = -289 - -421. Suppose -z - d = -7*z. Is 21 < z?
True
Suppose -5*f + 15 = -0*f. Let r be 2/(-42)*f*4836. Let z = -692 - r. Which is smaller: z or -2?
-2
Suppose 0 = 2*t - 5*n - 5, -2*t - 17 = -4*t + n. Let y be (-21)/(-84) - t/(-48)*2. Is y != 0.09?
True
Let m = -5303/68 - -78. Let l be (-25)/(-275) + 1/(-11). Is l < m?
True
Let o = 123489/11 + -11211. Is o >= 16?
False
Let p be 13936840961278345/792*(-3)/(-7733). Let h = 6826724977 - p. Let s = -3/1672 + h. Which is smaller: s or 1?
s
Let p(w) = -2*w**3 - 8*w**2 - 7*w + 4. Let o be p(4). Let n = -7217/6 + 2794/3. Let k = o - n. Which is greater: k or -8?
-8
Suppose 3*p = p - 26. Suppose 9 = -f + 19. Let q = f + p. Which is smaller: q or -26/9?
q
Let f be 197/(-264 - 16/4). Let j = 1/67 - f. Which is bigger: j or 2?
2
Let r be (1/(10/156))/((-19)/190). Which is smaller: r or -1?
r
Let j = 9 + -9. Let f be (-10)/(-35) + (-38)/(-14). Suppose 0 = -u + 5*s + 11, -5*u + j*s = s - f. Is u equal to 0?
False
Let a be 132/8*(-4)/6. Let n = -21 - a. Let v = n + 11. Which is greater: v or 4/3?
4/3
Let x = 26 + -21. Suppose -m - x*r + 3 = 0, -4*m - 9 + 21 = -5*r. Suppose n + 3*n = 16. Is m <= n?
True
Let i be (-1)/(1/3) + 3. Let j be i/(1 - (-1)/1). Is -1 at most j?
True
Let u be (23 - 23)*(-2)/4. Is 23/22 not equal to u?
True
Let y be (1/3)/(11/(-6)). Let v = 29 + -24. Let k(g) = g**3 - 5*g**2 - g + 4. Let u be k(v). Are y and u non-equal?
True
Let v be 32/5 - 2/5. Let h be 58/(-4) + 8 - -1. Let u = v + h. Which is smaller: u or 2?
u
Suppose h + 4*h + 2*q = -955, 3*h + 552 = 3*q. Which is smaller: h or -188?
h
Let n = 410 + -410. Is 170 equal to n?
False
Let y(d) = -d**3 + 7*d**2 + 78*d. Let j be y(13). Is j less than or equal to 3/304?
True
Let j be (30/72)/((-534)/(-135) - 4). Is -8 less than j?
False
Let g(j) = j**3 - 16*j**2 - 37*j + 21. Let h be g(18). Which is bigger: -3 or h?
h
Let o be 84/22 - (-14)/77. Let l be -2 + -1 - (-1 - -2). Let b(c) = -c**2 - 5*c + 1. Let s be b(l). Is o greater than s?
False
Suppose -4*y + 6 = -2*y. Suppose -y*d + 2*v - 9 = 0, 2*d - v = -7 + 2. Let l be -5*(96/210)/8. Is d at most l?
True
Suppose -76*n + 6166 = 6014. Suppose -2*g = -1 - 1. Which is smaller: n or g?
g
Let i be (-495)/(-550) - (-2)/(-5). Is i <= -107?
False
Suppose 5*v + 172 = -l + v, 0 = -2*l + 2*v - 334. Let r = -164 - l. Let x be 3*(1 - (-2)/(-6)). Is r at most as big as x?
False
Let z = 134 + 13. Which is smaller: z or 145?
145
Let k = -21679 - -152048/7. Let t be 4/10 - (-424)/(-10). Let r = t + k. Is r greater than or equal to 1?
False
Let c = -59 - -64. Suppose -c*k - 75 = r + 2*r, 4*r = 20. Which is bigger: k or -17?
-17
Let t = 16 + -95/6. Let j(u) be the third derivative of u**5/60 + u**4/8 + 2*u**2. Let s be j(-3). Is t at most s?
False
Let t = 29 - 14. Let k = 10 - t. Let n be 61/427 + 9/(-14) + 1. Which is greater: k or n?
n
Let z = -95.6687 - 0.0813. Let n = z + 95. Which is greater: -2/5 or n?
-2/5
Suppose -l + 0 = -2. Let d be 2 - (-5 - (-12)/3). Suppose -s + x + d*x + 2 = 0, 0 = l*s - 5*x - 7. Which is bigger: s or 4?
s
Let s = 22 - 13. Let x be ((-84)/(-8))/(-7)*-10. Suppose c - 5*a = -x, -5*c + 0*a + 60 = 2*a. Is c > s?
True
Let i(r) = r**2. Let p(j) = j**3 + 11*j**2 + 3*j - 8. Let o(y) = 6*i(y) - p(y). Let t be o(-4). Suppose -t*x + 1 = -3. Are x and 2 non-equal?
True
Let u = 7 - 6.9. Let d = u - 0.1. Let q = 2.6 - 2.7. Which is smaller: d or q?
q
Let s = -1 - -3. Let w be 95/(-5)*(-3 + s). Let r be ((-1)/w)/(5 + -4). Which is smaller: -1 or r?
-1
Let g(l) = -l**2 + 11*l + 1. Let d be (-45)/(-4) + 3/(-12). Let k be g(d). Let o be (-3 - (-45)/12)/((-7)/(-4)). Which is bigger: o or k?
k
Let m be 5 - ((-12828)/(-1272) + (-1 - 4)). Is m less than 1?
True
Suppose 29*c - 5*r - 113 = 28*c, -2*c = r - 204. Is 1 less than or equal to c?
True
Suppose -9*y - 50 = -34*y. Suppose 0*c - 2 = 2*c. Let k be (-1)/c*(-6)/(-11). Which is greater: y or k?
y
Let z be (1 - 10/4)*40/150. Is z at most 2/125?
True
Let x be (2/(-10))/(266/114). Are 0 and x equal?
False
Suppose 3*n = 5*n. Suppose n*c = -c. Suppose c*w = 2*k + 3*w + 1, 3*k + 49 = 5*w. Is k greater than or equal to -7?
False
Let y(f) = 2*f**2 - 24*f + 5. Let x be y(12). Suppose -2*z + x*w = 124, 3*z - w + 199 = -0*z. Is -67 < z?
False
Let g be ((-27)/(-3))/(-3 - -2). Let r(d) = d**2 + 9*d + 1. Let v be r(g). Suppose 10*q - 2*p - v = 5*q, -3*q = 3*p - 9. Which is bigger: -4/7 or q?
q
Suppose -5*b = -0*b + 15, -4*x + 4*b = 476. Let m = x - -123. Which is bigger: -12/35 or m?
m
Let n = -19 - -18. Let m be -1*n/5 + (-108)/15. Which is bigger: m or -0.2?
-0.2
Let d = -69 + 74. Let l(o) = -o - 5. Let c be l(-9). Which is smaller: c or d?
c
Let g(q) = q + 3. Let y be g(2). Let a = 2 + 2. Suppose a = 8*i - 7*i. Is i at least as big as y?
False
Suppose 0 = -4*n + 4*h + 271 + 205, 347 = 3*n - 5*h. Let l = -144 + n. Do l and -59/3 have the same value?
False
Let t be (104/(-741))/(-1 - (-139)/141). Which is bigger: 9 or t?
t
Let o(y) = -y - 6. Let a(u) = 3*u - 1. Let h = 17 - 18. Let n be a(h). Let v be o(n). Is v less than -1?
True
Let v be -32 - -2*6*2/8. Is v at least as big as -91/3?
True
Let a(c) = c + 2. Let m be a(-3). Let r be (-3)/4*(-12300)/(-1271) - -7. 