Let k be w(u). Let f be (2 + (-10)/4)*6. Which is smaller: k or f?
f
Let y = -2.34 + -0.46. Let i = 0.2 - y. Is i > -2/11?
True
Let c = -386/345 + 22/69. Let w = 4 - 4. Which is smaller: w or c?
c
Let b be (-18)/(-106)*(-192)/4032. Are b and -1 nonequal?
True
Let d be (-1372)/8 + 6/4. Is -170 smaller than d?
False
Let k = -517 + 528. Let q(s) = -s**3 + 7*s**2 - 5*s + 7. Let b be q(6). Which is bigger: b or k?
b
Suppose 4*m = 3*c - 80 + 296, 133 = 3*m + 5*c. Is 45 at most as big as m?
True
Let t be 0/(3/(-3)*2). Suppose -r = -t*r + 2. Let i = -4482/4169 - 6/379. Is r bigger than i?
False
Let y = -492 - -465. Let d(n) = -15*n + 3. Let c be d(2). Is c < y?
False
Let d(q) = -2*q - 9. Let g be d(-6). Let w be 74/37 + (-1)/(-1)*-2. Suppose w = 6*r - g*r. Which is smaller: r or 1/11?
r
Let s be -5 + 4 - 515/65*-1. Which is greater: s or 8?
8
Suppose -u - 2 = 4*l, -8*l = u - 7*l + 14. Is u greater than -0.3?
False
Let z be ((-5 - -2) + 5)/2. Which is greater: 7/115 or z?
z
Suppose 2*w = v, -6*w = 5*v - 10*w - 18. Is v < 36?
True
Suppose -5*w = -4 - 11. Suppose -4*j = 3*h - 27, -5*j + 23 = -4*h - w. Suppose 0*o = -6*o + j. Which is smaller: o or -9?
-9
Let r(f) = -4*f**3 - f**2 - f - 1. Let i be r(-1). Suppose -5*o + 2 = -t, -t - i = -2*o - 1. Let j be 15/(-20) - (-1 + 130/456). Are j and o unequal?
True
Let t = 2/370277 - 112934749/48876564. Let c = -1/44 + t. Is c at least as big as -3?
True
Suppose 3*q = -2*t + 31, 0 = 5*t + 1 + 4. Let j = -6 - -11. Suppose -j*b + 3 = -57. Which is greater: q or b?
b
Let z(p) = -5*p**2 - 20*p - 52. Let u be z(-3). Is -32 > u?
True
Suppose -k + 11 = -4*v, -3*k - 3 = -5*v + 2*v. Let o be 49/(-42) - v/6. Let j = -96 - -959/10. Is o >= j?
False
Let f = 190 - 191. Let d = 37409/56 + -668. Which is bigger: d or f?
d
Let w be (-38)/(-8) - (-8)/32. Suppose -a + l = 2, w*l + 2 - 4 = a. Is a != 0.1?
True
Let d = -15 + 28. Suppose 0 = v - 6 - 8. Which is smaller: d or v?
d
Let n = 325 + -325.7. Which is bigger: n or -1/28?
-1/28
Let g = 34 - 34. Let o be 7/2*(g + 2). Is o greater than or equal to 7?
True
Let y(u) be the third derivative of -u**5/30 - 3*u**4/8 - u**3 - 2*u**2. Let i be y(-4). Let m be 9/(-12)*i/(-3). Which is greater: -1/5 or m?
-1/5
Let u = 312 + -291. Which is greater: u or 22?
22
Let m(l) = -5*l - 7. Let j be m(-13). Which is bigger: 57 or j?
j
Let b be (24/(-10))/((-10)/2825). Let q = 23732/35 - b. Suppose m - 5*r - 19 = 5*m, 3*r + 4 = 5*m. Is m equal to q?
False
Suppose -f = 4*f + 5*v + 15, 3*v + 17 = f. Let q be ((-2)/4)/(1/f). Let i = -1/251 - 1489/4267. Is i greater than q?
True
Let r(u) = u + 2. Let t be r(11). Suppose -5*q + t = -4*q - 3*c, 3*c - 11 = -5*q. Let w = q - 2. Is w at least 0?
True
Let j(s) = 47*s + 54. Let t be j(-2). Which is greater: -37 or t?
-37
Let m be ((-24)/(-10))/((-6)/15). Let x be -1 + m/(-16) - (-3)/4. Which is bigger: -1 or x?
x
Suppose -46*t = 1364 + 844. Are -54 and t nonequal?
True
Let h = -46.9 - -31. Let a = -3.6 + -13.4. Let i = a - h. Is i smaller than 0?
True
Suppose q = 1, -q = -4*r - 3*q + 10. Is -92 not equal to r?
True
Let i be (-2)/(-3 + -1)*-1. Let p = -30 + -51. Let q = p + 82. Is i equal to q?
False
Let g = -801829/36 - -22271. Let b = g + 16/9. Is -36 at least as big as b?
False
Let u = -20.5 + -1.5. Let m = 13 + u. Let j = -10 - m. Which is greater: j or 0.2?
0.2
Let m(c) = -c**2 - 4*c + 2. Let a be m(-4). Let x be ((-5)/a)/((-5)/10). Suppose t + d = -1, -x - 4 = 3*d. Which is greater: t or -3?
t
Let p(k) = -3*k**2 + 98*k - 65. Let o be p(32). Do o and -10/103 have different values?
True
Suppose 17 - 9 = -2*b. Let g be 4/(-12)*-3*b/(-10). Is 24 <= g?
False
Let n be 5245/(-10) + 6 - -6. Is -512 at least as big as n?
True
Let v be ((-774)/(-120))/(8/40). Which is smaller: v or -1/2?
-1/2
Let w = -2731/5 + 548. Let z = 108/35 - w. Which is bigger: z or 0?
z
Let k(d) = d**2 + 13*d - 53. Let v be k(-17). Suppose -v = 2*n + 5*f, n - 3*f - 6 = -f. Which is smaller: -0.067 or n?
-0.067
Let b be 460*(-22)/(-1045) - 10. Is b < 15?
True
Suppose 1 = -u + 1. Let y be (u - 1)/(350/(-5)). Is 0 at least as big as y?
False
Let p = 15 - 23. Let w be (-14)/412*p/14. Which is smaller: 1 or w?
w
Suppose -82*k - 265 = -87*k. Is k at least as big as -0.08?
True
Let y(k) be the second derivative of k**3 - 15*k**2/2 + 12*k. Let z be y(3). Is z at least -7?
True
Let p = 454 + -453. Do p and 3/17 have different values?
True
Let m = -457/3784 - 2/473. Which is greater: m or 1.4?
1.4
Let d be (-13053)/27 - -5 - (-1 + 1). Let w = 480 + d. Is w greater than 1?
True
Let c = -10 - -10. Suppose -z + c*z = -2. Is z greater than or equal to 12?
False
Let o = -22454284995/2033 + 44179609/4. Let q = o - -1/428. Are 2 and q nonequal?
True
Suppose -8*y - 204 = -172. Let q(p) = -4*p - 3. Let d be q(-2). Let g be 0 + -1*(d + 2). Is g greater than or equal to y?
False
Suppose -j - 3*t + 2 = -5*t, 5*j + 4 = -4*t. Suppose j = -19*k + 17*k - 14. Let s = -19 - -13. Is s at least k?
True
Suppose -9*g + 690 = -30. Let o = 61 - g. Is 0 greater than or equal to o?
True
Suppose -9*h + 5*h - f = -56, 0 = 3*h + f - 43. Which is bigger: h or -6?
h
Let k = 4 + -1. Suppose 2*q = 5*t + 77, -49 = k*q - 2*t - 148. Let d = q - 32. Which is greater: -0.09 or d?
-0.09
Suppose -2*y + 0*y - 840 = 0. Which is smaller: y or -421?
-421
Let h be 4/10 + (-340588)/820. Let d be 3*(-6)/9 + -413. Let g = d - h. Which is smaller: g or -1?
-1
Let b(i) = i**3 - 10*i**2 + 10*i + 13. Let m(u) = -2*u**3 + 19*u**2 - 19*u - 26. Let l(c) = 5*b(c) + 3*m(c). Let w be l(5). Which is smaller: w or 22/7?
w
Suppose 48*w - 15 = 49*w. Let y be 155/(-10)*1*6/w. Does 5 = y?
False
Let j be (4 - 1) + 7336/(-2440). Is 1 bigger than j?
True
Suppose -4*r + 20 + 20 = 0. Let i be (-2)/r - (-1515)/75. Is i at most as big as 20?
True
Let k = 599.08 + -609. Let r = -10 - k. Let o = r + 0.18. Is o >= 0.12?
False
Let u = -214.2 - -230.2. Is u greater than 7?
True
Let x be (8/(3 - 11))/((-1)/2). Which is greater: x or 16/7?
16/7
Let b = -11.125 - -0.125. Let c = -0.4 + -2.6. Let p = b - c. Is 1/4 not equal to p?
True
Let t = 10.6 + -10.5. Are t and -1/301 equal?
False
Let a be (-4)/((-12)/(-10953))*6/18. Let x = -9769/8 - a. Do -5 and x have the same value?
False
Let r = 43 - 130/3. Let p = 3 - 3.14. Let y = p - -0.44. Which is greater: y or r?
y
Suppose 90*k - 5*q + 655 = 95*k, -4*q = -2*k + 244. Do 902/7 and k have different values?
True
Let o be (3/460)/(48/(-5) + 10). Which is bigger: -1 or o?
o
Let w = -3.7 - -17. Is w > -2/5?
True
Suppose -1169 = 12*p - 881. Which is smaller: p or -30?
-30
Let n = 586 - 742. Is n at most -156?
True
Let z be -10*(-2)/25 - 998/10. Is -100 at least z?
False
Let l = 2 + -2.3. Let y = -326 - -271.8. Let t = -54 - y. Are t and l unequal?
True
Let q = -336/5 - -66. Which is smaller: 28 or q?
q
Suppose 116*s + 5*v - 11 = 117*s, 85 = 5*s + 3*v. Suppose 5*w - 3 = 12. Let l(y) = 2*y**3 - 5*y**2 + 2*y - 1. Let u be l(w). Is s greater than or equal to u?
True
Let l(p) = -24*p**3 + p**2 - 2*p - 2. Suppose -5*f = 4*a + 1 - 3, -f + 6 = -2*a. Let h be l(a). Let d be 4/18 + 10/h. Does 0 = d?
False
Let q = -1 - -2. Let a be 1/(7/2) - 528/1008. Which is smaller: a or q?
a
Let h(y) = -14*y - 9*y + 7*y + 3. Let w be h(-2). Is w at most 35?
True
Let w = -127 + 187. Is -4 != w?
True
Suppose 339 = 13*c + 3342. Let r be (-5 + 2 - -2) + (-217)/c. Let i be (1 - 1)*(-2)/4. Are r and i equal?
False
Let w be 3 + -1 - (-6 - -2). Which is smaller: 43/7 or w?
w
Let o = -12 - -10. Let l = 1.92 + o. Let q = 0.02 - l. Which is greater: q or -1/3?
q
Let c be (10/(-16))/(35/(-20)). Let o = -17/28 + c. Is -0.01 less than o?
False
Suppose 93 = -29*t - 2*t. Which is smaller: t or 138?
t
Suppose 5*l - 12 = 4*a, -2*a = 3*l + l - 20. Suppose -6*h + l = -2*h - 3*d, -2*h = -5*d - 16. Which is bigger: -15/7 or h?
h
Let h = -32 - -36. Suppose -3*a = -4*c + 21, -h*a - 6 = -5*c - 7*a. Which is smaller: 20/13 or c?
20/13
Let t = 300 - 8401/28. Let w = 15/28 - t. Which is smaller: w or 2/9?
2/9
Let f = 5.5634 - 0.4624. Let w = 0.001 - f. Let y = w - -5. Is y at most -4?
False
Suppose -b - 3*b - 360 = 0. Which is smaller: b or -88?
b
Let j(b) = -b**3 + 2*b**2 + 3*b - 3. Let m be j(2). Suppose -4*u - 19 = -3*h, 0 = u - m*h - 1 - 1. Let t = 6 + u. Is t < -2?
False
Let d(a