*r - 1 + 3 = 0. Let z = r + 7. Which is greater: 3 or z?
z
Let q be 2/3*(4 - (-374)/(-11)). Is -21 bigger than q?
False
Let s(k) = -k**3 - 2*k**2 + 4*k + 4. Let b be s(-3). Let j = -3263 - -3263. Is j not equal to b?
True
Let i be (-27819)/(-2574) - (-14)/4. Which is bigger: 13 or i?
i
Let u = 13 - 11. Suppose -4*v + u*i - 5 = -v, -4*v - 5*i = -24. Let n be (3/18*-2)/(-1). Which is greater: n or v?
v
Let f = -0.12 - 0.58. Which is bigger: -1 or f?
f
Let a be 6/4 + 9 + (-21)/2. Let g = -453/1876 - -9/67. Is a less than g?
False
Let x = 2.84 + 1.56. Are x and 0 unequal?
True
Let i(p) = -p**2 - p + 1. Let b(c) = -c**3 + 9*c**2 - 13*c - 12. Let d(m) = -b(m) + 3*i(m). Let n be d(11). Let f = -143 - -291/2. Which is smaller: f or n?
f
Suppose 24*u = 18*u - 444. Is u equal to -75?
False
Let w = 31/39 - 6/13. Let p = -2 - -3. Is w at most as big as p?
True
Let d = -0.097 + 0.047. Which is greater: d or 0?
0
Let p = -12 - -15. Suppose -5*f - 2 + 21 = p*i, 6 = 3*f. Let k be (2/(-2))/(-10 - -14). Is k at most as big as i?
True
Let s(x) = -x. Let p(k) = -6*k + 1. Let o(r) = -p(r) + 2*s(r). Let g be o(-1). Let h = g - -5. Which is smaller: -4/3 or h?
-4/3
Let j(r) = -r**3 + 6*r**2 + 8*r. Let z be j(7). Let o(q) = q - 8. Let m be o(z). Let s(p) = 6*p**2 - 2*p - 2. Let d be s(m). Which is greater: d or 7?
7
Let b = -0.4 + 0.3. Let u = -79.252 + 79. Let j = 0.048 - u. Do b and j have the same value?
False
Let g = 23 + -27. Let t be 964/324 + 1 + g. Which is smaller: t or 0?
t
Suppose 5*l - 2*a = -8, 3*a - 15 = -3. Suppose l = f + 18 + 2. Let u be ((-24)/f)/(3/10). Which is greater: 6 or u?
6
Let w be 0 - -8 - (-2)/(-2). Let a = 1053 + -3155/3. Is w != a?
True
Let y(j) = j**3 - 9*j**2 - 4*j - 23. Let a be y(10). Let f be a - 4/8*8. Which is greater: f or 32?
f
Let o be 3/(-1) + -12 + 14. Which is greater: 1/134 or o?
1/134
Let j = -11 - 62. Is j at least -77?
True
Let k = 16801/13 - 1293. Let g = -32272 + 32270. Is k less than g?
False
Let x(k) = -13*k + 17. Let v be (-1 - 0)/((-12)/168). Let s be x(v). Let b be ((-36)/10)/(s/50). Is b bigger than 2/5?
True
Let o be (16/216)/((-78)/9). Let d = 347/468 - o. Which is smaller: 1 or d?
d
Suppose -14*w - 3 = -15*w + 2*s, -2 = 4*w - s. Is 2/247 bigger than w?
True
Suppose 141 = y + 139. Suppose 5*g = -5 - 0. Let b = -5 - g. Is y bigger than b?
True
Suppose 0 = -0*g - g - 140. Let m be (20/25)/(2/g). Let n = 30 + m. Which is smaller: n or -25?
n
Let c be 3*3/(-18)*20. Let o be (-2)/c + 6/(-5). Is o smaller than -1/89?
True
Let f(y) = y**3 + 9*y**2 - 20. Let u be f(-9). Let z = 6 + u. Is z smaller than -16?
False
Let w = -0.015 - 0.015. Let x = -3.43 + 3.3. Let j = x - w. Which is smaller: -7 or j?
-7
Let r be 4*(6 + 7 + -5). Which is smaller: r or 35?
r
Let a(y) = 4*y**2 - y - 1. Let q be a(-1). Let i be -3 + 8 + -4 + 3. Suppose -7*h = -24 - i. Is h at most as big as q?
True
Let f(d) = 2*d - 11. Let y be f(-5). Let o be (-21)/6*12/y. Let p = 28 - 27. Is o at least as big as p?
True
Let d be 1/(2/(-4 - -6)). Suppose -b = -7 - d. Suppose -1 + b = -g. Is g <= -7?
True
Let r = 691.9 + -641. Which is smaller: 0 or r?
0
Let p be 24/12*22/4. Which is smaller: 1 or p?
1
Let s = -646 - -646.2. Suppose -2*m + 2 = 6. Which is greater: s or m?
s
Let z be (-39 - (-2 - 2))/(2/(-26)). Let y = z + -25483/56. Is y greater than 1?
False
Let v be (994/42)/(3/(-27)). Is v less than -212?
True
Let b = 3.334 - -1.666. Is 0.101 at most as big as b?
True
Let m be 249/(-1710)*(-5 - -2). Let z = -5/19 - m. Which is smaller: z or -1?
-1
Let v = -669 + 668. Which is greater: 6 or v?
6
Let i(h) = -71*h - 60. Let k be i(5). Which is smaller: -417 or k?
-417
Let z = 12 - -6. Let y be (z/21)/(5/7). Let b = 5 + -4.9. Does y = b?
False
Suppose 0 = -4*d - 4*n - 16, -5*d - 5 - 3 = 2*n. Suppose 2*t + 9 = 3*g, -4*g + 30 = 4*t - 2. Let h be (3/2)/(-1*t). Which is smaller: d or h?
h
Let z = -4.8 + 5. Let b = z - -2.8. Let t = -2/329 - -96/329. Which is smaller: b or t?
t
Let y be ((-34)/(-4) - 9)*6. Let r = -12731/4410 - 1/490. Is y smaller than r?
True
Let a be 0/3*(-1)/(-2). Suppose -r + 1 = -z, 5*z + 0*r + 5*r - 5 = a. Suppose -32 = -4*b + 4*l, 4*b - 26 = -z*b + l. Are 4 and b nonequal?
True
Let z(r) = 3*r**2 + 3*r + 2. Let s be z(-2). Suppose -s = -5*w + 2. Suppose 0 = -w*x - 10, 3*a - 5*x = a + 11. Is a smaller than -7?
False
Let o = 1595 - 1596. Are -0.802 and o nonequal?
True
Let g = -264 - -265.15. Which is bigger: -1 or g?
g
Suppose -3 = -3*p - 0*x + 3*x, 3 = x. Suppose 2*s + 9 = v, -7*v + 2*s + 29 = -2*v. Which is smaller: p or v?
p
Suppose -2*q = -0*q. Let c be 1*3/(-150) - q. Which is bigger: c or 0?
0
Let q be (-40)/(-600) + 18312/45. Is q at least 411?
False
Let t(d) = -d**3 + 5*d**2 + 7*d - 6. Let l be t(6). Let g = -5 + 6. Let w be 21/15 + -1 + g. Do l and w have different values?
True
Let y(c) = -2*c**2 - 19*c + 1. Let m be y(-10). Suppose s = 3*s - 20. Let a = m + s. Which is smaller: -3/10 or a?
-3/10
Let x = -49 + 48.9. Let c = -2158/7 - -306. Is x greater than or equal to c?
True
Let h = -13 + 16. Suppose -6*l + h*l = 0. Which is smaller: -0.8 or l?
-0.8
Suppose q = 24*q + 23. Which is smaller: 14/61 or q?
q
Let n(u) = 4*u - 4. Let o be n(1). Suppose -4*s + 45 = -0*h + h, -2*s = -4*h - 18. Suppose -2*c + 3*c + 4 = 0, c - s = -5*a. Is o > a?
False
Let b = -2854 - -1860. Let z = b + 62620/63. Which is smaller: 0 or z?
z
Suppose -24*f = -18*f + 18. Is -43/12 != f?
True
Let o be 34*2/16 - 55/11. Which is smaller: o or -18?
-18
Suppose 4*b - u = -5, 4*u - 29 = 5*b - 9. Let f(a) = -2*a**2 - a + 6*a**2 + 3 + b*a**2 - 4 - a**3. Let m be f(3). Is 5 less than m?
False
Let n = -4492 + 4482. Suppose 15 = 2*o - 5*s, -26 = -4*o + 5*s - 1. Let x(v) = -2*v. Let m be x(o). Is m less than n?
False
Suppose -17 = -4*x - 4*c - 165, 5*x = 5*c - 195. Let w = -44 + 5. Is w greater than x?
False
Let o = -15 + 19. Suppose -u = 3 - o. Which is smaller: u or 1/7?
1/7
Let b = 143114049/70 + -2044520. Let i be -8 + 378/45 + 167/5. Let n = i + b. Is 0 at least as big as n?
False
Let a = -2 + 0. Let r = -3866/7 - -551. Which is bigger: r or a?
r
Suppose -24 = 3*f - 9*f. Let g be (f/10)/((-18)/(-27)). Let r be (-9 + 5)*1/(-2). Are r and g equal?
False
Suppose x - 7 = 5*d - 2*d, 0 = 5*x - d + 7. Suppose 3*i - 2*i = 0. Is x greater than i?
False
Suppose 9*b - 5*b - 15 = -t, -b = 4*t. Which is smaller: -8/31 or t?
t
Let s(f) = 3*f**2 - 6*f. Let z be s(-3). Let r = z - 44. Let b be 12/135*(-1)/(-2). Is r < b?
False
Let b = -111 + 324. Is 212 smaller than b?
True
Let m(z) = -z**3 + 17*z**2 + 48*z - 138. Let y be m(19). Which is bigger: y or 49?
y
Let l be ((-30)/(-144))/(24/20 - 1). Is 2 less than l?
False
Let y(i) = -2*i - 30. Let a be y(-13). Let f be ((-20)/(-200))/(1/a). Which is bigger: 2/5 or f?
2/5
Let v = -2065 + 2086. Is 33 smaller than v?
False
Let g = -1 + 4. Let m = 2 - -3. Which is bigger: m or g?
m
Let c = 9 - 6. Let b be (1 - 0)/(((-20)/(-25))/4). Suppose -h + 2*l = -b, -4*l + l = c*h + 12. Which is smaller: 1 or h?
h
Let z(p) = -58*p + 210. Let x be z(14). Are x and -602 unequal?
False
Suppose 3*h - h - 8 = 0. Let s(l) = -4*l + 26. Let a be s(6). Which is bigger: h or a?
h
Let u = 3.64 + -3.62. Which is bigger: 8/3 or u?
8/3
Let q = 6 - 12. Let z be q + 3/((-3)/2). Let u be (-2 - 12)/((-12)/54*-9). Is u at most z?
False
Let t = 748 + -757. Which is smaller: -23/3 or t?
t
Suppose -3*f + 3*b = 0, -5*f + 3*f - b - 9 = 0. Let d be ((-1)/(f - 1))/(33/(-55)). Which is smaller: -1 or d?
-1
Let a = -236 + 105. Are a and -131 equal?
True
Let a = 82831/22 - 3766. Which is smaller: a or -1?
-1
Let s be 4667/(-20956) + 4/26. Let y = -1/124 + s. Suppose -4*f - 5 + 1 = 0. Which is smaller: f or y?
f
Suppose 40*g + 750 = 50*g. Which is bigger: g or 74?
g
Suppose -o + 6 = -2*o + 2*k, -3*o + 5*k - 15 = 0. Suppose -2*w - 3*n = -o*w - 15, -2*w - 5 = -n. Is w smaller than 2/5?
True
Suppose -82*o + 83*o - 5 = 0. Let j be 5 - (-8 - -1 - o). Does 18 = j?
False
Let u(w) = 4*w + 7. Let n be u(12). Let d = 81 - n. Does d = 26?
True
Let v(a) = 2*a + 43. Let l be v(-21). Suppose -5 + l = 4*t. Is 1/36 <= t?
False
Let y be 50/8 + (-24)/6. Let q = y - 43/20. Suppose -2*z = -4*z. Which is smaller: z or q?
z
Suppose 5 - 1 = 2*y. Suppose -18 = -w + 5*a, w - a + 30 = 5*w. Suppose 0 = 3*