Which is smaller: -4/3 or a?
a
Let n be (2/(-7))/(54/(-378)). Which is greater: n or -48?
n
Let b(k) = k**2 - 5*k + 11. Let p be b(4). Let z be (4 - p) + -1 + 0. Is z at most -32/7?
False
Let i be (1/2)/(1/(-10)) + 4. Which is smaller: i or -2/357?
i
Suppose -2*r = w - 247, -2*w = -3*r - 4*w + 369. Let c = -124 + r. Which is bigger: c or -2/207?
c
Let n = 0.056 - -48.944. Let i = 80 - n. Is i > 0?
True
Let b be 220/25 - (-32)/(-40). Is 50/7 at least as big as b?
False
Let y = -211 + 306. Do 95 and y have the same value?
True
Let m = -7 - -1. Let v = m - 24. Let d be -2*3/v*-5. Is -4/3 greater than or equal to d?
False
Suppose -7*m - 449 - 181 = 0. Let w = -1 + -6. Let u be (4/w)/(m/35). Which is bigger: u or -1?
u
Let v = 2143 - 2151. Let z = 0 - 0. Which is bigger: v or z?
z
Let m = 361/15 - 74/3. Let p = -0.69 - -35.69. Let c = 33 - p. Which is greater: c or m?
m
Let z = -0.8 + 4.8. Let q = 3 - z. Is 5 equal to q?
False
Let m = -0.3 - -0.33. Let x = m - 5.03. Which is greater: x or 0.1?
0.1
Suppose a - 4*x + 25 - 104 = 0, 4*x = 0. Suppose 5 = a*g - 84*g. Is g less than or equal to 1/95?
True
Let n = -3584 + 186361/52. Which is greater: 0 or n?
0
Let v = -96409/15415175 + -2/32453. Is -1 bigger than v?
False
Let t = -64.2 - -64.087. Is t less than -1?
False
Let k = -14.5 - -14.6. Let i = 0.002 - -5.398. Let d = i + -6. Are k and d non-equal?
True
Let a be ((-73)/12)/(5/(-10)). Which is greater: 0 or a?
a
Suppose -47*p + 34*p + 26 = 0. Are 64 and p nonequal?
True
Let l = -1424 + 6918/5. Let r = -40 - l. Let z = 5 - 4. Is z at most r?
False
Let r(g) = g**2 - 5*g - 2. Let b be r(7). Let s be b/30 + (-3)/15. Is -0.05 bigger than s?
False
Suppose -z + 5*z = 20, -5*t - 3*z = -135. Suppose 3*n + 0*n + 2*v + t = 0, -5*n = -5*v + 15. Let b = -6 - n. Is b greater than or equal to -5/8?
True
Suppose 13 = 5*a - 2. Let y be (-3 - -2)/a*-3. Which is greater: y or -1?
y
Let r = 1317 - 1355. Which is smaller: r or -147/4?
r
Let o = 3 - 3.2. Let h be (16 + -15)*(-1)/73. Let r = -70/219 + h. Which is smaller: r or o?
r
Let r = -464 - -762. Which is smaller: r or 0.1?
0.1
Let s = -2.14 - -0.04. Let j = s - -2.2. Which is greater: j or -12?
j
Let z(y) = -y**3 - 39*y**2 - 17*y + 358. Let t be z(-38). Are t and -442 nonequal?
True
Suppose -156 = -16*d + 20*d. Let v be 40/(-6) - (-6)/9. Let r be d/v + 2/(-4). Does 4 = r?
False
Let n = -167 - -113. Let i = n - 28. Is -82 less than i?
False
Suppose -2*j - 3*b + 4 = 0, 10 - 4 = 3*j + b. Which is smaller: j or 5/8?
5/8
Let n(r) = r + 3. Let w be n(4). Let i be (w/(-2) + 2)*-4. Suppose -i = -4*j + 14. Is 5 greater than j?
False
Let b(h) = 7*h**2 + 3*h - 2. Let j be b(-3). Suppose 5*g = -w + j, 0 = 3*g - 2*g + w - 12. Suppose -2 - g = -2*n. Is n not equal to 4?
True
Let t be ((-32)/12 - -3)/(2/198). Which is smaller: t or 36?
t
Let n(x) = -4*x**3 + 1. Let a be n(1). Let o = -63 + a. Do o and -66 have the same value?
True
Let h be (5 + 1950/(-13))*(-1 - -3). Is h at most as big as 2/7?
True
Suppose 4*y + 3*u + 47 = 0, -27*u - 8 = y - 30*u. Let r(t) = t + 1 + 3 + 6. Let x be r(y). Is -3 at most x?
True
Let m = 46 - 37. Let r be ((-4)/10)/(m/(-45)). Let i be 650/3330 - r/9. Do i and 0 have different values?
True
Let n = -4 + 5. Let j = 93487244/29 + -3222903. Let g = j - 795. Is n equal to g?
False
Let q = -65 + 65. Is 4/101 equal to q?
False
Let k = -50 - -76. Suppose 3*m = 35 - k. Which is smaller: 15/7 or m?
15/7
Let m be 4/30*-3 + (-6)/85. Let y = 33/34 + m. Is y at least as big as 20?
False
Let a(d) = 276*d + 1. Let v be a(4). Let y be 351/v + (-1)/5. Is 0 at least as big as y?
False
Let s = 11 - 10. Let d = 0.5 - -0.5. Let o = 1 + d. Which is bigger: s or o?
o
Let s = -54 - -53. Let a be -1 - (0/1)/s. Which is smaller: -2/29 or a?
a
Let i be 171/(-2)*4/(-10). Let r = i + -34. Let d = 2.1 - 2. Is d less than or equal to r?
True
Let r be (-5 + 47)*2/(-3). Does r = -26?
False
Let a be 4 + (0 - (-3 + 2)). Suppose -4*p + 6 + 9 = -a*d, 0 = 5*d + 15. Which is smaller: -2/43 or p?
-2/43
Let z = 44 + -23. Let n be (-2)/(((-44)/6)/(14/z)). Is 1 != n?
True
Let a(x) = 26*x**3 + x + 1. Let d be a(-1). Let j be 16 + (8/(-6))/(16/(-36)). Let t = d + j. Is -9 less than or equal to t?
True
Let d be -1*(-6 - (1 + -2)). Suppose 5 = -d*s - 5*v, -2*s + 4*v = -5*s - 5. Let r be ((-8)/20)/((-1)/30*-3). Which is greater: r or s?
s
Let t(a) = -a + 47 - 2*a - 23. Let h be t(8). Do h and 15 have the same value?
False
Let j be 3/(-1) + (-6 - -11). Let r be ((-20)/(-36))/(j/(-6)). Are -1 and r nonequal?
True
Let u be -1 - (3 + 0 + -4). Suppose -2*z + 12 = -u*z + 4*c, -z = c - 4. Suppose -t + z*l + 3*l = -1, -4 = -4*t + 4*l. Which is smaller: 2 or t?
t
Let m = -802 + 802. Is m != 1/33?
True
Let u(l) = 20*l. Let b be u(6). Suppose -3*k = -0*k - b. Let q be (-2)/(-4)*(-8)/k. Which is smaller: 0 or q?
q
Let g = -118.8 - -95.8. Is g not equal to 0?
True
Let c be 4/2 + (-1160)/540. Which is greater: c or 1/3?
1/3
Let n be -2 + 2 - 1/(3/(-27)). Suppose 12*o - n*o = 105. Is o > 1?
True
Let p = -18983 - -94917/5. Let z = 4.4 + -5. Let k = 0.9 + z. Is k at most as big as p?
True
Let n(w) = -w**2 - 6*w - 6. Let q be n(-5). Suppose 0 = 4*p + t + 117 + 219, -t = 4. Let k = p - -163/2. Which is smaller: k or q?
k
Let f = -863 - -862.8. Is f >= -110?
True
Let k(r) be the third derivative of r**6/120 + r**5/12 + r**4/24 + 2*r**3/3 - r**2. Let w be 301/(-63) + (-4)/18*1. Let v be k(w). Is 1/11 at least as big as v?
True
Suppose 0 = 6*g - 45 - 3. Let o be 210/(-12)*g/(-15). Is o smaller than 10?
True
Let l = 1/55 - 58/165. Let f = 253 + -131. Let z = -121 + f. Is z at most l?
False
Let c = -672 - -397. Which is greater: c or -276?
c
Let i(b) = b + 2. Let v be i(6). Suppose -4*z = -8 - v. Suppose -2*w = -z*l + 12, l = w + 4*l + 6. Is w greater than or equal to -6?
True
Suppose 5*g + 112 = -298. Let u = 80 + g. Which is bigger: -28 or u?
u
Let u = -0.2 - 0. Let y = -10286 + 10300. Is u at most as big as y?
True
Suppose -29*i + 23 = 52. Do -6/257 and i have different values?
True
Let w be (-6)/33 + (-24)/(-11). Suppose 3*u + 15 = -i, -w*u - 2*i - 18 = u. Let s be (3 - (-10)/u)/1. Which is greater: s or -3/4?
s
Let h be (-1)/2*(2 + 0). Let y be (-3 + 0)*(1 + -4). Suppose y = -4*p + p. Is p != h?
True
Suppose 4*c = -x - 17, 4*x + 45 = -5*c + 10. Let d(i) = -2*i**3 - 11*i**2 - 8*i - 3. Let k be d(x). Is 12 less than or equal to k?
True
Let r = -32009/66 - -485. Suppose 3*j - 2*j = -c - 3, 5*j + 15 = -2*c. Which is smaller: r or c?
c
Let a = 9.93 + -0.03. Let b = -10 + a. Let m = 18 - 3. Is m > b?
True
Let v = -111/16 - -3869/560. Let n = -2 + 3. Is n equal to v?
False
Let k = 13505 + -607927/45. Let c = 2/637 - 28046/5733. Let l = c - k. Which is greater: l or -6?
l
Let t = -2467/70 - -246/7. Which is greater: 20 or t?
20
Let z be 153/(-34)*4/(-354)*1. Is 1 at least as big as z?
True
Let n = -1236 - -1257. Which is smaller: n or 22?
n
Let o = -0.183 + -5.817. Is -10 bigger than o?
False
Let h = -16 - -5. Let y be 2/11 - 42/h. Suppose -y = 2*a + 2*a. Are 2/9 and a equal?
False
Let l(s) = -8*s + 30. Let g be l(4). Let r be g/9 - ((-8768)/(-36))/2. Which is smaller: r or 2/7?
r
Let b = 18.5 - 17.5. Are b and 649 unequal?
True
Let g = 36 - 105. Let c = g + 79. Which is greater: 14 or c?
14
Let r = 1692 - 4524. Let m be 322/r - 3/(-24). Is 0 less than or equal to m?
True
Suppose 18*q + 11 = -187. Which is bigger: -16 or q?
q
Let p be 46/(-2)*-1*1. Let w be 2/6 - 29/(-3). Let t = p - w. Is t at least as big as 13?
True
Let c = -463 - -1044. Let h = c - 7548/13. Which is bigger: h or 1?
1
Let m(g) = -15*g + 121. Let q be m(8). Let h = 0 + -1. Let y = 0 - h. Is q not equal to y?
False
Let l(i) = i**2 + 4*i + 42. Let k be l(-5). Which is smaller: 46 or k?
46
Let x be 80/378 + (-2 - 80/(-45)). Which is greater: x or -1?
x
Let u = 150 + -121. Which is smaller: u or 31?
u
Let p = 7.7 - -27.3. Let o = p - 32.5. Is 1/2 less than or equal to o?
True
Let a(i) = -i**2 + 8*i + 13. Let f be a(9). Suppose 0 = y - 2 - f. Let z be y/4*(-20)/30. Is z at most as big as -0.3?
True
Let y be 1/(-2) - (-4)/10. Let q be (-3)/(-2 - (5 + -4)). Which is greater: q or y?
q
Suppose 0 = -h + 6*h - 65. Suppose -l + 5*u = -6 + 33, -3*u + h = l. Which is greater: 1 or l?
1
Suppose -5*g + 8 = -x, 3*g + 