- 1. Let g be z(-2). Which is bigger: n or g?
n
Let a be (1/18)/((-10)/(-615)). Let b = a + -11/3. Which is smaller: 3 or b?
b
Let z = 163.1 - 163. Let t = -0.04 + 2.04. Which is greater: z or t?
t
Let a(m) = -m - 1. Let i be a(-3). Suppose -t = -3*f - 33, -3*t - 2*t + 5*f = -175. Let c be (-3)/(t/8)*-3. Are c and i equal?
True
Let u(g) = -3*g - 5. Let o be u(-2). Let t be o/(-6) + (-10)/20. Is 3 greater than t?
True
Let b = -0.3 - 0.4. Let v = -2.3 + b. Is 1/4 bigger than v?
True
Suppose 4*v - 3*z = -8, -v = z - 6 + 1. Let c(k) = 2*k - 5. Let f be c(4). Suppose -m + 2*o = -4, -2*m + f*o - 1 = 3*m. Which is smaller: v or m?
m
Let i = -499/3 + 165. Let w(k) = -k**2 + 7*k - 8. Let u be w(6). Is u less than or equal to i?
True
Let z be (-18)/21 + (-3)/(-4). Which is smaller: z or 0?
z
Suppose -n = x + n + 8, 5*x + 16 = 2*n. Which is greater: -2 or x?
-2
Let d(t) = t**3 - t**2 - 3*t + 3. Let s be d(2). Let i be (s/(-4))/(5/(-4)). Is 0 less than or equal to i?
True
Suppose 2*f = 5*x + 14, 4*f - 6 = -0*f - x. Let h be (-15)/12*f + 1. Let s be (1/(-3))/(1/9). Is s at least h?
False
Let j be ((-40)/(-450))/(4/(-10)). Do j and -1 have the same value?
False
Let w(f) = -2*f**2 - 13*f - 7. Let d be w(-5). Let h(i) = -i**2 + 7*i + 10. Let a be h(d). Is a > 0?
True
Let s = -1 - -4. Let b = -1 + s. Does b = 1?
False
Suppose k - 4 = -0*k. Suppose 0*f - 16 = 4*f - 4*t, -k*t = -20. Let u = f + 1. Which is greater: u or -2?
u
Suppose -g = -2*g + 2*o + 13, 4*g - 3*o = 27. Suppose g*r + 5 = 2. Let n be (-2)/(-7) - (-144)/(-308). Is n at most as big as r?
False
Suppose -4*d - 5*v = -0*d + 5, -4 = -5*d + 4*v. Let k be d + 2/(-1) + 10. Suppose 0 = 3*a - k*a - 10. Which is bigger: -1 or a?
-1
Let r = -0.11 - 5.89. Let l = -6.4 - r. Let k = 29 - 29. Which is greater: k or l?
k
Let v = 0 - 0. Is -8.3 greater than v?
False
Let m = 4 + -3.8. Which is smaller: m or -0.1?
-0.1
Suppose 4*w + 0 = -2*a - 102, 3*a = 3*w - 198. Let s = -38 - a. Let f = s + -91/4. Which is smaller: -2/3 or f?
-2/3
Suppose 13*t - 15 = 8*t. Which is greater: t or 6?
6
Let k be (-1)/4 + 28/(-16). Suppose -9*c + 0*c = -45. Let a = c + k. Is a at least as big as 4?
False
Let b = -62 + 54. Which is greater: b or 0.1?
0.1
Suppose -5*n = x, -5*x + 0*n = -5*n. Let p(k) be the third derivative of k**4/24 - k**3/6 - k**2. Let w be p(0). Which is smaller: w or x?
w
Suppose 0 = -4*v + 8, 4*i - i - 2*v = -10. Which is bigger: i or -5/8?
-5/8
Let y = 14 + -36. Let f = -16 - y. Suppose -x - 5*s + 24 = 0, -s = x - 2*s + f. Which is greater: 1/9 or x?
1/9
Let l = -2254/9 - -581/3. Let c = 57 + l. Which is bigger: 1 or c?
1
Let u be ((-6)/(-4))/((-3)/(-4)). Let y be (28/105)/(u/(-5)). Is y != -0.3?
True
Let q = -12 + 11. Is q at most as big as -1/3?
True
Suppose -5*o = 3*l - 9, 0 = -2*l - o + 2*o - 7. Which is greater: -2/3 or l?
-2/3
Let g(y) = y + 6. Let v be g(-5). Suppose -7 - v = -4*c. Let w be ((-6)/15)/(c/10). Is w smaller than -1/2?
True
Let m = 2/47 - -72/517. Is m greater than or equal to -1?
True
Let p = 49 - 33. Let h = 79/5 - p. Is h at least as big as 1/3?
False
Let m = 10 - 6. Suppose -x - 5*c = -15 - 1, 24 = -m*x + 2*c. Let j be ((-2)/2)/(2/6). Is j bigger than x?
True
Let f(t) = t - 1. Let g be 1/(-5) - 130/(-25). Let y be f(g). Let c be (y/6)/((-4)/6). Is 1 at least c?
True
Let n be (-5)/6*14/(-35). Let z(w) = 4*w**2. Let f be z(1). Let v = -4 + f. Which is smaller: n or v?
v
Let l(g) = -g**2 - 7*g + 1. Let k be l(-7). Which is greater: k or 2/13?
k
Let p = 7 - 6. Which is smaller: -6/17 or p?
-6/17
Let r be (-2)/(-6) - (-187)/132. Which is bigger: 0.1 or r?
r
Let v = 378 - 7184/19. Suppose -r + 3 = -4*h - 9, -3*h - 9 = r. Is r bigger than v?
True
Let p be -5 - 0/(-7 - -4). Which is bigger: p or -6?
p
Let w(a) = a + 7. Let i be w(-8). Let c = i + 0. Let j = 0.08 + -1.08. Is c at least as big as j?
True
Let o = 1 + -5. Is -5 greater than o?
False
Suppose 4*m - 24 + 20 = 0. Let r = -66 - -727/11. Are m and r unequal?
True
Let q be (-4)/(-6)*3/2. Let b = 1 - q. Let v = b - 1. Which is greater: v or -2/7?
-2/7
Let o be 0 + (3 - 2/2). Let b = o + -2. Let r = -1350/13 - -104. Is r greater than b?
True
Let d = -1.16 + 1.1. Let g = d - -1.06. Which is bigger: 3/20 or g?
g
Let f = 0.03 - 3.03. Let m = -2.8 - f. Do -2 and m have the same value?
False
Let u be (-8)/(4560/83) + (-2)/(-12). Which is bigger: 1 or u?
1
Let z(y) = -y**2 - y - 10. Let x be z(3). Are x and -25 unequal?
True
Let w(s) = -2*s**3 - 2*s**2 + 1. Suppose 0 = -0*z + 2*z - 10. Suppose 0 = -5*u - z*n, 0 = n - 0 - 1. Let p be w(u). Which is smaller: p or 2/5?
2/5
Let s be (0 - 2)*2/(-4). Let l be 0/(0 + (-1)/s). Let p = l + 0. Which is greater: 2 or p?
2
Let z be 4/14 + (-10)/(-14). Which is smaller: -0.26 or z?
-0.26
Let a = -9.7 + 8. Which is greater: 1 or a?
1
Let j = -3/59 + -109/177. Which is greater: 0 or j?
0
Suppose 3*o - 2*o = 1. Which is smaller: 0 or o?
0
Let h be (-12)/(-30) + 24/(-35). Suppose 0 = 3*q - q. Which is greater: h or q?
q
Let a be -2*34/18*(-3)/(-4). Which is smaller: a or -3?
-3
Suppose 0 = -4*i - i - 10, 3*f = i - 16. Let k = -2 - -1. Which is greater: k or f?
k
Let a be 3/(-10)*(-95)/114. Let r be 2/6*(1 - -8). Let l be (r/66)/(2/(-8)). Is a bigger than l?
True
Let m be 5345/(-20) + 2/8. Let c = m + 5609/21. Which is greater: c or 0?
c
Let c be (4/(-14))/(17/(-238)) - 32. Is -27 not equal to c?
True
Let p = -19 + 19.2. Which is bigger: 2 or p?
2
Let n = 48 - 32. Let q be -1 + -1 - n/(-10). Which is smaller: 2/7 or q?
q
Let r be 1*((-44)/40 + (0 - -1)). Which is bigger: r or 1?
1
Let g be 4/18 - (-13)/(-18). Is g > 0?
False
Let o be (3 + -2)/(-1)*8. Let m = 11 + o. Which is greater: 6 or m?
6
Let r = -0.2 + 0.2. Let a = 2.04 + -0.04. Let t = a + r. Which is greater: 0 or t?
t
Let h = 51/2 + -26. Do h and 2.4 have different values?
True
Let p be 5 - (-3 + 0 - -3). Suppose -w + 0 + p = 0. Suppose 0 = w*q - 3*r + 29 + 21, r = 5. Which is bigger: -8 or q?
q
Let c be 72/(-154) + (12/(-66))/(-1). Which is bigger: 16 or c?
16
Suppose h + j = 5*j + 12, -5*h = -5*j. Is h at most as big as -4?
True
Let a = -0.69 + 32.69. Which is smaller: 0 or a?
0
Suppose -6 - 4 = -2*k + 5*g, -4*g = -4*k + 20. Suppose -4*u = 3*t + 7, -t - 15 = -0*u - k*u. Let s be 6/(-8)*(1 + 53/(-21)). Is u at least s?
True
Let p be (1 + 0 + -1)/(-1). Let i be (-1 + 48/39)/((-39)/(-26)). Is p not equal to i?
True
Let f(r) = -2*r + 12. Let t be f(6). Let b = 1.04 - -0.06. Let l = -0.1 + b. Which is smaller: l or t?
t
Let r be 92/161*(-7)/(-2). Let p(s) = s**3 + 7*s**2 + 6*s + 3. Let h be p(-6). Which is bigger: h or r?
h
Let s = -30 + 35. Which is bigger: s or 1?
s
Suppose 2*b = 6 - 4. Is b smaller than 2/61?
False
Let g = 6 - 6.4. Let i = -5.6 + g. Let l = i - -6.1. Which is smaller: 1 or l?
l
Let h(q) = -2*q**2. Let p be h(1). Let u be p/6*(-2)/6. Let o(s) = 3*s + 21. Let y be o(-7). Which is bigger: u or y?
u
Let r = -14 + 24. Which is bigger: r or 12?
12
Let x = -4561/13 + 351. Let d be 0*(-1)/(3 + -1). Is d < x?
True
Let a(l) = -l**3 + 5*l**2 - 2*l - 5. Let g be a(4). Suppose -2*c - 1 = -g. Which is smaller: -4/9 or c?
-4/9
Suppose -3*k = k - 12. Does 0 = k?
False
Let o(u) = -u - 5. Let s be o(-4). Let n be 0 + -2 + -3 + 3. Which is greater: s or n?
s
Suppose 0 = -2*i - 0*i. Suppose 4*f - 8 = 2*l, -2*f - 4*l - 17 + 1 = i. Let p be 2/(-12)*-3*f. Is p less than 1/4?
True
Let d(t) = -t**3 + 6*t**2 - 2*t + 9. Let p be d(6). Let r = p + 2. Which is smaller: r or 1?
r
Let g be (-9)/4*64/24. Let x be 8/((-10)/g + -1). Is 11 greater than or equal to x?
False
Suppose -21 = 3*y + 4*k + 9, 0 = y - 3*k + 23. Is y < -16?
False
Let u be 16/(-40) - 17/(-5). Which is bigger: 4 or u?
4
Let j = -2/573 + 13778/7449. Is j greater than 2?
False
Let b be (-6)/4 + 1 + (-1)/(-2). Which is greater: -1/2 or b?
b
Let l be 245/42*(-1)/(-7). Suppose 0 = -3*p + 5 + 31. Let q be (-4)/(-6) + 4/p. Which is greater: l or q?
q
Let x be (0 - (1 + -1))*-1. Let z be (2/3)/((-156)/18). Which is bigger: z or x?
x
Let g = -0.05 + -0.95. Which is greater: -0.15 or g?
-0.15
Let s = -0.043 - -8.243. Let m = s + -11. Let d = 3 + m. Which is smaller: 2/9 or d?
d
Suppose -4*l + 6 = 5*m, -5*m + 11 = -3*l + 2*l. Is m less than -11?
False
Let j = -145 - -137.1. Let i = -8 - j. Let q = 0.4 + 1.6. I