t z be (2/10)/(3/(-14)). Which is smaller: u or z?
u
Let z = -19 - -28. Let m = 6 - z. Suppose 2*f = -2 - 6. Which is greater: f or m?
m
Let m = -1799/17 + 106. Let n be -2*(-2 - (-3 + 6)). Suppose r = 2*s - 5, -3*r = -n*s + 5*s + 13. Which is smaller: r or m?
r
Let f = -1809 - -1086. Are f and -722 nonequal?
True
Let a = 0.08 - -37.92. Let p = 38.3 - a. Is p at least -5/2?
True
Let k = 0.78 - 36.78. Let q = 37.5 + k. Is -1/2 greater than or equal to q?
False
Let h = -4 + 3. Let k be (-7*h/(-4))/1. Let m = -528 + 526. Which is bigger: k or m?
k
Let n(p) = 2*p**2 - 19*p + 6. Let s be n(9). Let z = 7 - 2. Suppose -r = 3*i + 10, -2*r + 12 = -z*i + r. Is s less than or equal to i?
True
Let x be 2/8 + (-462)/1784. Let c(b) = -5*b - 500. Let g be c(-100). Is x <= g?
True
Let d = 6.98 + 0.02. Let z be ((-6)/(-63))/(4/12). Are d and z unequal?
True
Let w = 0.27 + 7.73. Which is greater: -3 or w?
w
Suppose 0 = -2*f - 2*l - 10 - 16, l + 47 = -3*f. Which is smaller: 0 or f?
f
Suppose 5*c - 18 = 12. Let j be (-1870)/33 + (-8)/c + 1. Is -57 smaller than j?
False
Let d = 101250/103501 - 48/1247. Which is greater: 1 or d?
1
Let i = 0.18272 + -0.38272. Let v = -66418/5 - -13388. Let b = v + -105. Which is smaller: b or i?
b
Let b(r) = -3*r + 3. Let q be b(-10). Suppose 15 + q = 8*x. Is 5 greater than or equal to x?
False
Suppose -2210 = -11*p + 529. Let a be p/105 - 5/(-25). Which is smaller: 2 or a?
2
Let x(l) = 12*l + 141. Let y be x(-9). Which is greater: 205/6 or y?
205/6
Suppose 3*v - 5*v = -8. Let s(l) = l**3 - 4*l**2 + 3*l + 4. Let m be s(3). Suppose v = -m*f + 2*f. Do -2 and f have different values?
False
Let g = 9.06 - 9. Let r(d) = -6*d - 13. Let n be r(-2). Which is smaller: g or n?
n
Let k = -13 - -208. Is 195 less than k?
False
Suppose 4*a = 5*o - 30, -24 = -4*o - 0*a - a. Suppose -2*q + 2 = -2*m, 0 = 4*m - 2*q - 0*q - o. Suppose 4 = -m*y - 3*b, 2*b - 2 + 4 = -2*y. Is -1 at least y?
True
Suppose 2*y + 12 = -0*w + 5*w, 4*w = 0. Let b be 1/(y/(-4)*(-14)/21). Is b at most 3/58?
True
Let l = -252 + 42. Is l at most 0.2?
True
Suppose 16 = -12*u + 4. Which is smaller: 3.61 or u?
u
Let k = 4 - 0. Suppose -g = -k*g. Suppose g = -0*q + 3*q + 9. Is -8/5 at most as big as q?
False
Let g(x) = 22*x - 18. Let m(a) = -1. Let b(v) = g(v) - 6*m(v). Let k be b(-5). Let n = -977/8 - k. Which is smaller: 1 or n?
n
Let s be 2/(-1) - (1 + 2). Let y be (-1*3)/(s + 6). Suppose -5*h + 5 = -3*d, 2*d - 3*d - 15 = 5*h. Which is smaller: y or d?
d
Let y = -184534/9815 - -5411/453. Let n = y - -90/13. Which is greater: n or 1?
1
Let y(t) = t**3 + 3*t**2 - 5*t. Let h be y(-4). Suppose h*r - 5*m - 16 = 10, -2*m = 2*r - 4. Suppose -b = -2*w + 4, 0 = -4*b - 5*w + 32 + r. Is b > 1?
True
Let q = -3.1 + 3. Let s = 117 - 125. Is s smaller than q?
True
Suppose 26 = -5*a - 14. Let g be -2 - (-20 - (-4 + 1)). Let c be -4 + (-110)/g - -4. Which is smaller: a or c?
a
Let c be ((-3)/(-9))/((-61)/(-183)). Which is smaller: c or 4/1273?
4/1273
Let a(d) = -d**3 + 3*d - 1. Let y be a(1). Let j be 10 - (5 + y)/(-3). Suppose 2*b - 5*u + j = 0, -4*b + 3*u - 2 = 4*u. Is -12/7 less than b?
True
Suppose -6*w + w = -180. Let r = -49 + w. Which is bigger: -10 or r?
-10
Let m be 1 - 46/1 - -1. Let s = m - -136/3. Let v(p) = -p - 7. Let u be v(-7). Which is smaller: u or s?
u
Let w = 228 + -227. Which is smaller: w or 22/15?
w
Let y(h) = 2*h. Let c be y(2). Let w be ((-1)/c)/(60/(-16)). Suppose 3*l + 14*l = 17. Which is bigger: l or w?
l
Let j(k) be the third derivative of -k**5/5 + k**4/12 + 3*k**3/2 + 8*k**2. Let f be j(7). Let l = -15253/27 - f. Is -1 not equal to l?
True
Let p be 12*((-560)/(-15))/(-14). Is -38 bigger than p?
False
Suppose 2*v - 2*y - 109 = y, 6*y + 274 = 5*v. Is 4 less than v?
True
Let j = 5.3 + 1.7. Let t = -386 + 385. Is j greater than or equal to t?
True
Let l = -3 - -13. Suppose l = 21*c - 20*c. Let z = c + -23. Is -12 less than z?
False
Let v be (-2 - 1/1)/(-2 + (-6)/(-2)). Let h = -299089/5 - -59208. Let a = h - -607. Which is bigger: v or a?
a
Let y = 114 - 104.3. Let c = 0.72 + 2.58. Let j = y + c. Are j and 1 non-equal?
True
Suppose -3*f - 6 = -6*f. Let z be ((-15)/(-6) - f)/(-13). Is -1/3 less than z?
True
Suppose -6*m = -23 - 1. Suppose m + 6 = 5*r. Which is smaller: r or -2?
-2
Let t = -589 - -1420. Is t greater than 832?
False
Let v be ((-3)/12)/(15/(-156)). Let z = 11 - 32. Let b = z - -24. Which is bigger: b or v?
b
Let z = -31 + 35. Let o be 2/(-4) + (-3)/z. Is 0 >= o?
True
Let h = 16458/49 + -336. Which is bigger: 1 or h?
1
Suppose s + c = -s, 5*s - 2 = -2*c. Suppose -k + s*k + 1 = 0. Let f = 4164/17 - 245. Are f and k equal?
False
Let b(k) = k**3 + k**2 - k - 26. Let u be b(0). Let a = -44 - u. Is a equal to -18?
True
Suppose -27*g - 10952 = -3095. Which is greater: g or -290?
-290
Let m(d) = 2*d**3 - 32*d**2 + 30*d - 4. Let z be m(15). Let b = -2144/763 + 26/109. Is z < b?
True
Let i = -554/5 - -109. Is 3 greater than i?
True
Let h = 121/75 + -8/5. Which is bigger: h or 0?
h
Let a be ((-3)/((-15)/2))/((-2)/10). Let h be (4 - a) + (18/(-3) - -3). Which is smaller: 9/5 or h?
9/5
Let p = -880/9 + 98. Let x(w) = w**2 - 29*w + 55. Let k be x(27). Is p <= k?
True
Suppose 2 = 2*x + 12, -3*g - 14 = -5*x. Suppose 0 = 3*q + 12*z - 17*z + 42, 0 = 5*q - 4*z + 70. Which is smaller: g or q?
q
Let d be 19 + (-16)/8 + -6. Which is smaller: d or 22?
d
Let f(l) = l + l**2 + 5 + 6 - 10 + 0 + l**3. Let r be f(0). Which is bigger: r or -1/33?
r
Let d = -35/4 + 37/4. Is 84 smaller than d?
False
Suppose 17 = 7*c + 10. Which is smaller: c or -4?
-4
Let d = 12 + -20. Let m = -45 + 17. Let a be 12/m*(-28)/d. Is -2 <= a?
True
Let y = 0.55 + -0.3. Let h = 0.12 + 0.03. Let c = y - h. Which is smaller: -0.2 or c?
-0.2
Let v(n) = 29 - 6 + 10*n**3 - 23*n - 7*n**3 + 20*n**2 - 4*n**3. Let p be v(19). Are p and -53 equal?
True
Let t = -172528/299495 - -174/301. Is t smaller than -1?
False
Let h = 118.8 + -119. Which is smaller: h or -731?
-731
Let b = 16156/115 - 707/5. Are b and 0 equal?
False
Let s be 6 + 32/(-8) - 5. Are s and 74 non-equal?
True
Suppose 27*m + 7 = 34*m. Let a(b) = 2*b - 5. Let k be a(4). Suppose -3*z = 2*p, 0*p = 3*p - k*z. Does m = p?
False
Let n = 45 + -43. Suppose -n*p - 42 = -10. Does -17 = p?
False
Let p = 30 - 31. Let u(s) = -3*s - 1. Let k be u(p). Which is smaller: 20/7 or k?
k
Let s be (-450)/24 + -3 - (-3)/4. Which is greater: -17 or s?
-17
Suppose -5*k + 0*k = -3*n - 52, 5*n + 52 = 4*k. Suppose o = -o + 5*r + 49, -3*o - 4*r + 108 = 0. Suppose -13*s + o = -9*s. Is s < k?
False
Let y be 49/(-195) + (-3)/(-15). Suppose -18*v + 18 = -12*v. Suppose 0 = -4*l - q - 3, 0 = 5*l - v*l + 4*q - 2. Is y smaller than l?
False
Let m be 15/5 + (-342)/161. Let j = 30/23 - m. Let t be -2 - (12/66 - (-4)/(-22)). Do t and j have different values?
True
Let q(a) = -12*a + 350. Let o be q(30). Is o greater than -11?
True
Suppose 3*a = -2*c + 7*c - 101, 0 = 2*c + a - 36. Is 37/2 not equal to c?
True
Let f(m) = 3*m**3 - 2*m**2 + m + 2. Let a be f(2). Let w be 8 - 8/((-16)/(-6)) - -13. Let y = w - a. Are y and -2 nonequal?
False
Let t be 0 + 4 + ((-186)/26 - -6). Which is smaller: t or 2?
2
Let z(j) = j**2 - 2. Let t be z(2). Suppose -4 = -0*p - t*p. Let b = p + -4. Is b > -2/3?
False
Let m = -403/10575 - 1/225. Let j = 89/987 + m. Let s = 1.13 + -0.13. Is j smaller than s?
True
Let s = 123 - 120. Let j be (s/(-4))/(3*2/(-648)). Which is greater: 82 or j?
82
Let t = 8995/72 - 1148/9. Suppose -17*h + 15*h - 40 = 0. Let m = -23 - h. Which is greater: m or t?
t
Let p = 73 + -593/8. Let j = -51 + 50. Is p greater than or equal to j?
False
Let b = 2/2209 + -134759/11045. Let d = -13 - b. Which is bigger: 0.3 or d?
0.3
Let d = 13/3 + -55/9. Is d < -1?
True
Suppose 0 = -2*x + 4*j + 24, 11 + 13 = 4*x - 2*j. Suppose 0 = -5*a - 5, x*m + m + 2*a + 27 = 0. Do m and -4 have the same value?
False
Let g(z) = -6*z + 1. Let d be g(-1). Let l be -3*(42/35)/(27/(-1200)). Let m = l - 1442/9. Which is bigger: d or m?
d
Let v = 22 + -36. Let y = v - -13.8. Which is smaller: y or -1/6?
y
Let m = -2.24 - 0.66. Let l = m + 2.7. Let u = -0.24 - l. Which is smaller: u or -1?
-1
Let q = -39/14 - -7919/2898. Let z = q - 4/69. Let t(g) = -g**3 + 16*g**2 + g - 17. Let a be t(16). Which is greater: z or a?
z
Let l = 96