k be l(16). Let u = -33 - k. Which is smaller: -3 or u?
u
Suppose -30 - 2 = -5*s + l, s + 5*l + 4 = 0. Let i be 11/(-154)*-13*6. Is i less than s?
True
Let s be -136 + (-7)/(-7)*-3. Are s and -139 unequal?
False
Let y = -23 - -113/5. Suppose 0 = 3*l + 8 - 5. Does y = l?
False
Let t(s) = s**3 + 8*s**2 + 7*s - 2. Let k be t(-7). Let b = 20.03 + -20.09. Which is smaller: b or k?
k
Let q(y) = -y**2 - 9*y - 3. Let f be q(-4). Suppose 4*i = 95 - 3. Let o = -7 + i. Is o >= f?
False
Let j(d) = 72*d**2 - 1. Let m be j(1). Is 68 less than or equal to m?
True
Let z = -252667/7 - -35954. Let h = 141 + z. Which is greater: 1 or h?
1
Let p be (-2 + (0 - -1))*11. Let i = 59/2 - 117/4. Is i at least p?
True
Let g = -82 - -54. Let r be 8/g*3/10. Let p = 1/5 - r. Which is bigger: p or -3?
p
Let g = -6274/25 + 251. Let p = 373 + -373.1. Does p = g?
False
Let u be ((-134162)/(-1365))/(-14) - -7. Which is greater: 1 or u?
1
Let r = 0.97 + -14.97. Let m = 2 + -8/3. Which is smaller: m or r?
r
Let u = 53 - 50. Suppose 2*b + b - 12 = u*f, 3*b - 12 = -5*f. Which is bigger: f or 1/31?
1/31
Let t = -3 - -2. Let f = -73 + 82. Suppose v - 2*q = -6, v + q = -2*q + f. Which is smaller: v or t?
t
Let f(h) = h + 4. Let n be f(-7). Let q be 7*(-1)/(-1) + n. Let s be 18/(-8)*-4 + -4. Which is smaller: q or s?
q
Let n = -620.05 + 620. Let f = 4 - 6. Let o be f/(-4) + (-2)/12. Which is bigger: o or n?
o
Let g = 1090 - 1090.2. Let s(p) = -p**3 + p**2 - 1. Let f(r) = 6*r**3 - 7*r**2 - 2*r + 1. Let h(k) = -f(k) - 5*s(k). Let j be h(3). Which is greater: g or j?
j
Let j = 295/9 + -20918/639. Is 1 at least j?
True
Let f = -2523 - -2554.82. Let s = -32 + f. Let u = s + 0.48. Which is greater: 1 or u?
1
Let i be (-1)/(-6) - 1/6. Suppose 3*f - 5*b - 68 = i, 3*f - 4*b = 2*f + 25. Is 21 not equal to f?
False
Let a = 5.8 - 9. Let z = 2.3 + a. Let m = 31.8 + -32. Which is smaller: m or z?
z
Let d be (-228)/15 - 1/(-5). Let u be (2/d)/(2/(-18)). Suppose 4*o + 4 = -4*m + 8*o, -o + 7 = 2*m. Which is smaller: u or m?
u
Let t be (8/16)/((-58)/(-32)). Which is smaller: 0 or t?
0
Suppose 13*x = 11*x - 4, 0 = m - 3*x + 501. Is -507 > m?
False
Let b be ((-1)/(-1))/(19 - 18). Let g be ((0 + 0)/(-4))/b. Which is bigger: 2/15 or g?
2/15
Let h(t) = -t - 6. Let s = 5 + -10. Let b be h(s). Are b and -2/83 unequal?
True
Let b = 599.694 + -587.8. Let f = b + 0.106. Is 1 != f?
True
Suppose v - 21 = -i, 4*v = -v - 3*i + 101. Let f = 42 - v. Which is smaller: f or -1?
-1
Let f(u) = 7*u - 38. Let t be f(12). Let a = 34 - t. Let o = 2 - 4. Is a greater than o?
False
Suppose 0 = -5*f - 4*x + 2070 + 169, -8 = 2*x. Which is greater: 450 or f?
f
Let i be 3/(-12) - 13/(-4). Suppose 4*f = 4*x + 16, -5 - 11 = i*x - 5*f. Do -1 and x have different values?
True
Let y be (-6)/(-2) - (1 - (-4065)/1881). Let q = y + 4/57. Let o be (-1)/(((-2)/(-2))/1). Are q and o equal?
False
Let c = -98 - -99. Are c and -1/380 non-equal?
True
Let k(v) = 11*v - 211. Let w be k(29). Is 217/2 at most as big as w?
False
Suppose 28 = -36*x - 8. Is x > -6/67?
False
Suppose -36 = 5*b - b. Let z = b - -9. Let s be 1*(1 - 8/12). Which is smaller: s or z?
z
Let u = 475/357 + 5/51. Let b be ((-4)/56)/(2/(-8)). Is b > u?
False
Let q = 22 + -18. Suppose 0 = -q*o + 2*o - 5*r + 24, -2*r = -2*o - 4. Suppose 2*v + 16 = 5*c, -3*c = -4*c + o. Is -3 > v?
False
Suppose -145*w + 158*w + 1768 = 0. Which is smaller: w or -139?
-139
Let z be 27/(-12)*(9 - 1). Let s be (-1 - z/2)/((-9)/(-3)). Is 3 at most as big as s?
False
Let z = 6 - 10. Let n be -46*4/44 + z/(-22). Let w be 5/4*1*-4. Is n less than w?
False
Suppose -2*b - 83 = -g, -4*g - 5*b = -89 - 191. Are g and 77 non-equal?
True
Let z = 7.2 + -10.2. Which is smaller: z or 1/5?
z
Let u be (-315)/56*(2 + (-678)/333). Is u greater than -1?
True
Suppose 5*o = 22 + 3. Suppose 5*k + 2*j = 23, -6*k = -k - 4*j - 29. Let z be 12/(-30) - (-32)/k. Which is bigger: z or o?
z
Let i = -1771 - -1440. Is i at least -330?
False
Let d = -1301/12 - -457/4. Suppose 5*n + 2 = 3*l - 26, 0 = -5*l - 3*n + 24. Is l less than d?
False
Suppose -4*k = 2*p - 6 + 26, 3*k + 15 = -3*p. Let y be ((-4)/(-8))/(k/(-120)). Let n = y - 110/9. Which is smaller: 0 or n?
n
Let y = 43 + -173/4. Let z = 14 + -11. Suppose p - k = -6*k - 24, 3*p + z*k + 12 = 0. Is y >= p?
False
Let h(x) = x**3 - x**2 - 5*x + 6. Let c = -94 + 98. Let y be h(c). Do 1 and y have different values?
True
Suppose 0 = 2*z - 0*n + n - 56, 2*z = 2*n + 68. Let a be (-4)/(-6) + (-800)/z. Which is greater: a or -51/2?
-51/2
Let a = -1580 - -1579. Is a not equal to -22/15?
True
Let z(m) = 33*m + 32. Let y be z(-1). Is 5/28 bigger than y?
True
Suppose 2*r + 2 + 20 = 0. Let n = r + 9. Which is smaller: n or 0.3?
n
Let l = 37230/13 + -2858. Which is smaller: 6 or l?
l
Suppose u = 3*u. Let o be 1*(-12)/21*-1*1. Which is smaller: u or o?
u
Suppose j - 288 = 10*j. Let k = -79 - j. Which is smaller: k or 0?
k
Let o = 244 + -228. Do 5 and o have different values?
True
Let m(q) = -q**3 + 7*q**2 - 5*q - 5. Let o be m(6). Let x be (4/(8/10))/o. Which is smaller: x or 3?
3
Let l = 16 + -10. Let x = l + -6.1. Let y = -8.1 + 18.1. Which is bigger: y or x?
y
Suppose 4*p = -j + 48, 0 = -6*j + 3*j. Let w be ((-3)/4)/(p/(-968)). Let l = 62 - w. Which is smaller: l or 2?
l
Let r(v) = v**3 + 41*v**2 - 38*v - 20. Let f be r(-42). Is -190 greater than f?
False
Let y = 2861.1 - 2859. Is y not equal to 25?
True
Suppose -567 = -3*s + 24*s. Is s greater than 7?
False
Let j = 423861 - 10589048/25. Let k = j - 299. Let v(x) = x**3 - 3*x**2 + 4*x - 4. Let c be v(2). Is c less than or equal to k?
True
Let m = -1832 + 1744. Is 0.02 bigger than m?
True
Let s(r) = -20*r + 670. Let u be s(33). Is u less than or equal to -20?
False
Let w be 2553/855 + (-12)/4. Which is smaller: -1 or w?
-1
Suppose 4*n = 12, -2*n - 1 = f + 1. Is f greater than -74/11?
False
Let j(v) = v + 1. Suppose -16 = 3*k + k. Let t be j(k). Let g = 0 - t. Is 5 > g?
True
Let y(w) = -w**3 + 10*w**2 - 21*w - 16. Let q be y(5). Which is smaller: q or 6?
q
Let p(s) = s**3 + 5*s**2 + 4*s - 1. Let x be p(-3). Let u be (2 - x) + (-16)/(-20). Is -2 greater than u?
True
Let s = -0.339 - -0.439. Let i(u) = -u**3 - 6*u**2 - 2*u - 6. Suppose 24 = -d - 3*d. Let c be i(d). Is c at least as big as s?
True
Let h = -104 - -109. Is -22 less than h?
True
Let n(k) = -k**3 + 18*k**2 - 85*k + 36. Let d be n(9). Is d < 1/183?
True
Let w be 9/(((-4)/(-3))/4). Let j(u) = u**2 + 4*u - 2. Let g be j(0). Is w at most as big as g?
False
Let d = 244 - 8051/33. Is d >= -1?
True
Let b be 8423/2310 - (-20)/(-70). Let l = b - 3/110. Which is smaller: l or 4?
l
Suppose 17*z - 2558 + 2524 = 0. Which is bigger: z or -2/745?
z
Let x = 787 + -18105/23. Which is greater: x or 1?
1
Let s be 9/(-2)*(-14)/21. Let j be s/3*2 + -1. Is 2/103 at most as big as j?
True
Let p be 24/(-9)*6/4. Let o be (-20)/(-204)*p/(-10). Which is smaller: -1 or o?
-1
Suppose 3*l = -2*t - 63, l = 3*t - 8*t - 177. Which is smaller: -35 or t?
t
Let t be 4/((57/78)/(-19)). Which is smaller: -102 or t?
t
Suppose -2*c + 0*c + 134 = 0. Which is bigger: 338/5 or c?
338/5
Suppose 0 = -3*r - 15, 4 = -3*j - 2*r - 3. Let f(y) = 9*y**3 + 2*y**2 - 1. Let m be f(j). Is m bigger than 48/5?
True
Let v(t) = 9 - 10*t - 36 + 9*t. Let b be (-2 - (-10)/4)*-30. Let o be v(b). Is -11 smaller than o?
False
Let z = 7839/5020 - 28/251. Let l = z + -137/260. Which is greater: -1/2 or l?
l
Let t(q) be the second derivative of q**3/3 + 15*q**2 - 7*q. Let w be t(-19). Is w greater than -12?
True
Suppose 2*z + 2*q - 32 = 0, 5*z - 12 = 4*z - 5*q. Is z > 71/4?
False
Let i(f) = f**2 + 2*f - 6. Let t be i(4). Suppose 0 = -3*m + y - 49, 5*m - 5*y + 77 + t = 0. Let r be 35/m - 4/(-3). Are 2/17 and r non-equal?
True
Let g(q) = -q**3 - 2*q**2 + 5*q + 8. Let s be g(0). Is s bigger than 5?
True
Let b = 0.156 + -11.156. Let t = -11.39 - -0.29. Let y = b - t. Are 0.2 and y equal?
False
Let f(y) = y**3 - 14*y**2 - 22*y - 159. Let c be f(16). Are -7/25 and c equal?
False
Let h = -404 + 405. Which is greater: -5/106 or h?
h
Let o be ((-6832)/(-46))/(52/((-4)/2)). Let i = o + 72/13. Is i at least as big as 0.2?
False
Let p = 2/5 - 33/20. Suppose 5*u + 8 = j, 4*j + 1 = -2*u + 11. Suppose -3*h = -3*m + 6*m + j, 1 = 5*h - m. Is p >= h?
False
Let x be (-2)/