2)/(-4). Are 9 and t unequal?
True
Suppose 232 + 286 = 7*a. Let y(d) = 74*d**3 - d**2 - d + 1. Let f be y(1). Which is smaller: a or f?
f
Let w = 8.6 - 1.6. Suppose -3*c + 3 = 3*d, 106*c = 111*c - 3*d + 3. Which is bigger: w or c?
w
Suppose 9 = 3*k, -3*k + 0*k = 4*v - 57. Let h(i) = i**3 + 7*i**2 + 4*i - 2. Let u be h(-6). Is v less than or equal to u?
False
Let y = 100 - 124.3. Let p = y + 23. Let h = 9 + -8. Does h = p?
False
Suppose -13*m + 1099 = -604. Which is bigger: m or -1/4?
m
Suppose 2*m + 8*m = 16930. Let l = m - 21997/13. Which is smaller: 1 or l?
l
Suppose -4*s - 3*w + 116 = 4, 0 = 2*s + 4*w - 66. Let y be (12/(-9))/((-2)/36). Let u = y - s. Is 3/8 at most as big as u?
False
Let c = 4 - 3. Suppose -5*q + 4*d - c = -19, q + 3*d - 15 = 0. Let g be q/9*3/2. Which is bigger: g or -2/5?
g
Let p be 6/(-132)*(-40)/(-55). Which is greater: 1 or p?
1
Let p be 2/(-20)*5/2. Which is greater: 340 or p?
340
Let g = -241 - -247. Which is bigger: g or 8?
8
Let s be (-580)/(-6) - (-110)/(-165). Which is smaller: s or 292/3?
s
Let g = 184 + -204. Is -17 less than g?
False
Suppose -5*z - 33 = -38. Is 21/2 > z?
True
Let p = 657 + -660. Which is bigger: p or 3.7?
3.7
Suppose 4*a + 6 = 2*s, a - 6 = -5*s + 9. Let r = 829/16926 - -1/434. Are r and a unequal?
True
Let c = 490 + -296. Which is bigger: 195 or c?
195
Let v = 204.49 - 0.49. Do v and 0 have the same value?
False
Let l = 26 + -27.48. Let u = -1.8 - l. Let q = u - -0.12. Is q equal to 0.2?
False
Let a be 1290/(-18) - -3*4/18. Which is bigger: -70 or a?
-70
Let b = -1387 + 1426. Does 34 = b?
False
Let n(l) = -l**3 - 6*l**2 + 4*l + 15. Let p be n(-6). Let u be 2/(-4) - (1 + p/24). Do 0 and u have the same value?
False
Let f = 161 + -105. Let b = 313/474 - -1/158. Which is smaller: b or f?
b
Let v be 4 + ((-2)/(-9))/(104/2712). Let m = -370/13 + v. Which is bigger: -19 or m?
m
Suppose 3*i = -2*y, -2*y + 0*i + 32 = -5*i. Let h(t) = -t**3 + 7*t**2 - 8*t + 1. Let g be h(y). Let n be 460/(-36) + 6/(-27). Do g and n have the same value?
False
Suppose 64*r - 112 = 8*r. Let g = 1401/5 - 279. Are r and g nonequal?
True
Let r(d) = -d**2 - 7*d - 2. Let l(n) = -n**2 + 1 - 3 - 5 + n + n**3 + 0*n. Let x be l(0). Let m be r(x). Is m smaller than -0.2?
True
Let x = -53/2 + 82/3. Does 1 = x?
False
Let y(g) = 13*g - 65. Let h be y(18). Is h bigger than 169?
False
Let k be 32*(1/2 + 0). Let y = -27 + k. Let f = 3 + -14. Is f less than y?
False
Let k be (135/(-20) + 7)*4/(-46). Let s = -3 + 3. Do s and k have the same value?
False
Let t = 963 + -1169. Is -208 greater than or equal to t?
False
Let j be ((-12)/(-10))/(-3*(-6)/1080). Which is smaller: j or 68?
68
Suppose -4*r = -16, 3*y = 6*r - 3*r - 12. Which is greater: -1/75 or y?
y
Let h = -134.8 + 135. Which is smaller: -63 or h?
-63
Let h = -2.1527 + 0.1527. Which is greater: 125 or h?
125
Let v be 6/18 - 22/102. Let d = 28/51 + v. Let q = 1 - -11. Are d and q non-equal?
True
Let b = 57/62 + -44/31. Is b smaller than -2/379?
True
Let k = 30.9 + -32. Let y = k + 2.3. Let p = 1.4 - y. Which is bigger: p or -3?
p
Suppose -4*q - 20*q = -8088. Are 337 and q non-equal?
False
Let b = -12 - -11.9. Let m = -2 - -5. Let v = m - 4. Which is bigger: b or v?
b
Let i = 17.9 + -16.1. Which is smaller: i or -0.2?
-0.2
Let z be (-78)/(-4)*(198/(-27) + 8). Which is greater: -0.5 or z?
z
Suppose 5*n - 3*n - 16 = -2*o, 5*n - 34 = o. Which is smaller: 5/9 or n?
5/9
Let n be -64 - 280/(-14) - (0 - 4). Do n and -0.9 have different values?
True
Let o = 78 - 17. Let q = 61 - o. Suppose 3*v - g = v + 7, 4*v - 4*g - 20 = 0. Which is bigger: q or v?
v
Let j(u) = -u**2 + 8*u - 6. Let p be j(6). Suppose p*y + 20 = -76. Is y at least -13?
False
Let t(l) = -3*l - 12. Let m be t(-9). Suppose 0 = -8*f + 11*f + m. Let h = 24 + f. Is 19 >= h?
True
Suppose -6*c = -5*r - 7*c + 22, 5*r - 2*c - 31 = 0. Suppose -2*w + r*u + 592 = u, 2*u = 3*w - 896. Let b = 2997/10 - w. Which is smaller: 1 or b?
b
Let i be (-16)/33 - (-4)/6. Let l(b) = -2*b**2 - 10*b + 1. Let c be l(-5). Suppose 5*f - 6 = -c. Which is bigger: f or i?
f
Suppose -3*w + 1 = -5*p - 20, -5*p = 3*w + 9. Let l be 0/(-1)*1/p. Suppose -g - 5*a + 3 - 17 = 0, -a - 7 = -4*g. Which is greater: g or l?
g
Suppose -2*h = 5*b + 114, -b = 2*b + 5*h + 57. Let c = b + 55. Let i = -54 + c. Is -22 equal to i?
False
Let x(b) = -b**2 + 15*b + 22. Let d be x(15). Let v(y) be the first derivative of 3*y**4/4 - y - 2. Let a be v(2). Which is greater: d or a?
a
Let i be (-321)/2*(15/(-3) + 3). Is 321 greater than or equal to i?
True
Suppose 0 = y + 4*f - 10, y = -3*f - 0*f + 8. Let q be (y - (-1424)/(-28))*-7. Let c be (-2)/1 + q/144. Which is greater: c or 0?
c
Let q be (2/8)/(-1 + 2). Let c = -60.15 - -61. Let t = c + -4.85. Is q less than t?
False
Suppose 0 = -b - 11 + 14. Are b and 11/4 equal?
False
Let b be (9/135*10)/(4/(-606)). Is -508/5 less than or equal to b?
True
Let s = -1581/2 + 3967/5. Does 1 = s?
False
Let v be ((-10)/(-30))/(-1 - (-14)/6). Which is smaller: -4 or v?
-4
Let t be (7192/(-36))/(-2) - 2. Let b = t + -98. Is 0 less than or equal to b?
False
Let i(k) = k - 12. Suppose 5*c - 165 = -15. Suppose 6*m = 3*m + c. Let r be i(m). Is r equal to -2?
True
Let h = -1568 + 7712/5. Which is smaller: -26 or h?
-26
Let u be (-1)/(3*(-3)/(-27)). Let n be (u/(-65))/((-1)/(-5)). Let y(j) = j**2 - 10*j + 25. Let f be y(6). Is n > f?
False
Let v = 12 - 22. Let o(s) = 2*s**3 + 15*s**2 + 2*s + 4. Let m be o(v). Let l be (-4)/22 - m/(-66). Which is bigger: 1 or l?
1
Let c = -0.5 + 0.7. Let k = -2.1 - -1.8. Let s = c + k. Is s < -0.06?
True
Let d be 33 + 1*0/1. Suppose 6*p - 4*p - 3*w = 8, 4*p - 16 = 2*w. Suppose d = -7*i + p*i. Is -19/2 at least as big as i?
True
Let p = 503/15 + -191/6. Which is greater: 1 or p?
p
Let x be (21/252)/(2/18). Suppose -5*d + 4*d + 13 = 0. Suppose -2*n - 2 = 2*f - 0*f, f + d = -5*n. Which is greater: x or f?
f
Let b = -547 + 328. Is b at most -220?
False
Let b be 3/2 + 2/4. Let j be 2/4 - (-15)/b. Suppose -43 = -9*v + 2. Which is smaller: j or v?
v
Let s be (4/(-6))/((-1)/3). Suppose 1 = v + r, 1 = v - s*r - 2*r. Let t be (4 - 4)*v/1. Which is smaller: 2/19 or t?
t
Suppose -s = 4*p - 63, 2*p = -5*s + 2 + 7. Suppose 3*l = p + 1. Which is smaller: 7 or l?
l
Let h = 9 - 11. Let z = -1 + h. Let u = -37/3 + 12. Which is smaller: u or z?
z
Suppose -2*k - 185 = -f - 36, -370 = 5*k - 2*f. Which is bigger: -4 or k?
-4
Suppose -40*p + 24*p - 6480 = 0. Which is greater: -406 or p?
p
Let v be 2/(-3) - (-8)/3. Suppose -2*i - 5*n = -5*i - 8, -5*n + 28 = v*i. Suppose -m - i*o + 8 = 0, -4 = -2*o + 2. Is m equal to -6?
False
Suppose 292 = -4*k + 124. Let n be 14/k*(-3)/(-22). Is n at most 1?
True
Let g be (-15)/3*(-34)/(-935). Let y = 0.18 + 7.82. Is y at least g?
True
Suppose 0 = -3*l - m + 41, 0*l - 6*m - 14 = -2*l. Is l bigger than 6?
True
Suppose 8*y - 56 + 32 = 0. Let o = -1.99 + -0.01. Let r = o + 5. Is y at most as big as r?
True
Let s = 109 - 60. Let c = s - 62. Is c >= -11?
False
Suppose 2*t + l = -936, -5*t - 2861 = l - 515. Is -469 <= t?
False
Let x = -24 - -56. Let o = x - 32. Is o at most as big as -0.2?
False
Let x = -71 + 103. Suppose -7*v - 10 = 3*v. Which is greater: v or x?
x
Let h = -226/3 - -76. Let r(w) = w**2 - 13*w + 3. Let n be r(13). Suppose 5*q = -4*o + 65, n*q - 36 = -5*o + 16. Are q and h nonequal?
True
Suppose -2*z - 10 = -0*z, 3*z + 87 = 3*t. Let c = t + -34. Let g be (0 - 2/(-2))/c. Do 1 and g have the same value?
False
Suppose 4*m + 0*m + 3*x = 8, x + 4 = 0. Let c(q) = q**3 - 4*q**2 - 5*q - 12. Let v be c(6). Suppose j = 6*j - v. Which is smaller: m or j?
m
Suppose 0 = 67*d + 48681 - 15114. Which is smaller: -499 or d?
d
Let k be 25/5*(-1)/5. Are k and 4/151 non-equal?
True
Suppose -8*k = -2113 + 2057. Is 6 at least as big as k?
False
Let w = -526 - -511. Which is bigger: w or -29/2?
-29/2
Let i = 4.65 - 3.65. Are i and 0.92 equal?
False
Let b = -9 - 0. Let i(q) = 5*q + 37. Let m be i(-8). Let x be (-4 - (m + -1)) + -11. Which is bigger: b or x?
b
Let d = -8 + 14. Let q be d*1/(-2) + 7. Let c be (-3)/(-3) - q/6. Is -2/7 > c?
False
Let y = -0.5 + 1. Let g = 50.5 + -47. Let x = g + y. Which is greater: 3 or x?
x
Suppose 1 = 4*x - 7. Suppose -3*s = -0*s - t - 16, 0 = x*s - 5*t - 2. Let i(m) = m**3 - 3*m + 2. Let z 