nd 3/5 nonequal?
True
Suppose 0 = -5*f - 12 + 37. Suppose -3*k = -4*r + 32, -6 - f = -k - 3*r. Let z be (16/180)/(k/(-10)). Is 1 equal to z?
False
Suppose -29 = 8*n - 10*n + 3*l, -4*l - 55 = -5*n. Which is bigger: 0 or n?
n
Let b = 9.1659 + -0.0959. Let m = -2.07 + 2. Let f = b + m. Which is smaller: f or -0.1?
-0.1
Let v be (-1041)/10 - (6/15 - 1). Which is greater: -104 or v?
v
Let f be 8/(-208)*(-2)/(-22). Let k = 5708365 + -14693330929/2574. Let j = k + f. Which is smaller: j or 2?
j
Let m = -55 - 20. Let t(y) = 13*y - 23. Let o be t(-4). Is o bigger than m?
False
Suppose 0 = 2*x - 19 - 7. Suppose 3*m - 12 - 24 = 0. Let u = x - m. Is u > 1/13?
True
Let l = 41 - 39. Let v(u) = u**3 + 2*u - 3. Let z be v(l). Let i be ((-2)/z)/((-6)/45). Is 3 less than or equal to i?
False
Suppose -2*l - y + 14 = -5*y, 2*y = -2*l - 4. Suppose -c + m + 8 = c, -c = -4*m - 18. Which is greater: c or l?
c
Let s(i) = 7*i**2 - 6*i**2 + 2*i + 0*i**2 + 1. Let p be s(2). Suppose 0 = 6*j - p*j. Are j and 0.2 non-equal?
True
Let x = 0.01 + -9.01. Let t = x + 15. Which is smaller: -2 or t?
-2
Let u be 8/(1 + -3)*-1. Suppose 0*c + 44 = -u*c. Let n be -1*(c/(-5) - 2). Are 1 and n nonequal?
True
Let s(b) = 4*b + 8. Let m(p) = p**3 + 4*p**2 + 2*p + 2. Let k be m(-4). Let x be s(k). Let v = x - -19. Which is smaller: v or 4?
v
Let l = -0.065 - 29.635. Let z = 41.8 + l. Let b = z - 12. Which is smaller: 3/4 or b?
b
Let s = 147 - 75263/512. Which is smaller: s or 0?
0
Let t be (2/8)/((-714)/(-24) + -1). Which is bigger: 0 or t?
t
Let d be -5 + (-16011)/33 + 8/44. Which is greater: -491 or d?
d
Let d be (-4)/10 + 501/(-45)*-3. Suppose -2*a + d - 23 = 0. Is a greater than 5?
False
Let i = -1.7089 + 1.6089. Let j = 79.93 + -0.93. Is i greater than j?
False
Let s(h) = h**2 + h - 1. Let a be s(-1). Let y = 7752/25 + -310. Is a bigger than y?
False
Let b = -500 - -456. Which is bigger: b or -42?
-42
Let g be (4/6)/(51/(-9)). Let l = -22 + 24. Suppose q - 2*x - 7 = x, -4 = -l*q + x. Are q and g nonequal?
True
Let m(y) = y**2 + 9*y + 12. Let q be m(-7). Let t be (-1)/(-2)*q/(-1). Is t equal to 2/33?
False
Let h = 376 - 352. Which is bigger: 171/7 or h?
171/7
Suppose 0 = 3*m + 2*g - 1466, -1962 = -4*m - 9*g + 10*g. Are 489 and m nonequal?
True
Suppose -1 = -5*s + 4. Suppose 0 = -65*u + 59*u + 6. Suppose -i - 18 = 4*x, 4*i - 19 + u = 2*x. Which is greater: s or i?
i
Let n(g) = g**3 + 7*g**2 + 5*g - 25. Let d be n(-5). Let b = -79/91 - -2/13. Which is greater: b or d?
d
Let m be ((-10)/6)/(1/(-54)). Is m less than 89?
False
Let o = 49 - 87. Let x = o - -37. Is -1/33 not equal to x?
True
Suppose 9*m - 13*m = 0. Is m < 5/13?
True
Let n = 0.675 + -0.875. Which is bigger: 6 or n?
6
Let p be (-3)/((-9)/3)*3. Suppose -p*w + 5*w - 2 = 0. Suppose 0 = 3*t - 2*t - 2. Is w >= t?
False
Let h = -65/12 + 463/84. Let p = -1006/9 + 112. Which is smaller: p or h?
h
Suppose -g + 4*v + 12 = -4*g, -3*v = 2*g + 9. Let t(q) = q**3 + 15*q - 5 + 0 - 4*q**2 + 7*q**2 + 5*q**2. Let i be t(-5). Is i != g?
True
Let j = -90 - -1348/15. Suppose 1 = -d - 2. Let f be ((d - -2)*3)/(-3). Is f equal to j?
False
Let n = 46.1 - 44. Let o = 3.1 - n. Is 2/17 at least o?
False
Suppose -1 - 3 = -2*n. Suppose n*z - 12 = 2*k, z - 2*k - 21 = -4*z. Suppose h - 5*i + 11 = 0, h = -z*h - 2*i. Which is greater: h or 2/75?
2/75
Let b be 8 + (-3905)/22 - (-1)/(-2). Which is bigger: b or 2?
2
Let d = -1105 - -20997/19. Is d at most as big as 0?
False
Let j be (-6)/4*(2 + -6). Suppose -j = -0*d + 2*d. Let u(a) = 4*a**3 - a. Let r be u(-1). Is d >= r?
True
Let a be 7 - (-2)/4*-6. Suppose 0 = 2*m - 6, a*v + 2*m + 12 = 6*m. Is 2/55 <= v?
False
Let u = -8 - -11. Let t be ((-1)/(-3) - 0)*9/u. Which is smaller: -2/157 or t?
-2/157
Suppose 0 = 2*l - r - 38, 0 = -3*r - 8 - 4. Let a = 81/5 - l. Which is greater: -2 or a?
a
Let x(m) = -m**2 + 98*m - 403. Let g be x(0). Which is bigger: g or -402?
-402
Let b(i) = 16*i + 87. Let c be b(-6). Let y(a) = -a**2 + 5*a + 7. Let h be y(6). Which is smaller: c or h?
c
Suppose 3*a = 8 - 5. Suppose -6*f + 6 = -9*f. Let y = f - -9/4. Which is smaller: a or y?
y
Let w(i) be the second derivative of -i**3 - 9*i**2 + 2*i - 4. Let q be w(-3). Let b = -255/4 - -65. Is b <= q?
False
Let k(c) = 3*c**2 + 2*c + 8. Let s be k(-3). Let y = s + -52. Let i be y*(-4)/(-28) + 3. Is i <= 1/3?
True
Let l be 89/221*(-3)/(-3). Let w = -578/689 - -20/53. Let x = l + w. Which is smaller: x or 1?
x
Let m = -355 - -354.6. Are m and 59 nonequal?
True
Let y(i) = -45*i + 135. Let d be y(3). Which is greater: d or -1/136?
d
Let z be (-2)/(5/170*(-5)/(-10)). Which is greater: -138 or z?
z
Suppose 0*j = -2*d - 3*j, 4*j = 3*d. Suppose d = -4*c + c. Is c > -6/13?
True
Let v = 18 - 10. Let r = 0.087 + -0.187. Is r at most as big as v?
True
Let o be 3 - ((-22)/(-2) - 8). Are o and -1/1323 unequal?
True
Let h be (-2)/(-2)*44/(-280). Let d = -501/3010 - h. Which is greater: 1 or d?
1
Let z be (-3)/6 + (954/264 - 3). Is -1 less than z?
True
Let w = -22/15 - -182/165. Let c be (7 + -7)/(-1 - 1). Is w at least c?
False
Let d be ((-5)/7)/(108/(-882)). Let k = 13/2 - d. Do 0 and k have the same value?
False
Suppose -u + 5*n - 19 = 0, -5*u - 22 = -4*n + 52. Let c = u - -18. Suppose 3*q - 2*o + 4 = 0, 2*o + 2*o = -c*q + 8. Are q and 6/31 equal?
False
Let z = 161 + -162. Let a be (z/1 - 5)*-3. Which is smaller: a or 20?
a
Let w be (-8)/(0 - 2/(-4)). Let l = 553 - 569. Is w < l?
False
Let v = -12237/19765 - -36/59. Which is bigger: 0 or v?
0
Suppose -4*u + 5*d = -55, 4*u + u + 3*d - 78 = 0. Let z = -10 + u. Let f be 18/(-10) - 1/z. Which is smaller: f or -1?
f
Let p be ((-19)/(-3))/(17/51). Let r = 51 - p. Is 31 bigger than r?
False
Suppose 3*n + 0*n + 4*q + 26 = 0, 0 = 4*n - 4*q + 44. Let g be 2/4 - 590/(-20). Suppose g = -4*y + y. Is y != n?
False
Let y(v) = 2*v**3 - 7*v**2 + 4*v - 2. Let q be y(4). Is 57/2 bigger than q?
False
Let u(c) = -11*c - 14. Let w be u(-8). Let h = w - 80. Is 4 smaller than h?
False
Let a = -134/35 + 31/7. Let q = -3 + 5. Suppose -q*z + 10 = o, -o + 14 = 5*z - 8. Which is smaller: a or o?
a
Suppose 0*r - 30 = -3*r. Let g = 0.06 - 0.05. Let y = g - -0.09. Which is greater: r or y?
r
Let o be (-6)/(-45) + ((-8792)/(-30))/7. Suppose -o = 12*r + 18. Is -30/7 > r?
True
Let x be (-18)/42 + (-26769)/(-62559). Is -1 smaller than x?
True
Let b = 280 - 829/3. Suppose 0 = -4*u - 2*d + 2, 2*u - 3*d + 5 - 26 = 0. Let o be (-3)/(-2 + u/3). Which is smaller: b or o?
o
Suppose o - 3*b + 16 = 3, 4*b = 5*o + 21. Is o greater than or equal to -4/91?
False
Let b(w) = 2*w**2 - 2*w - 3. Let l be -3 + -5 - -4 - (-3 + 1). Let y be b(l). Which is smaller: y or 10?
y
Suppose 2*x = -x + 48. Which is smaller: 12 or x?
12
Let b = -0.024 + 146.024. Is -1 not equal to b?
True
Let z be (15*(-3)/(-9))/1. Suppose -43 = 4*k - 3*s, 3*k = z*s - 0*s - 46. Let o be (2 - 0) + (1 - 11). Are k and o non-equal?
True
Let b = 467 - 5139/11. Is 0.2 >= b?
True
Let g be (-1 - 13)/(-3 + (-10)/(-2)). Let b(u) = u**3 + 3*u**2 + 2*u - 2. Let k be b(-3). Which is greater: k or g?
g
Suppose -4*r = 5*c + 9, -r - c + 0 - 1 = 0. Suppose -12 = -4*x - 0. Suppose g - 13 = -5*v + x, -3*g = -v. Which is smaller: v or r?
v
Let a(j) = -j**2 - 28*j - 54. Let k be a(-24). Suppose -8*b = -302 - k. Is b at most 44?
True
Let d = -0.1 - 0. Which is greater: -4 or d?
d
Let t = -697.8 - -698. Is -176/9 != t?
True
Let p = 3.9 + -9.8. Let w = 2 + -8. Let c = w - p. Is 0.07 bigger than c?
True
Let d(n) = -69*n**3 + 11*n + 10. Let u be d(-1). Let g be -4 - u/150*-9. Suppose 6*b + 4 = 2*b. Are g and b nonequal?
True
Let u = 0.147 - 13.347. Let x = u - -0.2. Let z = 12.7 + x. Is -1 smaller than z?
True
Let n = -694 + 39559/57. Which is smaller: 1 or n?
n
Let f be ((-5)/270*-2)/(2/(-6)). Suppose 20 - 3 = -4*k - 3*v, -k + 7 = -3*v. Let b be (-4 + 2 - -2)/k. Is f less than b?
True
Let x = 77 + -78. Is x bigger than -59?
True
Let q = -80 + 114. Let k = -36 + q. Which is smaller: 0 or k?
k
Let o be (12/(-24))/((-21)/5). Is 0 greater than o?
False
Let b be (4/(-8))/((-3)/(-2)). Let y = 95/6 + -187/12. Are y and b non-equal?
True
Let q be -7 + -3 + (-420)/(-25). Are 6 and q unequal?
True
Let q(j) = 2*j**3 + 2*j**2 + 3*j - 15. Let x be q(3). Is x bigger than 66?
False
Let w = 51 - 39. Which is bigger: 13 or w