k or -1?
k
Let r be 93/(-837) + 110/18 + -2 + -4. Let s be ((-4)/15)/(3/18). Which is smaller: s or r?
s
Let r be (-6)/(-72)*(-30)/(-5). Which is smaller: r or 21.8?
r
Let z be (3 - (-2 - -3))*(-41)/3. Let t = -28 - z. Which is smaller: 4 or t?
t
Suppose 4*q = -t + 2*q - 9, 3 = t - 2*q. Let k be 1*(t/(-3))/1. Let z = -60 + 61. Is k less than z?
False
Let d = -46 + 70. Let h = 20 - d. Is h at least as big as 1?
False
Let d = 0.47 - 0.77. Which is bigger: -1/11 or d?
-1/11
Suppose -8*c + 892 = -9*c. Which is smaller: c or -891?
c
Let q = 112 - 132. Is -4 > q?
True
Let g = 774 + -851. Does g = -79?
False
Suppose 3*l = -l + 96. Suppose z = 3*a - a + l, -z + 30 = -5*a. Suppose 0 = 5*d - z + 75. Which is bigger: d or -0.1?
-0.1
Let d be -3*4810/4800 + 3. Is d less than -1?
False
Let q = -23.26 + 0.26. Let u = q + 16. Let a = u + 6.9. Which is greater: 2/7 or a?
2/7
Suppose 0 = -2*f + 13 - 47. Suppose 0 = -18*t + 25*t - 56. Suppose 0 = -t*p + 3*p + 4*x - 77, -3*x + 11 = -p. Are p and f nonequal?
False
Let o be -2 - -2 - 44/11. Is -2/23 not equal to o?
True
Let m = -14 + 7. Let z(f) = -f**2 + 27*f + 21. Suppose 2*l + 28 = 84. Let n be z(l). Is m greater than or equal to n?
True
Let r(z) = -12*z. Let q be r(-2). Suppose 5*a - 608 = -2*s, 2*a - 2*s - 3*s - 220 = 0. Suppose 27*k - 32*k + a = 0. Are k and q nonequal?
False
Let p = 632/42119 - -6/547. Is p greater than 6?
False
Let z = -1/39 - -43/156. Let g = -16 + 19. Suppose -9 = -0*v + g*v + 3*t, -12 = -v + 4*t. Is z at most as big as v?
False
Suppose -15 = -7*t + 6. Suppose 2*c - 3*c = t*c. Let s = -134/5 + 27. Which is smaller: c or s?
c
Let s = -834 - -830. Which is smaller: s or 1?
s
Suppose -5*w + 814 = -q, -5*w = -3*q - 440 - 382. Let i = -10 + 16. Let t be i/(-4)*(-6)/w. Do t and 1 have different values?
True
Let k(h) = -2*h + 25. Let a be k(12). Which is smaller: a or 55?
a
Suppose -6 = t - 12. Let d be ((-4)/t)/(18/(-81)). Suppose 0 = -x + v + 15, 0 = -5*x - d*v - 22 + 73. Which is greater: x or 13?
13
Suppose -35 = -551*n + 556*n. Is 13 equal to n?
False
Suppose -3*v = -2 - 4. Suppose -v*l - 156 - 126 = 0. Let n be l/(-270) + 10/(-45). Which is smaller: n or 0?
0
Let w be -11 + (-7 - -15) + -55. Is -58 less than w?
False
Suppose x + 3*x = 0. Suppose x = -3*k + 15. Suppose 9*j = -5*j + 84. Is k <= j?
True
Let a(c) = c**3 - 4*c**2 - 6*c + 6. Let i be a(5). Let y be 17/(-20) - (-7)/(-28). Let t = 13/5 + y. Are t and i non-equal?
True
Suppose 5*g - 7*h = -3*h + 133, -h = -2*g + 52. Suppose -7*r - 59 = g. Is -10 at most as big as r?
False
Let n = 13.58 + -10.58. Is 52 bigger than n?
True
Let s = -28 - -29.1. Let o = s + -1.12. Let c = -6.98 + o. Which is smaller: 2/5 or c?
c
Let g = -13 - -19. Let v(p) = -10*p - 108. Let s be v(-11). Suppose -8*n - s = -g*n. Is n less than -9/7?
False
Suppose 5*c = 2*c + 54. Let g be ((-3)/c*4)/(4/(-39)). Which is smaller: 6 or g?
6
Let u = 263 + -262. Which is smaller: u or 1/179?
1/179
Let r(v) = -7*v**3 + 5*v**2 + 9*v - 75. Let q(g) = 10*g**3 - 7*g**2 - 13*g + 112. Let c(l) = -5*q(l) - 7*r(l). Let o be c(0). Which is smaller: o or -37?
-37
Let h be 3 + (2/(-3))/((-54)/(-81)). Which is bigger: -2 or h?
h
Let t(p) = p**2 + 9*p - 4. Let f be 1/(-2) - (-798)/28. Suppose -f = 2*g + 2*q, -2*g + 6*g + 11 = 5*q. Let d be t(g). Does -4 = d?
True
Suppose v = 6*v + 3*j + 59, -34 = 2*v - 4*j. Let p = v + 12. Let k = -0.5 + 1. Which is smaller: p or k?
p
Let v = 15 - 15.152. Let p = -0.048 + v. Let j = -1.97 - 0.03. Is p <= j?
False
Let i = -2619/10540 + 33/124. Is i less than 1?
True
Let d be -2 + (-2)/(-1) - -1. Let l = 47 + -22. Let b = -24.8 + l. Is d at most as big as b?
False
Let d be (-2)/7 - (-5)/(14875/780). Suppose -2 = 11*m - 9*m. Which is smaller: d or m?
m
Suppose -12 = x - 4*h, 2*x - 3*h + h = 0. Suppose -n - 125 = x*n. Is -25 equal to n?
True
Let z = 75 + -139. Let w = z - -383/6. Let s = -102 + 101. Which is smaller: w or s?
s
Let i be -9 - -4 - -5 - 36/(-188). Which is smaller: -1 or i?
-1
Let w(x) = x**2 + 8*x - 4. Let j be w(-9). Suppose 22 = 2*i - u, -j*u + 22 = 5*i - 4*i. Which is smaller: 1 or i?
1
Let w = -54 - -66. Let r be (100/(-6))/(-8*(-6)/w). Is r equal to -4?
False
Let w = -5338 - -10381/2. Let v = w + 153. Let y(z) = -z**2 + 9*z - 8. Let c be y(7). Are v and c non-equal?
True
Suppose 0 = -3*q - 22 - 2. Let r be ((-11)/(-121))/((-2)/q). Let u(p) = p**2 + 6*p - 1. Let s be u(-6). Is r less than s?
False
Let y(i) = -i**2 + 3*i - 1. Let b be y(2). Let a = b + 0. Suppose -182*g + 185*g = 0. Which is bigger: a or g?
a
Let f(t) = 4*t**3 + 3*t**2 - 1. Let r be f(-2). Which is greater: 1 or r?
1
Let h = 1773 + -1509. Is h != 264?
False
Let d = -0.09 + 0.09. Let s = 0.1 - d. Which is smaller: s or 19?
s
Let c be (-2)/13 - 4/(-26). Suppose j + i = 8, c = -3*j - i + 20 - 2. Suppose 0 = -0*x + j*x - 15. Which is bigger: x or 4?
4
Let a = 128 - 125. Let g(m) = -m**2 + 2*m + 3. Let j be g(3). Suppose -u + 5 - 2 = j. Is a at least u?
True
Suppose -o - 2*m - 44 = -519, -3*o + 2*m = -1457. Is 0.1 != o?
True
Let r be (-1)/(15/6 + -3). Suppose 0 = -o + r*o - 4. Suppose -3*g + 7*g - o = 0. Do 1/13 and g have the same value?
False
Let y(f) = -f**3 + 16*f**2 + 15*f + 6. Let v be y(17). Let d be (-1)/v*4/12*12. Let u(g) = g**3 + 4*g**2 + 2*g - 4. Let t be u(-3). Is t != d?
True
Let w = -12.417 + -0.583. Let p(t) = -t + 9. Let f be p(8). Which is smaller: w or f?
w
Let u(w) = w + 13. Let m be u(-9). Suppose 3*s = m - 4. Are s and 0 nonequal?
False
Let i = -7610 + 7206668/947. Are 1 and i non-equal?
True
Let s(v) = 4*v - 9. Let u be s(-13). Let p = -56 - u. Let k = 8 - 4. Which is smaller: k or p?
k
Let a be 144/(-120)*20/(-104). Which is smaller: 3 or a?
a
Let i = 41/209 + -2/19. Let k(a) = 2*a + 2. Let l be k(2). Let c = l - 6. Is i not equal to c?
True
Let c be (-3 - 22/(-6))*26/(-13). Which is greater: 4.3 or c?
4.3
Let u(a) = -a**3 - 3*a**2 + 3*a + 1. Suppose -9*l + 14*l = 15. Suppose 0 = l*q - q - 2*o + 6, -o = 0. Let n be u(q). Is 1 < n?
False
Let t(j) = -j**2 + 3*j. Let b be t(3). Let k = 1495611/4584670 - -10/12391. Let i = k - 1/37. Which is smaller: i or b?
b
Let f = -0.04 - -0.94. Let n = -0.97 + f. Which is smaller: n or -2?
-2
Let p = 1190 - 1185. Is p smaller than -95?
False
Let t be (-6)/(-8)*18/1161. Let w(m) = -m**3 + 5*m**2 + m - 5. Let h be w(5). Is h at most t?
True
Let z = 464.9 + -465. Let m = 12 - -14. Let s = m - 18. Which is smaller: s or z?
z
Let q = -4829/812 - -188/29. Let n = q + -2/7. Which is greater: n or 0.03?
n
Let u(t) = t**2 - 5*t + 1. Let a be u(7). Let y = 3 + 3. Let i = y + -7. Which is smaller: i or a?
i
Let i = -40 + 46.2. Let h = i + -7.2. Is h at least -1/17?
False
Let s be (2/4)/((-2)/96). Suppose 4*x - p - 18 = 25, 0 = -4*x - 5*p + 73. Let z = s + x. Are -13 and z non-equal?
True
Let t = -0.72 - 44.28. Are t and 2/3 nonequal?
True
Let d = 21188/33 + -642. Which is smaller: 1 or d?
d
Let t be (-135)/30 - (-12)/(-8). Which is smaller: 34 or t?
t
Let d be ((-48)/45)/((-6)/(-9)). Let y = 319 - 320. Which is bigger: d or y?
y
Let n = 192 + -98. Which is smaller: n or 0.1?
0.1
Let m = -37/180 + -2/45. Suppose 0 = -3*t - 15 + 3. Let q be (2/t)/(6/12). Which is smaller: m or q?
q
Let o = 43 - 43. Let i = -748 + 20913/28. Let c = -1/7 + i. Which is greater: c or o?
o
Suppose 2*g + 3*i + 40 + 16 = 0, 121 = -5*g + 2*i. Is -21 less than or equal to g?
False
Suppose -5*o + 3*o + 4 = 0. Suppose 0 = -4*k + 2*w + 92, 2*w + 9 = 1. Suppose m = -4*i + 15, 3*i + 2*m = -2*i + k. Do i and o have different values?
True
Let k = 137 - 75. Let i = 57 - k. Is -17/3 >= i?
False
Let v = 18.34 + -18. Let w = -0.09 - v. Let s = w - -0.23. Does 0.6 = s?
False
Let u be (-7)/((-6)/(66/77)). Which is smaller: u or 2/6949?
2/6949
Let t = -0.36 - 24.64. Let z = t - -22. Does z = 0.1?
False
Suppose -4*i = -2*n + 12 - 54, -3*n = -4*i + 43. Let c be (-97)/(-9) - i/(-45). Suppose -h = 4*l - 32, -h + 4*l - 8 = -0. Is h smaller than c?
False
Suppose -k - 4 = 3*r - 2*k, -3*r - 5*k = -20. Let l be (0/(-1 - r))/(-3). Does l = -2/5?
False
Let l = 1.767 + -3.467. Let w(v) = -v. Let p be w(5). Let m be (25/(-4))/p - 1. Is l greater than m?
False
Suppose 8*w = 3*w. Suppose -n = -w*n - 3. Let k be 2/n*(-6)/4. Is 1 not equal to k?
True
Let r = 47 - 47.1. Let n = 3 - -1.