0) - 38/(-4). Suppose x = -k + 2. Are k and -6 unequal?
False
Let o(a) = -a**3 + 5*a**2 + 8*a + 7. Let t be o(6). Suppose -3 = n - t. Which is bigger: -0.1 or n?
n
Suppose -2*u - u - 5*j = -35, 2*j - 10 = -u. Which is greater: u or 26?
26
Let x = -2779 + 3163. Is 0 > x?
False
Let c = 55 - 56.1. Let p = c - -0.6. Which is smaller: p or 0.06?
p
Let o(g) = -g**3 + 9*g**2 - 8*g. Let k be o(8). Let f = -180 + 155. Which is smaller: f or k?
f
Let r be ((-1)/10)/(6560/(-200)). Is r greater than or equal to -1?
True
Let n = 4873/424 - -3/424. Which is smaller: n or 13?
n
Suppose 6*p = p - 5. Let r(v) = -v**3 - v**2. Let z(c) = -3*c**3 + 2*c + 2. Let h(f) = 5*r(f) - z(f). Let q be h(-2). Which is smaller: q or p?
q
Suppose t + 16 = 5*t. Let m(b) = -1 + 3 - t - 3*b. Let r be m(-2). Is r equal to 2?
False
Suppose 9 = v - 3. Suppose w + 4 = 15. Which is smaller: v or w?
w
Let p = -13.8846 - 0.1154. Let x = -1 - -2. Is p smaller than x?
True
Let s = -0.8 - 0.3. Let a = s + 1. Which is bigger: -5/7 or a?
a
Suppose 5*v = 24*v - 38. Are v and -11 nonequal?
True
Let m = 249 - 249. Let z = -2 + 1. Are z and m equal?
False
Let s = -0.8 + 1.5. Let z = -83 - -251/3. Is z at most s?
True
Let b be (-1 - (-9)/5)*5. Suppose 2*c + 24 = -b*p, -5*c - p - 60 = 2*p. Let u be (c/57)/2*-1. Which is bigger: u or 2?
2
Let r = -10083 - -8913371/884. Is 0 at most as big as r?
False
Let t = -11 + 8. Let b = -1 + t. Let m = -4 + b. Which is smaller: m or -1/2?
m
Let d be 2880/1056 - (-3)/11. Which is smaller: d or 9.1?
d
Let d(v) = v**3 + 7*v**2 - 4*v - 7. Let s be d(-7). Let q be (4/6)/(7/s). Which is bigger: 0 or q?
q
Let u = -65 - -70. Suppose 0 = -3*s - u*m + 15, -s - 3*m + 9 = s. Let t(q) = -q**2 + 10*q - 11. Let a be t(8). Is s less than a?
True
Suppose -q - 224 = 31*q. Is -14 less than q?
True
Let g(u) = u**2 + 4*u - 3. Let o be g(-4). Let k be (33/(-60) - 3/(-4)) + o. Which is bigger: k or -3?
k
Suppose 0 = 5*d - 153 + 808. Let q = 138 + d. Is q at least 44/7?
True
Let y be 4/(-22) - (-551265)/605. Let v = -15495251 - -604350320/39. Let d = v - y. Which is smaller: 0 or d?
0
Let c = 30 + -30. Does 7/54 = c?
False
Let j = 121 - 97. Let s be 3*j/(-18) - 26/(-6). Is s greater than 0?
True
Let i = 0.516 - 0.466. Is 1/4 at most as big as i?
False
Let x be (7550/100)/(3/6). Is 152 < x?
False
Let d = 7.376 + 0.024. Is 1 bigger than d?
False
Let x = 6.0634 - 0.0634. Is 0.5 greater than x?
False
Let k = 1486 - 1496. Is 88 smaller than k?
False
Let y(f) = f**3 + 12*f**2 - 47*f - 35. Let o be y(-15). Let w = 6607/8 - 830. Is w greater than o?
True
Suppose 2*t = 3*j + 4, 5*j - 3*t - 2*t + 5 = 0. Let c = 10.6 + -11. Let a = c + 0.4. Which is smaller: j or a?
j
Let b be ((-2)/4)/(20/(-40)). Let d be ((-1225)/5)/5 + 3/b. Which is bigger: d or -47?
d
Let a be -42*1/((-4)/4*1). Let d be 7/42 - 235/a. Which is smaller: d or -5?
d
Let q(v) = 101*v + 3 + 14 + 11 - 98*v. Let d be q(-9). Which is smaller: 9/10 or d?
9/10
Suppose 5*b = 4*s - 43, 0 = 5*b + 3*s - 2*s + 33. Let z = -12 + b. Is z at most as big as -18?
True
Let i be -325*((-1708)/73)/4. Let y = i - 1901. Is 1 equal to y?
False
Suppose 2*p - 3 = -33. Suppose -2*x - x = 45. Do x and p have the same value?
True
Let w be (-1 - -3 - 1)/(3/(-177)). Let g = 58 + w. Is 8/21 at least as big as g?
True
Let u = 1 + -3. Let n = 418 - 424. Is u at least as big as n?
True
Let f = -8 - -8.2. Let c be 1/(-1)*((-6)/(-4))/(-3). Which is smaller: c or f?
f
Let v(a) = -40*a + 481. Let w be v(7). Which is bigger: -2/5 or w?
w
Suppose 5*d - 369 - 66 = -5*f, -170 = -2*f - 4*d. Is 88 < f?
True
Let w = 2 + -4. Let v(p) = 2*p**2 - 2*p - 2. Let d be v(w). Let q(i) = -2*i + 4. Let y be q(d). Which is greater: -15 or y?
-15
Let c = 0.172 - -0.82. Let u = c - -0.008. Are 4 and u equal?
False
Let k = -11 - -6. Let r = 10 + k. Suppose -3*a - r*w = -10, 7 - 3 = -w. Which is greater: a or 7?
a
Let h be (7 - 5)/(1 - (-74)/(-70)). Let b = h - -31. Is -3 at most as big as b?
False
Let w(o) = 9*o + 58. Let q be w(-8). Is -38/3 >= q?
True
Let u(d) = 2*d + d + 11 - 4*d. Let k be u(7). Suppose -k*b = b. Which is bigger: -1/11 or b?
b
Let a = 2/1041 + 2060/11451. Let u(c) = -c**2 - 2*c + 4. Let b be -3 - 0/(-2 + -3). Let p be u(b). Which is smaller: p or a?
a
Let n = 24 - 27. Let p be 29/4 + n/12. Let k = p + -5. Which is smaller: k or 1?
1
Let a(y) = y**2 - 15*y + 20. Let o(n) = -n**2 + 7*n + 1. Let l be o(3). Let b be a(l). Which is bigger: b or -17?
b
Let m(z) = -z**3 + 38*z**2 + 39*z + 23. Let x be m(39). Are 21 and x equal?
False
Let g = -1748 + 120604/69. Is g > -1?
True
Let r = 717/2 + -360. Which is greater: r or -42?
r
Let x = -254 + 263. Let c be (4/(-6))/((-4)/6). Let o be (-3 - x) + c - -4. Is -10 at least o?
False
Let k(h) = -16*h**2 + 64*h + 95. Let a(w) = -3*w**2 + 13*w + 19. Let m(z) = -11*a(z) + 2*k(z). Let r be m(16). Does r = -3?
True
Let o = 0.07 + -4.07. Let c = o - -8. Let a = 5193 + -5192.6. Is a greater than c?
False
Let o be 2 - 0 - (1 + -3). Let f be 0/(2 - (5 - o)). Let b be (-13)/(-14) - (-1)/(-2). Is b > f?
True
Let b be (2 - 1) + (2 - 0). Suppose 5*f + 8 = -b*f. Do f and -4/5 have the same value?
False
Suppose 0 = -5*b - 5*o - 10, b = -2*o - 3 + 1. Let k = 3 - 4. Are b and k equal?
False
Let y(w) = 3*w**2 - 63*w + 142. Let s be y(20). Are s and 81 nonequal?
True
Let d = -1.6 - -0.6. Let q be 0/(-1 - (3 - 5)). Is q bigger than d?
True
Let w = 62 - 1489/24. Suppose -5*c = -4*u - 11, 0 = -2*c + 9 - 3. Do w and u have the same value?
False
Let t = 16997/2 + -8226. Does t = 272?
False
Let k = 30 + -26. Let s(m) = -m**3 + 4*m**2 - 3. Let n be s(k). Is n at least -4?
True
Let z(j) = 17*j - 208. Let v be z(15). Which is bigger: v or 46?
v
Let n(x) = -23*x + 229. Let g be n(10). Is g > 5/82?
False
Let z = -55 - -58.3. Let o = -3.05 + z. Which is bigger: 0 or o?
o
Suppose -12*h + 6 = -10*h. Is h bigger than -2/7?
True
Let t = -344 - -346. Is t equal to 5/6?
False
Let n be (-3)/(-2)*(-15)/(-18045)*-6. Which is smaller: 0 or n?
n
Let h = 47 - 42. Suppose 5*t = -4*k - 95, h*t + 97 = -5*k - 18. Is -21 less than k?
True
Let f = 2.91 + 0.79. Let u = 8.7 - f. Let o = -5 + u. Which is smaller: 3 or o?
o
Suppose z + 3*f + 15 = 0, -4*f = 5*z - 0*z + 20. Let w be (-106344)/(-22610) + (12/(-10))/3. Let b = 84/19 - w. Which is greater: b or z?
b
Suppose -3*r - 66 = 3*c, 3*r - 43 - 17 = 4*c. Let g = 38 + c. Let b be 15/(-6) + (1 - -1). Which is bigger: g or b?
g
Let b(u) = -2*u**2 - 16*u + 11. Let k be b(-9). Let y be ((-23)/k - 3)/(9/(-7)). Is y at most 1?
True
Let o = -0.293 - 0.407. Which is smaller: 5 or o?
o
Suppose -t - 185 + 186 = 0. Is -1/491 < t?
True
Suppose 0 = -5*t + u + 316, 3*t + u - 4*u = 180. Suppose z - t = -3*z. Is 17 smaller than z?
False
Let g = 15 + -13. Let s(i) = -12 - i + i - g*i - 7. Let t be s(-8). Is t equal to 0.3?
False
Let w(t) = -2*t**2 + 38*t + 24. Let i be w(20). Are i and -1/3 unequal?
True
Suppose -114 = -3*s + 27. Let i = s + -38. Suppose -10*t + i*t = 0. Is -1/8 at least t?
False
Let p(a) = 2*a**2 - 3*a + 2. Let n be (-15)/(-3) - (5 - 2). Let w be p(n). Suppose -4*s - 18 = 2*c, 4*c + w*s = c - 21. Are c and -1 non-equal?
True
Suppose 2*q = 0, -2*q = -5*c + 3*c - 580. Which is greater: -289 or c?
-289
Suppose 0 = 62*o + 4515 + 12845. Which is smaller: o or -2/5?
o
Suppose 0 = 5*n - 2*p + 22, 7*p - 4*p = 2*n. Let d be (-15)/(-9) + 2/n. Which is bigger: d or 3?
3
Suppose 4*v - 1 = -29. Let g(k) = -k**3 - 7*k**2 - 2*k - 5. Let u be g(v). Suppose -u*l + 14*l - 90 = 0. Which is bigger: l or 17?
l
Let z = -514 - -609. Which is bigger: 94 or z?
z
Let x = -4.15 + 5.24. Which is greater: 0.2 or x?
x
Let d(i) = 8*i**3. Let m be d(1). Let j be 1/1 + m/(-7). Let a be 0 - (0 + (1 - 1)). Which is smaller: a or j?
j
Suppose 2*d - 4*c = -16, 4*d + 12 + 8 = 4*c. Let v be 0 - (-52)/((-8)/4). Let p be 2/11 - v/(-143). Is p less than d?
False
Let c = 5 - 12. Let a(z) = -z - 1. Let l(i) = -i**2 - i + 13. Let y(t) = -5*a(t) - l(t). Let s be y(c). Is s at most -2/9?
True
Suppose -4*b = -4*y, 2*b = -3*y + 7*y + 4. Let u be 1/((3 + -5)/12). Is b at least u?
True
Let l be (0*2/(-2))/2. Suppose l = 5*h - 2*h. Let i = -188 - -2446/13. Which is smaller: i or h?
h
Suppose -9*r + 40 = -4*r. Suppose r*k - 5*k = -y + 100, 5*y = -2*k + 71. Let c be (5/6)/((-11)