 be p/(-9)*5/(-20). Which is greater: a or l?
l
Let a be 366/24 - 2/8. Let u be ((-4)/7)/(4/(-14)). Suppose 5*p + z = 83, u*p = -p - z + 51. Which is greater: p or a?
p
Suppose 22*v - 27*v = -115. Which is smaller: v or 16?
16
Let m be (-1 - 1*2/6)*-3. Does m = 15?
False
Let h(k) = -k**2 - 4*k + 5. Let u be h(-4). Suppose -11*n = -n + 30. Let s = n + 4. Is u equal to s?
False
Suppose 0 = 5*w - 2*r - 13, r + 14 = 5*w. Let m be 44/7 + 2/(-7). Let p = w - m. Are p and -4 nonequal?
True
Let l be 8/(-40) + (-26)/(-5). Suppose l*j - 9 = 21. Let d be 8*((-1)/2 - -1). Is d at most as big as j?
True
Let z = -14 - -94. Suppose z = 5*d - 70. Which is bigger: d or 29?
d
Suppose 0 = -23*o + 1577 + 1413. Which is smaller: 129 or o?
129
Let x be 3/18*-3 - 490/(-4). Suppose -5*m + 2*m + 363 = -5*z, 0 = -3*m + z + 363. Is x bigger than m?
True
Suppose 23 = -5*x + 8. Suppose f + 2*t + 10 = 0, 2*f + 3*t = f - 13. Which is smaller: x or f?
f
Suppose 0*v + 3*v = 0. Let d(o) = o + 4. Let j be d(v). Suppose -3*p - 5*p = -40. Which is smaller: p or j?
j
Let d = 648 - 659. Which is greater: d or -31?
d
Let j be -3 + (-3)/(-3) + (-3 - 0). Do -58/11 and j have the same value?
False
Let b = 59 + -107. Let k be 88/b + 15/18. Let u be -3*(-2 + 472/237). Do k and u have the same value?
False
Let d = -1 + 7. Let w = 2113 + -2108. Are d and w equal?
False
Let m(a) = -a**2 + 8*a - 12. Let j be m(6). Let u = -417958 + 5429044/13. Let t = 339 + u. Is j smaller than t?
False
Let z = 873 + -872. Which is bigger: 52/23 or z?
52/23
Let j = 1431 + -1431. Is -10 smaller than j?
True
Suppose 238 = -15*f - 272. Which is smaller: f or -40?
-40
Suppose 0 = g - 0*g + b - 7, -g + 3*b + 15 = 0. Let p be 78/5 + g/(-15). Suppose -m - 8 = 3*m - o, -m - 4*o = -p. Is m smaller than 0.23?
True
Let y be ((-2)/3)/(10/(-15)). Let z be (-4)/(((0 - y)/(-3))/(-1)). Is z less than 12?
False
Suppose -t + 0*t - 3 = 0. Let r be 0/((t*4)/(-4)). Which is smaller: r or 1?
r
Let a = 50 - 89.2. Let h = -39 - a. Let s = 1 + 2. Which is smaller: s or h?
h
Let b = 0.1 + 0.9. Let u = 0 - b. Let p(t) = -10*t**2 + 5*t + 1. Let j be p(1). Which is greater: u or j?
u
Suppose -4*j - j = 20, 3*j = 2*h - 8. Let x(d) = -d**3 + 6*d**2 + 6*d + 5. Let g be x(5). Let u be 5/(g/68) + h. Which is greater: 3 or u?
u
Let m = 59.7 - 59.6. Suppose 3*b + 0 - 36 = 0. Which is greater: m or b?
b
Let s = -201 - -301. Which is bigger: s or 3?
s
Let h(o) = -11*o - 143. Let b be h(-13). Which is bigger: -1 or b?
b
Let t be 2 + 4 + 305/(-50). Which is smaller: t or -0.2?
-0.2
Let v = 5.79 - 5.7. Let d = -3 - 4. Let f = -7 - d. Do v and f have the same value?
False
Let a = 122 - 121.841. Which is greater: a or 0.1?
a
Suppose -163 = -3*n + 5*d, -4*n + 255 = n - 5*d. Let f = 68 - n. Is 24 greater than f?
True
Let m = 0.015 - -0.035. Let g = -0.5 - 0. Let a = g + 0.6. Which is bigger: m or a?
a
Let s be ((-6)/9)/((-9)/(-891)). Which is smaller: -458/7 or s?
s
Let n(z) = -z**3 + 5*z**2 - 5*z + 8. Let o be n(6). Let y = -48 - o. Is 9 smaller than y?
True
Let p be 22/18 + 4/(-18). Let d be 1/(18/4) + (-4)/36. Which is smaller: p or d?
d
Suppose 4*q = -2*o - q - 10, -3*q = 3*o - 3. Suppose -i = 3*k, 2*k + k = o*i + 18. Suppose -6 = 5*c - k. Is 7 not equal to c?
True
Let k(s) = -9*s + 57. Let z be k(6). Suppose 2*v - 7*v - 132 = -z*a, -76 = 3*v - a. Is -24 at most as big as v?
True
Let s = 303 + -313. Let q = 0.8 - 1. Which is smaller: s or q?
s
Let r = -13.64 + -0.36. Let s = r - -10. Let t = -3 + s. Are t and 0 non-equal?
True
Let g be (-14)/(-49) - 378/(-49). Which is smaller: g or -25?
-25
Let o = 150 - 94. Let t = -62 + o. Which is bigger: -9 or t?
t
Let t(j) = -5*j**2 - 20*j + 17. Let n be t(-6). Is n at least as big as -42?
False
Let d(b) = b**2 - 6*b + 4. Let l be (2 - 5) + 6 + 2. Let a be d(l). Let p be (-6)/(-18) + (-11)/15. Which is smaller: a or p?
a
Let i(m) = 19*m**3 + m**2. Let f be i(-1). Suppose 0 = 4*j - 0*j - 56. Let w = j + f. Which is bigger: w or -3?
-3
Let p(n) = -41*n - 944. Let a be p(-23). Is a greater than or equal to -11/295?
False
Let g be 2 - (88/24 + (-1)/(-3)). Do g and -21/8 have different values?
True
Let v(n) = n**2 - 7*n + 5. Suppose t - 24 = -3*c - 9, -4*t - 2*c + 30 = 0. Let g be v(t). Which is greater: 2/223 or g?
2/223
Let c be (-26)/8 - (-1)/4. Let y be 4/12 + (-20)/c. Suppose 2*o + y = 19. Is 6 greater than o?
False
Let s = -13450612/25 + 2687218/5. Let j = s - -581. Let r = -19/75 + j. Is -1 < r?
True
Let y = -34 - -6. Suppose 19*v - 114 = 4*b + 16*v, 35 = -b + 4*v. Which is bigger: b or y?
b
Let k = 53 + -9. Suppose 0 = 2*j - k + 162. Let q = 115/2 + j. Which is greater: q or -1?
-1
Let x = -39 - 7. Let s be (12/18)/(x/6). Is s bigger than 1?
False
Let x(f) = -97*f**2 - 12*f - 11. Let d be x(-1). Which is bigger: -95 or d?
-95
Let h = 26 - 26. Suppose q = 2*i - 16, -i - 2*q - 2 = -h. Is 6 less than i?
False
Let z = 28 - 17. Let m = z - 10.3. Let j = m - 0.5. Which is smaller: -0.4 or j?
-0.4
Suppose 2*i - 3*k + 0 = 16, -i = k - 8. Suppose -i*m + 19 - 3 = 0. Which is bigger: 7/5 or m?
m
Let c = 981 + -1043. Do c and -78 have the same value?
False
Let y = 3.4 + -3.2. Let d = 0.5 - -0.4. Let f = d - 0.9. Which is greater: y or f?
y
Suppose 0 = -5*h + 3 - 13. Let l be 0 + ((-10)/14)/((-120)/(-140)). Which is greater: l or h?
l
Let v(m) = -m**3 + 5*m**2 + 3*m - 11. Let y be v(5). Suppose -y*x - 20 = 4. Let a = 5 + x. Is a at least as big as -1?
True
Let s(d) = 5*d + 4. Let k be s(-1). Let c be (-3 - (-20)/(-35)) + (k - 1). Which is bigger: -5 or c?
-5
Let b = 1 + -1. Let x = -39.2 + -8.8. Let p = x - -48.1. Is b <= p?
True
Let l(p) = p**3 - 18*p**2 + 9*p + 42. Let h be l(17). Which is greater: h or -381/4?
h
Let f be ((-4)/(-2))/(-6) - (-1262)/3822. Is 0 smaller than f?
False
Let c(z) = 6*z + 30. Let k(v) = 3*v + 15. Let j(x) = -2*c(x) + 5*k(x). Let m be j(-5). Which is smaller: 2/5 or m?
m
Suppose 247*j = 270*j + 414. Which is bigger: j or -19?
j
Let u = 377 - 397. Is 14 <= u?
False
Let q = 10 - 6. Let u(h) = 3*h - 20. Let c(m) = -2*m + 13. Let o(l) = 8*c(l) + 5*u(l). Let r be o(q). Is 4 not equal to r?
True
Let b(r) = 2*r + 4. Let z be b(8). Let o = -109/5 + z. Which is bigger: o or -3?
o
Let s = 2219 + -2220. Which is smaller: -7/293 or s?
s
Let a be (3779/(-1))/((-380)/(-260)). Let d = 2585 + a. Which is greater: d or 0?
0
Let r = -690 + 1349/2. Let l = r + 13. Is -2 greater than or equal to l?
True
Let t = 0 + 0. Let m = -48 + 26. Let r = m - -13. Which is greater: r or t?
t
Let t = -24 - -76. Let p be 108/(-45)*50/t. Let n = -194/39 - p. Which is smaller: -3 or n?
-3
Let l = -170 + 168. Let a = 0.02 - -0.38. Which is smaller: l or a?
l
Suppose 0 = f + 4*b, 3*f + 5*b - 6 - 1 = 0. Let p be 17/f + 2/(-8). Which is smaller: 2 or p?
2
Suppose -46*l - 1067 = -35*l. Which is smaller: -860/9 or l?
l
Let c be (-98)/48 + 2 + 3/(-9). Let s be (-2)/(3 + -1 + -3). Suppose 0 = -s*u - 2*u + 4. Which is smaller: u or c?
c
Suppose 9*t + 2*t = -22. Let z be t*((-45)/6)/(-5). Which is smaller: -2 or z?
z
Suppose -2*u + 16 = -3*x + 5*x, 2*x + 5*u - 4 = 0. Suppose -3 = r - x. Does r = 15/2?
False
Let m = -743/5 - -6512/45. Let a = 229/45 + m. Which is smaller: a or -1/4?
-1/4
Let s = 567 - 721. Which is greater: -155 or s?
s
Let w be (-1 - 2)*(-11)/209. Suppose 0 = -c - z, 4*c = -3*z - 3 + 4. Which is greater: w or c?
c
Let g be (12/3 - 4)/1. Suppose g*y - 3*y = -6*y. Let l be -2 + 14/27*3. Which is smaller: l or y?
l
Let k(r) = -r**3 - 23*r**2 + 30*r - 30. Let h be k(-24). Let m be 1 + 1*(-1 - 112). Let s be m/h*3 - 2. Is s >= -1?
True
Let c be -1 - (-4 - (-232)/30). Let s = c - -2/5. Do -5 and s have the same value?
False
Let w(m) = -m**3 - 6*m**2 - 6*m. Let h be w(-5). Let j(k) = k + 2. Let c be j(1). Suppose c = h*i + 2*t, -1 + 7 = 5*i - t. Is i at least 0.2?
True
Let r(k) = 2*k**2 + 3*k + 2. Let h be r(-2). Suppose 2*c = h*c - 8. Suppose 0 = c*u - i - 5, 2*i - 1 = 2*u + 1. Which is bigger: u or 0?
u
Let y = 192.55 - 194. Which is greater: y or 2/3?
2/3
Suppose d + 0 = -2. Let p be ((-44)/14 + 3)*(d + 0). Which is bigger: p or 0?
p
Let t be (540/42)/((-6)/(-28)). Suppose 4*o = -0*o + t. Let b be 11/(-10) + (-12)/(-8). Are b and o non-equal?
True
Suppose -5*m = -18*m - 4654. Let v = m + 27564/77. Which is greater: v or