i
Let v be (-4 + 0)*(-45)/(-20). Which is greater: -12 or v?
v
Suppose -s + 3*r = -4, -4*s - 36 = -2*r - 12. Are s and -9 nonequal?
True
Let l be ((-1)/4)/((-3)/12) - 2. Is 1/8 less than or equal to l?
False
Let u be (-6)/(-27) + (-1140)/27. Let t = u - -208/5. Let i = -0.31 + 0.01. Which is smaller: t or i?
t
Suppose h + 4*o - 5*o = -2, 0 = 3*o - 3. Let x be 2 - h/(3/(-32)). Let z = 8 + x. Is z less than or equal to 0.2?
True
Suppose m = 11 - 10. Which is smaller: m or -39?
-39
Suppose -3*a = -2*s + 484, a - 5*s = -2*a - 481. Let x = 813/5 + a. Are x and 2 equal?
False
Let i = -671/3213 - 5/189. Is i not equal to 0?
True
Let o be (2/3)/((-2)/3). Let j(q) = q**2 + q - 1. Let h be j(o). Which is smaller: h or -3?
-3
Let h be (-7 - -5)/(-1 + 0). Suppose 0*p + 21 = 3*m - 2*p, h*m + 5*p + 5 = 0. Suppose 0 = 3*a + m*b + 29, -4*a + 26 - 61 = 3*b. Which is smaller: 1/3 or a?
a
Suppose -3*q + 0*q = 5*z - 65, -3*q = -2*z + 47. Suppose 3*l - 4 = -z. Let i = l + 0. Is -3 greater than i?
True
Let s be (-5 + 1)/(0 + -1). Let j be (-6)/9 - (-42)/9. Suppose -4*q = 0, -s = 3*f + f + j*q. Is 2/9 at least f?
True
Let g = -5 - -4. Which is smaller: g or -2/363?
g
Let p = 13/8 - 197/72. Let c = 11/18 + p. Suppose -3*y = -2*o - 13 + 4, 2*o + 5*y = 15. Which is smaller: o or c?
c
Let m = 1/52 + 9/208. Let h be (-1 + 0)*(0 - -1). Does m = h?
False
Let u = -1.5 - -2.5. Is 0.1 less than or equal to u?
True
Let j = -4 - 1. Let o(p) = p + 4. Let m be o(-7). Let c = m - 2. Do j and c have the same value?
True
Let i be (-384)/132*1*(-2)/4. Is i less than or equal to 0?
False
Let u = -12 + 11. Is u at most as big as 3?
True
Let a be (2 + -1)*(-4)/(-5). Let s be 0 + 1 - (-138)/(-3). Let z be 2/(-5)*s/9. Which is bigger: a or z?
z
Suppose 0 = -6*m + 192 - 12. Which is greater: 28 or m?
m
Suppose 18*g = 20*g. Is 1/5 less than g?
False
Let v(d) = d + 7. Let i be v(-7). Suppose i = -4*g - 9 - 11. Let l = g - -3. Which is smaller: l or -1?
l
Let a = -15521/14565 + -1/971. Is a at most as big as -1?
True
Suppose x = 5*x - 12. Suppose 33 = -x*v + 4*f - 3*f, 3*v - 4*f = -24. Let q be 20/v*(-2)/(-5). Is q at most 0?
True
Let q(p) = -p**2 - 11*p - 20. Let v be q(-9). Which is smaller: -3 or v?
-3
Let s = -23.4 + 24. Is -0.1 less than or equal to s?
True
Suppose 5 = -5*p - 4*f - 20, 15 = -3*f. Is p < 4/13?
True
Let b be (-6)/2*(-4)/18. Let w(x) = -x**3 + 7*x**2 - 6*x + 4. Let l be w(6). Suppose -r - l*u + 9 - 24 = 0, -2*u - 9 = -r. Which is smaller: b or r?
b
Suppose 2*s = 6*s - 60. Is -2 at least as big as s?
False
Let m(n) = -2*n - 9. Let g be m(-6). Suppose g*a = 5*a + 6. Are a and -4 unequal?
True
Let i = -6 + 5. Let x be ((-18)/20 - -1)*-6. Is x less than i?
False
Let u = 1 - 0.8. Let j = u + -0.1. Let d be (-2 + 0)*(-6)/(-12). Which is smaller: d or j?
d
Suppose -2*u + 0 = -3*x + 9, 2 = -2*x. Let p(m) = -m - 3. Let l be p(u). Let z = -15 - -19. Which is greater: l or z?
z
Let j = -0.02 + -1.98. Suppose 4 = -r + 2. Is j at most r?
True
Suppose -2*q = 4*c + 12, 2 - 6 = 5*q - 3*c. Let p be q/(-3) + 5/(-3). Are p and -1/9 non-equal?
True
Let a = -580/3 + 187. Are -1 and a equal?
False
Let v = 9 - 9. Suppose v = -5*m + 3*m - 2. Which is greater: 0.04 or m?
0.04
Suppose 3*c - 3 + 15 = 0. Is -6 <= c?
True
Let u be 13/(-11) + ((-64)/88)/(-4). Which is bigger: 2/55 or u?
2/55
Let s = 4 + -4. Are 4/11 and s unequal?
True
Suppose 11 = 5*t + 6. Let z(b) = b**3 + 1. Let d be z(0). Is t greater than d?
False
Let d = -13 - -12.8. Let t(n) = 2*n - 2. Let w be t(4). Which is smaller: d or w?
d
Let z be (-1)/4 + (-93)/(-324). Let y = 8/27 + z. Are y and -0.1 non-equal?
True
Suppose -1 - 2 = -5*i - 3*o, 3*i = o - 1. Suppose 2*s - 2 = s. Let w be s/(-3)*-6 - 3. Which is greater: w or i?
w
Let p = 9.94 - 5.9. Let r = 0.2 - 0.16. Let s = p - r. Is s greater than or equal to -1?
True
Let w be (-4)/(-6) + (-2)/2. Suppose 0 = k + 2*k + 5*n + 19, -38 = 5*k + 2*n. Let m = k + 11. Is w at most m?
True
Suppose -18 - 18 = 36*r. Let a = 1.1 - 1. Let x = a - 0.2. Is r less than or equal to x?
True
Let s = -12 - -2. Let c be (-4)/s - (-9)/15. Which is smaller: 8/5 or c?
c
Let x be (-3)/(-1)*1/(-11). Let o = -8540 - -469726/55. Let b = o + x. Is b at most 1?
True
Let p = 53 + -48. Suppose 2*l - 3*k = 15, l - 4*k = -k + 12. Which is smaller: p or l?
l
Let g = -1367/302 - -4/151. Which is smaller: g or -4?
g
Suppose 2*z + 2*i - 5*i = 479, -1207 = -5*z - 2*i. Let j = 3857/16 - z. Is 1 at least as big as j?
True
Let k(w) = 3*w - 19. Let j be k(7). Which is greater: -32 or j?
j
Let r be 2 - (1 + -2 - -7). Let y be r*((-3)/2 + 2). Which is greater: y or -4?
y
Let j be (0 - 37/4) + 1/4. Is j < -48/5?
False
Suppose o + 87 + 118 = 0. Let q = -14349/70 - o. Let w = q - 143/210. Is 1 <= w?
False
Let h be (-4)/(-3) + 2/3. Suppose 0 = q - 3*m - h*m + 10, 4*m = 5*q + 8. Let b = 23/51 - 2/17. Which is smaller: b or q?
q
Let y = 3 - 2. Let c be (2 - y) + (-2)/1. Are c and 1 unequal?
True
Let t(s) = s - 7. Let f be t(5). Suppose -3*z - 3*a = -5*z - 3, 0 = -5*z - 3*a + 24. Is z less than or equal to f?
False
Let c(h) = 8 + h - 4*h + 5 + 4*h. Let f be c(-8). Which is smaller: f or 6?
f
Let x = -0.46 + 0.45. Is x at least as big as 1.4?
False
Let p = -5 - -7. Let q = 29/3 - 7. Is q < p?
False
Let z(y) = -y**3 - 7*y**2 - 6*y + 8. Suppose 2*d = 3*d + 6. Let a be z(d). Are a and 8 nonequal?
False
Let r = 12 - 0. Suppose 0 = 2*i - 10 + r. Which is smaller: 2/9 or i?
i
Let y be (12/130)/3*5. Let s = y - 29/104. Is s bigger than -1?
True
Let y = 67/2 + -33. Suppose -5 = -4*a + 5*o - 10*o, -4*a + 3*o = 3. Which is smaller: a or y?
a
Suppose -2 + 3 = -i. Is 2/21 < i?
False
Let w(j) = -2*j**2 - j. Let h(d) = d + 6. Let p be h(-7). Let f be w(p). Suppose -3*v - 2*v + 4*a = 30, 2*a = -4*v + 2. Which is smaller: v or f?
v
Suppose 3*m - o - 13 = -2*m, -3*m + 5*o + 21 = 0. Suppose -m*j - 32 = -6*j. Let w be j/10*2/(-4). Is 0 less than w?
False
Let s = -1.1 - -0.1. Let n = -0.3 + 2.3. Let w = n + -2. Is w != s?
True
Let p = 6 - 5.8. Which is greater: -0.4 or p?
p
Let y = -6.5 + 6. Let u = 0.3 + -0.2. Which is greater: u or y?
u
Let y = 167/33201 + 6/217. Let h = -4/51 - y. Let g = -59 + 60. Is h <= g?
True
Let r = 16.1 - 16. Which is bigger: r or 2?
2
Let o be 2 + (-1 - -2) - (-102)/(-30). Which is smaller: o or 2/3?
o
Let i be (-1 - 3/(-3)) + (-2)/(-26). Is i at least 0?
True
Suppose -u - 2 = 0, 4*o + u + u = -8. Is o not equal to -3/17?
True
Let q = -6.07 - -6. Let o = -4.07 - q. Let s = 3.9 + o. Is s > -2/3?
True
Let k = -0.04 - 4.96. Let q = -4 - k. Which is bigger: 2/7 or q?
q
Let s = 123 + -79. Is s greater than or equal to -2/3?
True
Let o = -186 - -184. Which is smaller: o or 30?
o
Let q be -4 + 2/4*7. Let i(d) = -d**2 - d - 2. Let m be i(-4). Let v be 4/(-14) + 24/m. Do q and v have the same value?
False
Let i = 0.09 + -0.09. Which is bigger: i or -9?
i
Let s(q) = 6*q + 1. Let x be s(-1). Let u = -3 - x. Suppose 4*i = -2 - u. Which is greater: -2 or i?
i
Let h be (-51)/(-34)*236/3. Which is bigger: 119 or h?
119
Let r = 0.037 + 0.063. Is r >= 47?
False
Let o = -10 + 9.82. Let a = -0.22 + o. Is a < 0?
True
Suppose 0 = -2*g - 4*n + 2, 2*g + 5*n - 5 + 2 = 0. Let x = -98 + 489/5. Which is bigger: x or g?
x
Let c = -0.924 + 0.014. Let g = -1 - c. Let f = g + 0.1. Is f bigger than 2/5?
False
Let x = 3 + -0.2. Let v = 2.9 - x. Which is greater: v or -0.12?
v
Let m = -3.7 - -3.8. Let p = 0.11 + -0.04. Which is greater: m or p?
m
Suppose -6*c = -c. Let r be (c/1)/((-8)/(-4)). Suppose 4*q - 7 = -5*v + 4*v, -10 = 2*q - 4*v. Which is bigger: q or r?
q
Let v(i) = i**2 + i. Let j be v(-2). Let y(z) = z**2 + 4*z - 5. Let u be y(j). Which is greater: 6 or u?
u
Let r = 0.09 + 0.81. Let y = r - 1.1. Is y >= -1?
True
Let q be (-2)/5 + 156/315. Is 1 equal to q?
False
Let y(u) = -u**2 - 5*u - 16. Let k be y(-6). Which is greater: k or -18?
-18
Let z = 3 + -6. Let q be ((-5)/z)/(-5)*-9. Suppose 2*t - 5*t = q. Is -1 at most t?
True
Let r be (8/(-30))/((-4)/6). Let u(s) = s**2 - 3*s - 2. Let b be u(4). Suppose -3*z + 12 = 0, -b*z + 8 = v - 4*v. Which is bigger: v or r?
r
Let x be (4/(-3))/(1/(-3)). Suppose -x*t - 4*a + 2*a - 26 = 0, t + 2 = -5*a. Which is smaller: -6 or t?
t
Let j(t) = -t**3 + 5*t**2 + 15*t - 11. Let g be j(7). Which is bigger: g or -32?
g