t z = v - 6. Which is greater: -3/23 or z?
z
Suppose 0 = 8*b + 40 + 40. Which is bigger: -15 or b?
b
Let v = 2 - -1. Suppose -5*a + 20 - 6 = f, 5*a + v*f = 22. Is a at most as big as 8/5?
False
Let b(j) = -2*j**2 - 6*j + 14. Let h be b(-8). Let i be 67/h - (3 + -9)/6. Which is smaller: 0 or i?
i
Let i = 40 - 121/3. Let b be (-1 + 8 - 2)*1. Suppose 3*o = -s - b, 2*o - 3*s = -3*o + 15. Is o < i?
False
Let w = -1584 + -576. Let a = w - -4405/2. Which is smaller: 44 or a?
a
Let w = -119/9 - -809/63. Let a be (-2)/(-5)*5/(-21). Let c = a - w. Which is smaller: c or 2?
c
Suppose -5*b + 3*f = 14 + 6, -2*b - 12 = -2*f. Let p be 4/18 - 120/459. Which is smaller: p or b?
b
Suppose 37*w - 194 - 731 = 0. Which is bigger: w or 18?
w
Let z(u) = -u**2 - 28*u + 531. Let l be z(13). Which is smaller: l or -45/83?
l
Suppose 0*h - 35 = 2*p + 5*h, 4*h + 20 = 0. Let g be (-562)/104 + (-17)/((-1547)/14). Is p < g?
False
Let k(o) = 19*o - 76. Let i be k(4). Is i <= 14/125?
True
Suppose 3*l + 2 = -4. Let y be -2 - (78/(-16) - l). Let m = 9/8 - y. Which is smaller: -0.2 or m?
-0.2
Let k = -13057/9150810 - -1/5730. Which is greater: k or -1/4?
k
Suppose 2*l + 3*l - 20 = 0. Suppose -4*y + 31 = -5*m, -y - m + 6 = -l*m. Let b(v) = v**2 - 12*v + 12. Let n be b(y). Does n = -15?
True
Let r be (-13)/(1794/12) - 10141/23. Which is smaller: r or -442?
-442
Let g = 276.9153 + 0.0847. Which is bigger: g or 4?
g
Let o(c) = -c. Let g be o(-2). Suppose -p + 26 = 2*h, -3*p - 4*h + 58 = -g*h. Let b = 17 - p. Which is smaller: b or -1/10?
-1/10
Let r = -37 + 38. Let n be (1 + 1)/(-7*r). Are -0.3 and n non-equal?
True
Let s = 14 - 13.5. Let c = s - 9.5. Let b = c - -13. Is 0.1 less than b?
True
Let i(s) = -1149*s**3 + s**2 - s - 1. Let o = 10 - 11. Let z be i(o). Let n be (-2)/10 - (-130)/z. Which is smaller: n or 1?
n
Let n(i) = i**2 + 14*i. Suppose -2*d + 11 + 35 = 0. Let j = -37 + d. Let m be n(j). Which is smaller: -3 or m?
-3
Suppose 3*g + 15 = 0, 3*k + 3*g = 4*g + 20. Suppose 0 = j - a, -k*j - 3*a = 2*a. Which is smaller: 1/24 or j?
j
Let q(n) = -n**3 + 8*n**2 + 20*n - 1. Let p be q(10). Is 4/103 < p?
False
Let x = -444 - -438. Suppose -5*h - p = 0, -12 = -2*h - 2*p - 4. Let c be 1/(2/(-4)) - h. Which is smaller: c or x?
x
Let z = -2059 + 2047.21. Let t = z + -0.21. Let c = 14 + t. Which is smaller: 0.05 or c?
0.05
Let r = -225 + 1124/5. Let t = -12 + 7. Let u = t - -5. Is r at least as big as u?
False
Let o be 902/(-44) + 22 - 10/4. Let f be ((-2)/14)/((-12)/(-14)). Which is smaller: f or o?
o
Let m be (33/(-9) + 5)*(-180)/352. Which is bigger: -2 or m?
m
Let x(k) = k**2 - 42*k + 268. Let r be x(12). Do 1 and r have different values?
True
Let f be (2/(-4))/((9 - 5)/(-72)). Let n(l) = -l**3 + l**2 + 2*l. Let w be n(-2). Which is smaller: f or w?
w
Let f be (-504)/(-72)*(-78)/7*-1. Is 76 greater than or equal to f?
False
Let u = 66 - 36. Suppose -5*m - 7*q - u = -2*q, -2*m + q = 0. Suppose 5*n + 15*k + 30 = 18*k, -4*k = -3*n - 29. Do n and m have the same value?
False
Let i = -316 - -253. Which is greater: -319/5 or i?
i
Let q(i) be the second derivative of i**3/6 - 6*i**2 - 6*i. Let b be q(11). Which is smaller: b or 2/57?
b
Suppose -421 = -70*o + 69. Which is smaller: o or 39/5?
o
Let s = 23.73 - -0.27. Let z = -44 + 42. Is z at least as big as s?
False
Let p = 235 + -224.6. Let v = p - 10.5. Let k = -16 - 10. Which is smaller: k or v?
k
Let m(f) = 21*f + 3. Let i be m(2). Let j be (-10)/4*(-36)/i. Is 2 at least j?
True
Let n = 24/65 - 58/143. Suppose h = -4 + 18. Let i be (-4)/(-14) - 5/h*-2. Are i and n nonequal?
True
Let x = 569 + -395. Do x and 174 have the same value?
True
Let j = -22 + 18. Let u(y) = -2*y + 8. Let d be u(7). Which is greater: j or d?
j
Let n = -1477 - -1487. Is n at most -1/2?
False
Let l be (-22)/(-3) + (-11)/(-33). Suppose -6*u - 48 + 90 = 0. Which is smaller: l or u?
u
Suppose -13 - 67 = -4*o + 3*v, 0 = 2*o + v - 50. Let s = -30.32 - -31.32. Which is smaller: s or o?
s
Let i = -0.213 + 0.313. Are 5/6 and i non-equal?
True
Let o = -21617 + 10527469/487. Which is greater: -1 or o?
o
Let b = -5605 + 5628.87. Let v = b - 0.87. Are v and 0.1 unequal?
True
Let z = -68 - -67.93. Let c = 0.23 - z. Is -0.6 less than or equal to c?
True
Let i(c) = -c - 6. Let o be i(-10). Let y = -4 + o. Let f = -191/2 + 95. Which is greater: f or y?
y
Let n be 2/(-6)*(-3 + 3). Suppose -4*a = -3*w + a + 7, 5*w - a - 19 = n. Suppose -35 = 9*v - w*v. Is -17/3 < v?
False
Let c be (-5)/20 + 4287*(-5)/(-86220). Which is smaller: c or 0?
c
Suppose 3*p - 7*y + 5*y = -211, -p - 2*y = 57. Is p smaller than -66?
True
Let u(r) = -13*r**2 + r. Let o be u(1). Let b be 5/(-10)*-2 + -4. Is o less than b?
True
Let z = 8 - 10.2. Let r = z + -10.8. Let v = r - -14. Which is smaller: v or 0.3?
0.3
Let c = 198 + -76. Is 123 > c?
True
Suppose -4*u - 12 = 0, -6*u + 2*u + 23 = -p. Let m = 34 + p. Which is greater: 1/7 or m?
1/7
Let t = 62477/2556 - 220/9. Which is smaller: t or 0?
t
Let u = -1513 - -844. Is u greater than -667?
False
Let l(z) = z**2 + 3*z - 6. Let s be l(-6). Let j be s/(-8) - 3/(-3). Suppose n + 6 = -3*g, -3*g - 4*n - 15 = -0*n. Which is smaller: g or j?
g
Let h(j) = -j**3 + 7*j**2 - 11*j + 6. Let n be h(5). Let p be (6/735)/(n/5). Is p less than 1?
True
Let k = -7.42 - -0.2. Let p = -0.22 - k. Let s = 7 - p. Is 1/6 > s?
True
Suppose 3*s = 4*a - 24597, 6*a - 2*a = s + 8207. Let g = s - -24359/3. Let f = g - -76. Which is bigger: -3/2 or f?
f
Let z be (-14)/21*(-15)/(-40)*2. Which is bigger: 266 or z?
266
Suppose g - 58 = -g. Let l = 56 - g. Let w be 2/(-10) + l/(-90). Is 2/3 less than w?
False
Let f = -51 - -51.1. Suppose z = -3*z. Let g be (-28)/(-32) + (z - 1). Which is bigger: f or g?
f
Let p = -13/25 + 14/25. Let v(r) = -r**2 + 2*r + 24. Let b be v(-4). Which is greater: b or p?
p
Suppose -c + 0 - 2 = 0. Let i = 29 + -30. Let k(g) = -g**3 - 3*g**2 - 2*g - 1. Let x be k(i). Is x equal to c?
False
Let w = -2 + -1. Let r be (-4)/328*3*(-4)/w. Is 1 not equal to r?
True
Let f be (4/6)/((-12)/702). Which is smaller: -38 or f?
f
Let s = 98 - 126. Let u = 28 + s. Which is greater: u or -18?
u
Let k = 33.13 + -33. Let r = -454.9 - -455. Is k at least r?
True
Suppose 4*q + 13 = -4*o - 7, -3*o + 1 = -q. Let z be (790/130 + -6)/((-1)/(-3)). Is o equal to z?
False
Let n = 175 + -183. Which is smaller: 1.6 or n?
n
Let m be ((-378)/35)/(7/(-35)). Is 49 > m?
False
Let h be ((-63)/(-27))/(110/126) - 3. Which is bigger: h or 0?
0
Suppose 3*n + 2*n + 66 = 3*v, 0 = -4*n + 2*v - 52. Let l(d) = -d**3 - 10*d**2 + 22*d - 27. Let m be l(n). Which is greater: -22/9 or m?
-22/9
Let l be 7*1/(-3)*-3. Let f = 15 - l. Let n = 59/7 - f. Which is bigger: n or 1?
1
Let y(i) = i**3 + i**2 - i + 11. Let g be y(0). Suppose -g*o = -7*o - 48. Which is greater: o or 13?
13
Suppose 0 = 2*l - 104 - 358. Let j be (-4)/(-7) + 22/l. Is 0 > j?
False
Suppose 4*j - 26 = -2*p, -3*j - 2*p = 2*j - 30. Let w be 36/(-104) + j/(-26). Which is bigger: -9 or w?
w
Let y = -31.5 + 43. Let w = 0.5 - y. Let d = -5 + w. Is d at least as big as 2/3?
False
Let f(b) = 18*b + 1. Let g be f(1). Let u(y) = -y**2 - 2*y + 1. Let n be u(1). Let h be (-308)/(-3648) + n/g. Which is bigger: h or 1?
1
Let u(r) = -7*r**2 - 68*r - 12. Let q be u(-10). Which is smaller: -26 or q?
q
Suppose -15*h + 10*h = 7*h + 696. Let x = 48 - 105. Which is bigger: h or x?
x
Let o(f) = f**3 - 6*f**2 + 7. Let y be o(6). Suppose 0 = -2*x - 5*k + 14, 0 = -2*x + k + 14. Suppose -z = x*z - 64. Are z and y unequal?
True
Let t be 6/(-27) - 127/(-45). Suppose -2*n + 4 + 2 = 0. Which is smaller: n or t?
t
Let b(j) = 3*j**2 + 5*j + 25. Let y be b(-7). Does 137 = y?
True
Let g = -2416 - -2388. Let w(d) = d**2 - 11*d. Let z be w(5). Which is smaller: g or z?
z
Let o be 10/(-104) - 1/(-4). Let b = -135 - -199. Let f = b + -64.1. Which is bigger: f or o?
o
Let v = -30 - -29. Let t = 36 - 50. Which is greater: v or t?
v
Let o = -0.2 + 0.3. Let g = -22.033 + 0.033. Let m = g - -25. Which is smaller: m or o?
o
Let r = 0.26 - 0.12. Which is smaller: 5 or r?
r
Let i = -7 - -23. Suppose 0 = 5*k - i + 56. Let w be (-3)/(-2)*14/(-3). Do w and k have the same value?
False
Let w(n) = 8*n - 8. Let x be w(1). Which is greater: -8/19 or x?
x
Suppose 0 = -3*h - j - 17, -2*h - j + 2*j - 13 = 0.