 be 1878/(-20) - 6/10 - (-1)/2. Let p = -223 + 128. Which is bigger: p or i?
i
Let j(v) = -5*v + 1. Let m be j(3). Let z = 19 - m. Let p = -107 + 141. Which is bigger: z or p?
p
Let b be (-834)/288*-6*(-1 + 3). Which is smaller: b or 34?
34
Suppose -4*q - 3 = 5*l - q, -2*q = l + 2. Suppose -5*h - 5 - 5 = l. Let o = -9 - -5. Which is bigger: o or h?
h
Let t = 460 - 436. Which is smaller: t or 1?
1
Let o = 1.7 + -0.7. Let j = o - 3. Let i = j - 1. Does i = 2?
False
Let u be 22/(-88) + (-33)/12. Let r = 4 - 6. Are u and r nonequal?
True
Suppose -28*f - 78 = -26*f. Let x = f - -46. Is 1 not equal to x?
True
Let p = -15.9 + 15. Let d = -0.693 - -0.593. Which is greater: d or p?
d
Let q(r) = -3*r**3 + r**2 + 2*r + 9. Suppose 2*b + 2 = -2. Let p be q(b). Which is smaller: p or 32?
32
Let h = 0.0023 - 0.0623. Which is smaller: -1 or h?
-1
Let o be 135050/(-210) - 6/(-63). Which is smaller: -642 or o?
o
Let s = -2285961/11 - -207365. Let m = 450 + s. Is m greater than 0?
True
Suppose 43*l - 40*l = 0. Which is greater: l or -7/12?
l
Suppose 0 = 2*m - z - 5, m + z = -4*z - 3. Let w be (-2690)/8 - m/(-8). Let q be 4/22 - w/(-33). Is q > -9?
False
Let f = -24/185 + 3964/2035. Which is smaller: 2 or f?
f
Let r = 20811250/1561 - 13332. Which is smaller: r or 1?
r
Let g = 118 - 89. Let i = -29.932 + -0.068. Let m = g + i. Is m smaller than 4/7?
True
Let n(v) = -v**3 - 2*v + 12. Let u be n(0). Let m = 4 + u. Is m less than 16?
False
Suppose -4*t = 4*t + 64. Let j(g) = -g**3 - 9*g**2 - 11*g - 27. Let h be j(t). Which is smaller: h or -5?
-5
Suppose 2*u - 100 = -80. Let k be 32/16*(-7)/u. Suppose -2*s = -2*r - 0 - 4, 5*r + 2*s - 4 = 0. Which is bigger: k or r?
r
Suppose 5*p = 5*c - 30, 8*p - 4*p = 3*c - 24. Which is smaller: p or -0.15?
p
Let o be ((-2)/(-5))/(1/5). Suppose o*b = v - 7, -5*b - v - 22 = -5*v. Suppose 5*p + 10 = -5*y, y - 3*p = p - 7. Is b greater than y?
True
Let q(f) = 7*f + 4. Let w be q(-2). Let s = -20 - w. Let j be ((-2)/s)/((-6)/(-10)). Are 0.1 and j equal?
False
Suppose 24*q + 15 = 29*q. Suppose -3*g - r = 3, 0 = 4*r + 6 + 6. Let t be 3 - (q - 1 - g). Which is greater: 0.4 or t?
t
Let b be (-6)/(-6)*(3 + 0). Suppose -7*i + 18 = -17. Suppose 6 = -2*m + 4*m + 3*c, 49 = i*m - c. Which is smaller: m or b?
b
Let y = 1100 + -1099. Does -2/727 = y?
False
Suppose -3*b - 32 = 2*o - 6*b, -2*o + 4*b - 36 = 0. Suppose -2*z = 30 - 4. Let j = o - z. Is 3 at least j?
True
Let h = -14.67 + 2.67. Are h and 5 unequal?
True
Let t = 2.0632 + -0.0632. Which is greater: t or 170?
170
Suppose 18*j + 243 = -27. Let n be 6/(-273)*35/j. Are 1 and n equal?
False
Suppose -2*u - 22 = -12, -2*u = -4*l - 858. Which is smaller: -216 or l?
l
Let t(y) = y**3 - 11*y + 2. Let w(c) = c**2 + c + 1. Let h(z) = -t(z) - 6*w(z). Let q be h(-7). Is q at least 6?
True
Let a = 2108/9 + -234. Which is smaller: a or 93?
a
Suppose -108 = -3*l + 3*a - 0*a, -l = -4*a - 45. Let n = 28 - l. Let u = -15 - n. Is -10 less than or equal to u?
True
Let u = 6 - 3. Let q = 4 + -3.7. Let f = q - 0.5. Which is smaller: f or u?
f
Let c = -10 - -3. Let v be -11 - 10*(-48)/40. Is v bigger than c?
True
Let f = 8 + -15. Let x(t) = -t**3 - 7*t**2 - t - 5. Let h be x(f). Let s = -104 - -106. Is h != s?
False
Let n be 145/45 + 2/(-9). Suppose -n*a + 3 = -6. Suppose 4*r - 10 = 5*x, -6 = a*x - 0*r + 2*r. Do x and -1 have the same value?
False
Suppose 3*d + 3*w = -45, 3*d + 0*d + 37 = 5*w. Is -55/4 smaller than d?
False
Let x(h) = 24*h - 184. Let c be x(8). Which is bigger: c or 46/7?
c
Let n(p) = -p**2 + 2*p. Let t be n(2). Suppose 1260 = 18*u - 19*u. Let g = -69302/55 - u. Which is bigger: g or t?
t
Let q = -95 - -105. Let j = q - 9. Which is smaller: 3 or j?
j
Suppose 0 = 106*m - 40 + 146. Which is smaller: -3/1247 or m?
m
Let c = -62.9 - -77.9. Is -4 bigger than c?
False
Suppose 0 = -3*a - 4*k + 10, 5*a + 0*k - 12 = -2*k. Let j = 5 - -3. Let y(v) = -v**3 + 7*v**2 + 10*v - 13. Let o be y(j). Which is smaller: a or o?
a
Let m be 13405/(-7)*((-76)/20 + 4). Is -387 bigger than m?
False
Let k be 30/(-39)*(-99 + 33). Is k equal to 52?
False
Let x be 0*1*(-3 + 0 - -2). Suppose 37*b - 34*b - 12 = x. Is 44/9 smaller than b?
False
Let b be (7497/1428)/(3/(-8)*1). Is b at most as big as 18?
True
Let m = -4/51 + -3/34. Let d = -4.8 + 3.96. Let k = -0.16 + d. Are k and m unequal?
True
Let p = 82 + -94. Let b = p + 80. Is b > -1?
True
Let w be (-2240)/392 - 2/7. Is -26 less than or equal to w?
True
Let k = 19 + -13. Suppose 5 = m + f, -2 = -m + 2*f - k. Suppose -4*c + 2*v = v + 6, -4*c = m*v. Which is bigger: 5 or c?
5
Let x be 0 - 1 - 3 - -5. Suppose 8*l = 3*l - 10. Are l and x equal?
False
Suppose 2*d - 4*t - 8 = 0, 2*t = 2*d + 3*t - 33. Suppose 4*s - 42 = 2*l, 32 = 4*s - 7*l + 3*l. Is d less than or equal to s?
False
Let i be (-4)/((-24)/(-45))*-2. Suppose 0 = 7*d - 27 - i. Suppose -3*a + d = 9. Which is smaller: a or 1/5?
a
Let f = 24.8 + -21.2. Is f at least -3?
True
Let y(m) = -7*m**3 + 5*m**2 - m + 1. Let u be y(1). Which is greater: u or 5?
5
Suppose 5*b + 22 = 3*c, -10 = -5*c - b - 4*b. Suppose -p + 0 - 1 = 0, -c*p = 2*z + 28. Which is bigger: z or -5?
-5
Suppose 183*q = 186*q - 81. Suppose 0 = -4*k - 8, -5*b - 20 = 4*k - 62. Suppose b*l + q = 7*l. Are -10 and l nonequal?
True
Let l be 3 + 10/(-35)*2591. Let f = -735 - l. Is 3 not equal to f?
True
Let j = 1.15 - 1.4. Let g = j - -10.25. Let f = -10.1 + g. Is -9 <= f?
True
Let i = 11 + 10.5. Let l = -1.5 + i. Let h = l - 24. Is -0.5 greater than h?
True
Suppose -6 = -2*m + 3*t + t, 4*t = 0. Suppose 0*u = m*u + 210. Let z be 2/7 + 580/u. Which is greater: -7 or z?
-7
Suppose -56*n - 591 = -1823. Which is smaller: 11 or n?
11
Let g = -26.9 + 26.85. Which is greater: -66 or g?
g
Suppose -3*q - 6*c = -2*c - 176, 121 = 2*q - c. Let f = q + -60. Which is greater: f or 6/5?
6/5
Suppose -69 = -16*f + 523. Which is smaller: -4 or f?
-4
Let x = -31.6 + 32. Suppose 0 = 6*m - 9*m - 6. Which is bigger: x or m?
x
Let f = -1 + 1.68. Let n = f + -0.48. Is n < -3/5?
False
Suppose -2*u = 5*r - 115, 5*u = 8*r - 5*r - 69. Is r < 31?
True
Let k = -0.1 - -0.1. Let c = k + 0.1. Let x = -0.23909 - -0.33909. Do x and c have the same value?
True
Let w = 4 + -12. Let z = w + 9. Is z greater than or equal to 7/6?
False
Let a(c) = -c**2 - 14*c + 51. Let v be a(-15). Which is bigger: 40 or v?
40
Let h be 13 + -6 - 4425/633. Which is bigger: h or 2/21?
2/21
Let v(y) = -41*y + 392. Let n be v(11). Which is greater: -483/8 or n?
n
Suppose -1 = 2*p - 7. Suppose -3*h + 0*h + p = 0. Let f be (-91)/(-234) - 2/12. Is h less than f?
False
Let n = 237 + -161. Which is smaller: n or 75?
75
Let v = -2854/975 - -4/975. Do v and -2 have the same value?
False
Let c = -67 + 60. Let p(a) = a**3 + 7*a**2 - a - 5. Let o be p(c). Which is greater: o or 3?
3
Let z be ((-2)/(-3))/((-33088)/(-3312) - 10). Are z and -79 equal?
False
Suppose -k = 3*s + 113, 0 = 4*k - 3*s - 60 + 467. Let a be (-2)/(-16) - 1079/k. Is 12 > a?
True
Let m be 2 + 3 + 20/(-4). Suppose -4*t + 4*l = 0, m = 5*t - l - 0*l - 16. Let g = t + -4. Is 3/4 smaller than g?
False
Let n = 13.62 - 13.5. Which is bigger: n or 0?
n
Suppose -210 = -807*g + 812*g. Let s = 82 + -123. Is s bigger than g?
True
Let f(a) = -a**3 - 8*a**2 + 8*a - 5. Let d be f(-9). Suppose -4*i + 72 = -5*c, i + 14 = -d*c - 31. Let t = 10 + c. Is -3 greater than t?
False
Let l = -32.83 - -122.81. Let w = -90 + l. Is w at most -0.1?
False
Let q = -48.65 + 47. Let x = 1.5 + q. Let a = x - -0.35. Which is bigger: a or -5?
a
Let j = 0.0148 - 0.1848. Is 1/22 bigger than j?
True
Suppose 0 + 15 = -5*l. Let c be l/((-9)/7) - (2 - 1). Let k = -3 + 4. Is c at most k?
False
Let l = -5 + 9. Suppose -7*y + l*y + 27 = 0. Which is bigger: 10 or y?
10
Let t = -20 + 17. Let n be 1/2*(-5 - (26 - t)). Which is greater: n or -1?
-1
Let k be (7086/(-12))/((-5)/(-94)). Let t = -11065 - k. Let l = t + -36. Is -1/5 > l?
False
Let m(w) = -254*w + 330. Let g be m(12). Is -2718 at most as big as g?
True
Let s be 4 - -6 - 2*4/(-8). Which is smaller: 95/8 or s?
s
Let b(v) = -v**2 - 7*v - 8. Let h be b(-6). Let q(d) = d + 1. Let g be q(h). Let i be ((-4)/14)/((-2)/(-4)). Which is smaller: g or i?
g
Let l(z) = -z**3 + 12*z**2 + 3*z + 5. Let h be l(12). Suppose h = 4*o - 5*s, 2*s + 26 = -2*o + 6*o. Suppose 