 0. Is 3 bigger than i?
False
Let z(w) = 3*w**2 + 4. Let o be z(-2). Let x be (-4)/(-96)*4/o. Is -1 > x?
False
Let i be -8 - -7 - (-31 + 0). Let b be 5/25 + (-2)/i. Are -5 and b unequal?
True
Let x(u) = -u + 11. Suppose -6*j - 21 = -93. Let q be x(j). Is q smaller than -2/35?
True
Suppose 0 = n - 0*x - 3*x - 16, 2*n - 12 = -4*x. Which is bigger: 13 or n?
13
Suppose 5*g = -20, 5*m - g = -6*g + 140. Let x be 0/(-2) - m/656. Which is smaller: -0.1 or x?
-0.1
Let o = -298 - -327. Is o at most -0.01?
False
Suppose -51 = -6*r + 9*r. Let b be r/238 + (-2)/(-4). Which is smaller: 3 or b?
b
Let u be 3/2 - (-6)/(-4). Let q = u + 1/4. Is 0 at most q?
True
Let q = 10 + -7. Suppose 4*n - 1 - 2763 = q*b, -4603 = 5*b - 3*n. Let i = b + 11954/13. Which is smaller: i or 0?
i
Let o = 79 - 71. Let c be 2/((30/1575)/(o/(-10))). Is -83 less than c?
False
Suppose 5 = 5*d - 15. Suppose -15 = d*y + 5*l, -3*l + 4 = l. Let z = -1203/40 + 207/8. Which is smaller: z or y?
y
Let w = -1.68 - -1.6. Let n = -0.14 + -1.86. Which is greater: n or w?
w
Let h be 1/(-14)*(-20)/1. Let n(q) = 1 + q**3 - 2 + 2 - q**2 - 4*q + 3*q. Let g be n(1). Is g at least as big as h?
False
Let r be ((-10)/4)/(-1)*(-1701)/35. Let k = r - -2667/22. Suppose 0 = -4*g - g + 5. Which is smaller: k or g?
k
Let t = 7 - 9. Let b be -11*1 - (t + 0). Let a be ((-20)/(-5))/(-4) + -8 + 1. Is b greater than a?
False
Suppose -2*i = -9*i - 140. Let t = -154 + 135. Which is bigger: i or t?
t
Let i = -0.7 + -0.3. Let l = 0.0834 + -13.0934. Let o = -0.01 - l. Is o < i?
False
Let k = 30 - 29. Which is bigger: -2/343 or k?
k
Let o = 0.9 - 0.5. Let v = -27 - -30. Which is smaller: o or v?
o
Suppose 4*g + 5*y + 39 = -50, 5*y + 57 = -2*g. Let q be g/6 + (-3)/9. Is -0.4 equal to q?
False
Let a be 3728/96*(1 - -2). Which is bigger: a or 118?
118
Let f be (-38)/(-90) + 4 - (-24)/(-120). Are f and -0.07 non-equal?
True
Suppose -y + 4 = 3*y. Let l be (4*(-5)/(-20))/(y/(-9)). Is l greater than or equal to -10?
True
Let y = 120 + -118. Which is smaller: -0.01 or y?
-0.01
Suppose h + 2*h + 10 = -2*t, -5*t - 3 = 2*h. Suppose 2*c - 7*c = -45. Let o = h + c. Is 2 > o?
False
Let g(u) = -13*u**3 - 2*u + 1. Let t be g(1). Let y(j) = 37*j + 912. Let n be y(-25). Which is smaller: t or n?
t
Let g(k) = 4*k**2 - 8*k - 7. Let i be g(3). Let o be 1/i*100/(-2080). Which is smaller: o or -1?
-1
Let a(b) = b**3 + 8*b**2 - 8*b + 11. Let u be a(-9). Suppose 14 - 34 = 5*p. Let n be 10/6 + p/12. Is n not equal to u?
True
Suppose -1981 + 1785 = -4*x. Is x < 49?
False
Let m = -39 + 115/3. Suppose -n = -5*f - 112, -4*n + n = -3*f - 72. Is m greater than f?
True
Let f = -13/41595 - -1/141. Let h = -181/70210 + f. Which is smaller: 0 or h?
0
Suppose 14*f + 24 = 6*f. Is -11/6 not equal to f?
True
Suppose 3*g = 3*s + 21, 1 = -3*g - s + 18. Let t(u) = -3*u + 6. Let c be t(g). Let z(r) = -r**2 + 4*r + 2. Let f be z(6). Is f >= c?
True
Suppose 3 = 9*k - 8*k. Suppose k*h - h = 8. Let b be (3 + -3)*(-2)/h. Which is smaller: b or -2/11?
-2/11
Let u = -16 + 17. Suppose 14 = -3*d - 4. Is u greater than d?
True
Let l(w) = w - 4. Let b(s) = -s**2 + 8*s - 6. Let k be b(5). Let z be l(k). Suppose -4*d + z*d = 0. Is d greater than or equal to 4?
False
Suppose -2*c - 18 = -6*m + 3*m, c = 3*m - 15. Suppose 2*l + 43 = -2*l + 3*i, -38 = m*l + 2*i. Let j be (-8)/(-20)*l/(-12). Which is smaller: 0 or j?
0
Let m(x) = 44*x - 457. Let v be m(7). Are v and -2 nonequal?
True
Let i(z) = z**3 + 5*z**2 - z - 3. Let p be i(-5). Let t be 3 + (6/24)/(1/12). Is p <= t?
True
Let d(f) = -f - 1. Let m be d(7). Let g(a) = -2*a - 11. Let u be g(8). Let i = -36 - u. Which is greater: m or i?
m
Let q be (0/(-3) - 1) + 1 + 10. Let x be (-2)/(-16)*-21 + (q - 8). Is 0 <= x?
False
Suppose 0 = -k - m - 3*m - 7, 0 = 3*k + 2*m + 1. Which is greater: -3/74 or k?
k
Let x(h) = 2*h**3 - 39*h**2 + 20*h - 18. Let o be x(19). Suppose 0*a - a = d - o, 11 = 3*a - 5*d. Which is greater: a or 17/9?
a
Let k be (-1)/4 + (-7)/(-28). Let a be -1 + k + 5 + 4/(-4). Do 1/2 and a have different values?
True
Suppose 9*j = j - 32. Let n be 20/(-4) + 5 + j/6. Which is bigger: n or -2?
n
Let n be ((-15)/770)/((-3)/13458). Let g = n + -87. Let h = 1189/308 + g. Does h = 4?
False
Let d = -518 - -1150. Is d bigger than 631?
True
Let c = 21.196 + 0.304. Which is greater: -1/3 or c?
c
Let i be ((-52)/(-8) - 4)*8/5. Suppose i*m - 8*m + 18 = -5*t, -2*m + 12 = -4*t. Suppose -1 = y + 1. Are y and m equal?
False
Let d = 74 + -73.84. Let g = d + 0.84. Is -4/3 < g?
True
Let l(z) = -z**3 + 8*z**2 + 7*z + 8. Let v be l(9). Let n be 23*2/v + (-2)/5. Is -5 at most n?
True
Let k = -155 + 110. Let c = 34.9 + k. Let j = c + 10. Which is bigger: j or -7?
j
Let v = -128 + 149. Which is bigger: 104/5 or v?
v
Suppose -3*r - k = -1, -3*r + 3*k + 7 = -14. Let b = -66 + 1653/25. Which is greater: r or b?
r
Let y = -1.63 - -8.73. Let z = 6.2 - y. Are 3 and z unequal?
True
Let t = 688 - 457. Suppose -1 = 8*y + t. Which is greater: -30 or y?
y
Let l = 20 + -8. Let v be (-152)/(-6)*l/(-40). Let g = 37/5 + v. Which is smaller: -4 or g?
-4
Suppose -3*q + 5*k = 19, 0 = -3*k + 25 - 10. Suppose -5*o - 21 - 55 = 3*d, -2*o + q = 0. Which is smaller: -26 or d?
d
Suppose -7*s + 3*s - 4*y + 8 = 0, -3*s = -4*y - 41. Suppose -168*n + 2750 = 107*n. Are s and n unequal?
True
Let d = 2 + 7. Let a = d + -7. Is a greater than 6/5?
True
Let t(n) = n**2 + 2*n - 3. Let g be t(-4). Suppose z - 2*u = -3*z + 18, -1 = z + g*u. Which is smaller: z or 0?
0
Let n = 32 - 9. Let p = -34 + n. Let a = 13 + p. Is a greater than -1/3?
True
Let w(p) = -3*p**2 + 7*p + 1. Let n(y) = 7*y**2 - 14*y - 2. Let o(l) = 2*n(l) + 5*w(l). Let s be o(7). Which is smaller: -3/13 or s?
-3/13
Suppose 0 = 34*l - 524 - 1108. Which is bigger: 47 or l?
l
Let w = 2 - 5/3. Let t(z) = -z + 10. Let m = -20 - -28. Let v be t(m). Which is greater: v or w?
v
Suppose -12 = -2*k - 2*a + a, -2*k + 3*a - 4 = 0. Let q = 2 - k. Do -1 and q have different values?
True
Suppose 16*y + a = 20*y + 4681, -5*y + 4*a - 5865 = 0. Is y < -1170?
False
Let t = -1/5596 - 290973/106324. Which is smaller: -4 or t?
-4
Let i be 4/8 + (-12)/(-15). Let x = i - 9/10. Which is smaller: 41 or x?
x
Let x = 7 + -8. Let h = x - 4. Let q(t) = -t**3 - 4*t**2 + 6*t + 5. Let v be q(h). Is v smaller than 1/7?
True
Let l = 916917/643 - 1426. Which is smaller: 0 or l?
l
Let v = -342/5 + 68. Let n = 0 - 4. Let s be ((-2)/1)/(n - -2). Are v and s nonequal?
True
Let q(b) = -b**2 - 17*b + 19. Let f be q(-18). Which is bigger: -8/21 or f?
f
Suppose -3*x = -x + 104. Let y be 9/x*8/3. Suppose 5*m = 3*m + 6, 2*o = -2*m + 6. Which is smaller: y or o?
y
Let h be ((-3)/(-1))/((-12)/(-40)) - -2. Let v(t) = -2*t + 27. Let f be v(h). Is 3/2 equal to f?
False
Let t = 10 - 2.4. Let f = -7.2 + t. Let v = -4 + 0. Which is smaller: f or v?
v
Let k be (32/(-10))/(((-91)/(-1300))/(-7)). Is 0.2 >= k?
False
Suppose 4*k - 3*x - 4 = -5*x, -5*k = 3*x - 3. Suppose 0 = -5*m - p - 5, -3*m + 3*p + 18 = k. Is -1/9 bigger than m?
False
Suppose -5*u + 2*q + 12 = 6, 2*q - 12 = -4*u. Which is greater: 34/13 or u?
34/13
Suppose -2*c = -7*c + 10. Let z be (c - (1 + 1)) + 0. Suppose 4*d + 5*b + 9 = z, -5*d - 7 - 1 = 3*b. Is d at most -1/3?
True
Let z = -0.01 + -0.29. Let u = 0.138 + -0.118. Which is bigger: u or z?
u
Let w = -0.783 - -13.943. Let v = w + -1.16. Is 0.1 greater than or equal to v?
False
Let d = 114 - 113.925. Let r = 3.925 + d. Is -3/5 > r?
False
Let n = 1714 + -1721.41. Is 0.1 greater than n?
True
Let k(n) = -n**3 + 3*n**2 - 2*n. Let p be k(1). Let u be 1/(-4) - 79/(-284). Which is smaller: p or u?
p
Let g = -8 - -8. Suppose 3*s = -15, g*m - 3*s = -4*m + 27. Let u = 15.1 + -15. Which is greater: u or m?
m
Suppose -4*m - 130 = -5*p, 2*m - 47 = 4*p - 145. Let k be (-3 - -5) + p*3. Suppose 3*o - 5*y = k, y = o - 4*y - 16. Which is smaller: o or 27?
o
Let f(z) = -z**2 + 0*z**2 + 1 - z + 3. Suppose 6*b - 10*b = 0. Let p be f(b). Are 5 and p nonequal?
True
Let a(u) = 2*u**2 - 17*u - 2. Let b be a(7). Let j = b + 22. Which is bigger: j or -16?
j
Let t be 6/(-1)*(0 - 1). Suppose t = -y + 3*y. Suppose 2*a + 14 = y*n, 4*a + 5*n = 5 + 11. Is a equal to -1/6?
False
Let b(f) = 2*f - 37. Let d be b(18). Which is smaller: -1/5 or d?
d
Suppose -2*x + 50 = -12*x. Which is bigger