0. Which is smaller: k or m?
m
Let z be (11/(-1))/(3/(-24)). Suppose 3*l - 5*l + z = 0. Let q be (-4)/(-10)*(-20)/l. Which is smaller: 0 or q?
q
Let g = 1531 - 4594/3. Do -4/771 and g have the same value?
False
Let a = 0.2247 - -1.5953. Which is smaller: -2/5 or a?
-2/5
Let f = -5780/7 + 827. Suppose -m + 3*t - 2*t = 1, 2*m - 3*t = 2. Let a be 0/(6*m/(-15)). Is f less than or equal to a?
False
Let f = 3 + 19. Which is greater: f or 21?
f
Suppose 3*i + 24 = 5*c + 82, 36 = 2*i - 2*c. Which is smaller: i or 23?
i
Let p = -8 + 5. Let g(b) = -b**3 - 5*b**2 - 3*b + 1. Let z be g(p). Suppose 0 = 2*l + 12 + 6. Is l <= z?
True
Suppose -26*j + 222 = -23*j. Let z = j - 223/3. Which is smaller: 1.9 or z?
z
Let t = 72 + -98. Is t equal to -24?
False
Let n(j) = -j**3 - 15*j**2 - j - 14. Let z be n(-15). Let d be ((2 - 1)/(z/(-7)))/(-13). Which is smaller: d or 0?
0
Let q(u) = u**2 - 5*u - 22. Let v be q(6). Which is smaller: v or -14?
v
Let c(d) = d**2 - 33. Let a be c(8). Which is greater: a or 16?
a
Let r be ((-46)/(-16))/((-13)/(-104)). Which is smaller: r or -0.2?
-0.2
Let h = -106.57 - -107. Let k = h - 3.33. Let t = -1.9 - k. Is 2/21 <= t?
True
Suppose -4*r = -8*r + 8. Let g be (-1426)/4 + (-4)/8. Let w be (-3 - g/123)/r. Which is greater: -1 or w?
w
Let v be ((-10)/8)/(268424/(-704)). Let y = v - -3/377. Let m = y - -157/1869. Which is smaller: m or 1?
m
Let r be (48/(-60))/(2/(-20)). Let u be 0/2 + (7 - r). Do 2/5 and u have different values?
True
Let f be 1/(-2)*-3*(-5 - -7). Suppose -f = -3*t + 15. Which is smaller: -2/19 or t?
-2/19
Suppose -2*t = 1 - 7. Suppose -t*z = -4*z + 6. Let n = 6 - z. Which is smaller: n or 2/5?
n
Let q = 1367.86 + -1368. Is q > -0.044?
False
Let z = -0.183 + 14.503. Which is bigger: 1 or z?
z
Let f = 1.962 - 0.152. Let q = 0.21 - f. Let u = -1.7 - q. Which is bigger: 2/5 or u?
2/5
Let n = -22 + 12. Let u(v) = -v**3 - 5*v**2 + 11*v + 20. Let x be (17/68 - (-74)/(-8)) + 3. Let k be u(x). Is k less than n?
False
Let f be 4/4*(-198)/3. Suppose 138*u + 260 = 134*u. Is f less than or equal to u?
True
Suppose 4*q = -0*q + 4. Let k be (8/(-2))/4*25. Let t be (-55)/k + -2 + (-44)/20. Which is smaller: t or q?
t
Let o = 444 + -461.9. Let u = o + 18. Is 6 at most u?
False
Suppose b + 107 = 4*o, 2*b + b + 354 = o. Let t = 75 + b. Let z be 1/(-9) - t/(-252). Is 14 at most z?
False
Suppose 0 = 4*s + 3*t + 7, -2*s - 6 = -3*t - 25. Suppose -21 = -s*p + 3. Let x be 3/(-2)*8/p. Which is smaller: -3/13 or x?
x
Let r(c) = c**2 - 2*c. Let p be r(2). Let y = -141/1793 + -2/163. Which is smaller: y or p?
y
Let x be (2192/2860)/((-2)/(-20)). Let q be (-12)/5*255/78. Let p = q + x. Is 0 bigger than p?
True
Let k = -0.16 + 0.26. Let o = 0.3 - k. Is o at most as big as -9?
False
Let y be (1 - 5)*(-3)/5. Let o(j) = 15*j - 43. Let w be o(3). Which is smaller: w or y?
w
Let p = -55 + 55. Is p bigger than 3/85?
False
Let t be 1/(-3)*12*62/(-4). Is t less than or equal to -2?
False
Let b = -765 + 750.9. Is 1/4 > b?
True
Let h be -7*(-41)/((-2009)/630). Which is smaller: h or -89?
h
Let z = 349.939 + 0.061. Do z and -1 have the same value?
False
Let i = 4026 + -2259. Let k = i + -372839/211. Let o = 834/1055 - k. Which is bigger: o or 0?
o
Let s be (-18)/(-2) - 21/7. Suppose -s*l + 3*l + 4 = -4*t, 2*l - 4 = 3*t. Which is bigger: l or -42/11?
-42/11
Let p be (-6 - -12) + 230/(-40). Is p bigger than -0.066?
True
Let y be 52/(-9) + 7 + -1. Which is smaller: y or 35?
y
Let i(g) = -g + 2. Let y be i(2). Let v = -8 + y. Let a be (-44)/6 + (-3)/(-9). Is a >= v?
True
Let s = 1/73065823 - -48150361853/1132812519792. Let k = 1/304 - s. Which is bigger: 0 or k?
0
Let u(w) = -9*w - 71. Let t be u(-8). Is -3/557 at least t?
False
Let d(n) = -n**2 - 11*n - 19. Let f be d(-6). Suppose -5*g - 4*x + 31 = 0, -g - 5*x + 29 = 2*g. Which is bigger: f or g?
f
Let r be 29/(-2) - (-5)/10. Let o = r - -26. Which is greater: o or 10?
o
Let m be -3*((-12)/9)/1. Suppose x + i = -x + 13, -2*x + i + 7 = 0. Suppose m*d + 9 - x = 0. Which is smaller: d or 2/7?
d
Suppose 10*u = -76 + 46. Which is smaller: -1 or u?
u
Let h be (-3800)/(-275) + (-4)/(-22). Let q be 4/(-84) - 4/h. Is -3/10 not equal to q?
True
Let s = -142 + 150. Is 7/3 bigger than s?
False
Let k(c) = c + 2. Let i be 3*(-4)/12*8. Let a(x) = x**3 + 8*x**2 + x + 1. Let w be a(i). Let r be k(w). Is r equal to -21/5?
False
Let m = 16647/14 + -1192. Let l = 821/266 + m. Which is greater: 0 or l?
l
Let b(x) = -x**2 + x - 12. Let v be b(0). Suppose 0*o - 3*o - 9 = 0. Let p be (-1)/o*(-3 + -36). Which is greater: v or p?
v
Suppose -u - 4*s = 12, 0*s = -4*u + 5*s + 15. Suppose -3*z + 107 + 271 = 0. Let t be ((-7)/(z/(-4)))/(3/(-1)). Which is smaller: u or t?
t
Suppose -3*b + 2*b + 4*m = -28, 0 = 2*b + 4*m - 8. Let w = b + -34/3. Which is smaller: w or 0?
0
Let b(s) = -s**3 - 13*s**2 - s - 12. Let v be b(-13). Suppose 4*f = 2*o - 18, -15 = -2*o - o. Let c be (f + (-21)/(-6))*v. Are c and 1 unequal?
True
Suppose 0 = j - 6*j + 4*k - 4, -4*k = 3*j + 28. Let x = 6778 + -6779. Which is bigger: x or j?
x
Suppose 0 = -4*f + 18 - 74. Let a = 9 + f. Let g(c) = -c**2 - 12*c - 5. Let l be g(-12). Is a >= l?
True
Let s = 14 - 13.4. Let f = 6.4 + s. Is f bigger than 4?
True
Let z be ((-8)/(-12))/(1/(-6)). Let j be z/(-6) - 2/3. Let i be 3/(-16) + (-8614)/(-58400). Is i smaller than j?
True
Let b = 677 - 997. Is -319 smaller than b?
False
Let c = 2 - 1.38. Let l = c + -0.52. Which is greater: 32 or l?
32
Let y = 19 + -9. Let o = y + -8. Let i = 0 - o. Is -0.1 >= i?
True
Suppose 11*i + 249 - 249 = 0. Suppose -3*y = 2*y - 5. Let j be 5/3 - y/(-3). Which is smaller: i or j?
i
Let c = 8 - 5. Suppose 5*d + 5*m = 40, -4*d + 2*m - 24 = -26. Are c and d unequal?
False
Let b(h) = -h**3 - 20*h**2 - 2*h - 40. Let a be b(-20). Are -13/44 and a non-equal?
True
Let i be 11/((-22)/(-151))*-6. Is i < -454?
False
Let g(q) be the third derivative of q**4/12 - q**3/6 - 3*q**2. Let i be g(-8). Do -18 and i have the same value?
False
Let b be ((-42)/(-9) + -2)/((-3)/9). Let x be 6/b + 13/(-52). Let h = -754/8319 - -8/141. Do h and x have different values?
True
Let k(h) = h**3 + 7*h**2 - 3. Suppose 51*w + 6 = 48*w. Let j = -9 - w. Let v be k(j). Which is smaller: v or -21/5?
-21/5
Let i = -0.06 + -0.01. Let l = 367 + -366.96. Which is smaller: l or i?
i
Let j = -589 - -590. Which is smaller: j or 0.61?
0.61
Suppose -63*w = -99*w + 3348. Is w <= 98?
True
Let o = 219 - 214. Let k(m) = m**2 - 3*m + 3. Let b be k(8). Suppose 3*d + 8 = -5*q + 58, 4*q + 3*d = b. Is q at most o?
False
Let v = 1.71 - 1.7. Let c = -1.01 + v. Let k = 2 + c. Which is greater: -0.9 or k?
k
Suppose -985 + 289 = -3*n. Which is smaller: 463/2 or n?
463/2
Let i = 25 + -43. Let r = -127 - -129. Which is smaller: i or r?
i
Let f(x) = -11*x**2 + 15*x - 66. Let i be f(3). Is -121 at least as big as i?
False
Let a(u) = u**3 + 3*u**2 - 4*u - 1. Let g = -11 + 16. Let p be (-5)/1*4/g. Let l be a(p). Which is bigger: 6 or l?
6
Suppose 6*o - 11 - 1 = 0. Suppose -g + 5 = y, -2*g - o*y + 16 = -3*y. Suppose 4*u + 0*u = 36. Is u less than g?
False
Suppose -4*d = 4*d. Suppose 0 = -2*l + 4*x + 24, 5*l - 2*l + 5*x - 47 = d. Is 15 at least as big as l?
True
Suppose 0 = -2*x - 4, 4*y - 88 = x - 14. Let i be y/(-27) + 68/39. Suppose 2*g - 5*z = -6, 0 = -0*z + 2*z - 4. Is i greater than g?
False
Let p = 358.6 - 30.6. Which is smaller: 1 or p?
1
Suppose 0*t + 2*t + 44 = -2*q, 0 = -3*t + 6. Which is bigger: q or -0.4?
-0.4
Let k = 1.49 - 30.49. Which is greater: 2 or k?
2
Let h be 0 + 37 + (-8)/2. Let k = -32 + h. Suppose -i = 2*q + 13, 5*i = 5*q + 3 + 7. Which is smaller: i or k?
i
Let r be (-8)/10*(10 - (-10 - 85)). Is r bigger than -84?
False
Suppose -2*d - 17 - 7 = 0. Let f = 2 - d. Is 15 <= f?
False
Suppose 12*d = 543 + 297. Suppose -7*y + 2*y = -5*s - d, -5*s = -4*y + 67. Is s greater than -11?
False
Let j = 1593 + -1592.856. Is j greater than -3?
True
Let s = -2.6 + 0.6. Let p = s + -2. Suppose -5*q + 6 = 1. Do q and p have different values?
True
Let g = -5.53 - 10.47. Let u = 12.9 - 13. Is g less than or equal to u?
True
Suppose 15 = 3*j - 8*j. Let z = 296 + -296. Is j less than z?
True
Suppose 48 = -g + 5*g. Let q = 14 - g. Let t be (-36)/(-63)*q/(-12). Is t < 1?
True
Let n = 1326 - 1326. Are -2/2733 and n n