s smaller: n or r?
r
Suppose 24 = 4*p - 0*p. Let w(m) = 2*m - 6. Let c be w(p). Suppose -3*q + f - 4 = -2*q, -3*q + c = 3*f. Which is smaller: q or 1?
q
Let o = 26 - 17. Let b be 3/o + 16/6. Suppose -5*a = -9*a - 3*v - 4, 4*a - 2*v - 16 = 0. Which is smaller: a or b?
a
Let i = -2 + 0. Let q(b) = -3*b + 1. Let k be q(i). Let o be ((-2)/(-3))/((-2)/(-18)). Which is smaller: o or k?
o
Let p = -7 + 15. Let l = 8 + p. Let r be -3 + 7/(35/l). Is 1 >= r?
True
Let d = 109 - 69. Let p be 1/5 + 632/d. Is p less than 17?
True
Let y be (1 - 0) + 30/5. Let w(l) = -l**3 - l + 6. Suppose -4*i + 0*i = 0. Let d be w(i). Is y greater than or equal to d?
True
Let i be (8 + 1)*(-2 + 3). Let f = i - 16. Let m be 93*((-24)/(-80))/(36/(-10)). Do f and m have the same value?
False
Suppose 20 = 2*v - 6*v. Suppose -o = 12 - 4. Let s = o - -3. Are v and s equal?
True
Let m be ((-72)/(-39) - 2)/1. Let b = -3.21 + 0.21. Which is smaller: m or b?
b
Let t be 29*3 + (-3)/(-3 - -6). Let y = -126 + t. Is -42 at most y?
True
Let b(r) = -3*r**2 - 5*r - 10. Let k be b(-5). Let t be k/2175*(-5)/(-2). Is 0 >= t?
True
Suppose -20*p - 3*l = -22*p + 14, -3*p - l - 1 = 0. Suppose -2*n = -0*n. Is p > n?
True
Let z be (-13)/20 + (-1)/(-4). Let x = 476 - 471. Is x > z?
True
Let t = 101.5 - 762.5. Which is smaller: t or -1?
t
Suppose -4*r = -9*v + 7*v - 8, 0 = 5*r - 5*v - 15. Is r >= -1/156?
True
Suppose -5*y = 4*h - 15, -y = 2*h - 3 - 0. Suppose 3*u - 6*u + 5*n = -12, 0 = -4*u - n + 16. Let o be 3 + (4/u - 0). Which is bigger: o or y?
o
Let c be (-1428)/(-272)*(-8)/(-3). Let i(d) = d**3 + 6*d**2 - 12. Let z be i(-5). Which is smaller: z or c?
z
Let w = 511 - 516. Which is greater: w or -0.14?
-0.14
Suppose 10*z - 4*r = 7*z - 1614, 0 = -2*z - r - 1087. Which is greater: -543 or z?
z
Let z be ((-6)/8 + 2)*2/(-10). Is z greater than or equal to -1/31?
False
Let j = 2962 - 38525/13. Which is smaller: j or 0?
j
Let w = 13 + -12. Let o = 3/40 - 1/20. Let z = 51/40 - o. Is z > w?
True
Let n = -238 - -593. Are n and 354 equal?
False
Let f be -3 - (34/(-4) - (-18)/(-36)). Which is greater: f or 55/8?
55/8
Let t = 390.6 + -391. Which is bigger: t or -9?
t
Let k = -3.3 + -0.7. Suppose -y = -4*y - 9. Which is smaller: y or k?
k
Suppose 120 = 4*l - 0*l. Let q = 24 - l. Let i be (1 - 3)/(20/65). Is i > q?
False
Let w(t) = -2*t**2 - 16*t - 10. Suppose -2*x - 36 = 4*j, 3*j + 12 = 2*j - 2*x. Let i be w(j). Which is smaller: -14 or i?
-14
Let o(n) = 8*n + 63. Let j be o(-4). Which is smaller: 33 or j?
j
Let z be 0*5/(-10)*-1. Suppose z = 2*o - o. Let i be 93/156 - 6/8. Is o <= i?
False
Let q = 2/34091 - 36171/35454640. Are q and 1 unequal?
True
Let m = -2825.29593 + 4.30593. Let f = m + 2806. Let s = f + 15. Are 0.1 and s non-equal?
True
Let n be (9 + -18)/9 + 2. Which is greater: -47 or n?
n
Let d(l) = -l**3 - l + 4. Let k be d(0). Suppose 0*y - 2*y + k = 0. Suppose -5 = 4*x + 5*o, 1 = 2*x - y*o - 1. Which is bigger: x or -2/13?
x
Let c be (-45)/(-160)*8/(-6). Let b = 21 + -22. Is c greater than or equal to b?
True
Let v be (-114)/4 + 5/(-10). Let q = v - -205/7. Let h = -1 - -5. Do h and q have the same value?
False
Let o = 101/8 + -25/2. Let j(h) = -h**3 - 3*h**2 + 5*h + 1. Let i be j(-4). Let d be ((-18)/(-4))/i*(-20)/(-30). Is d at least o?
False
Suppose -363 = -5*b + o, 12*o = -b + 16*o + 84. Is b at least as big as 68?
True
Let v = -10 + 17. Let f = 7 - v. Suppose f*t = t. Is 1 less than or equal to t?
False
Suppose 3*o + 8 = 4*f, 2*f = 3*o - 4*o - 6. Let k = 0.012 + 19.988. Let z = k + -21.7. Which is smaller: f or z?
z
Suppose -6 = 3*y, 0 = -0*g + g + 2*y + 8. Let p = 1192 + -1195. Is p != g?
True
Suppose 28 = -6*u - 722. Is -125 equal to u?
True
Let o = 2.5 + -1.5. Let n = -2 - o. Let v = 41 - 44. Is v less than n?
False
Suppose -30*b - 208 = -17*b. Are -4 and b equal?
False
Suppose -4*l = 58 - 6. Suppose 4*x + 16 = 4*u, -3*u + 0 = -x - 2. Let m be (-2)/7 - ((-200)/(-35) - x). Is m less than or equal to l?
False
Let m(g) = -9*g + 19. Let f be m(-5). Let p = -67 + f. Do -5 and p have different values?
True
Suppose -2*t - 3*s = -6, 0*t + 4*s = -4*t + 12. Suppose 0 = -t*o + 9, 23 = 4*g - 0*o + o. Which is greater: g or -2?
g
Suppose -56 = -4*y + 4*h, -5*y + 3*h - 5 = -69. Suppose x - 22 = -5*q, -q = -3*x - y - 3. Let r = 0.1 - 0. Is q < r?
False
Let o = 50 + -48.2. Let s = o - 1.7. Which is greater: s or -2/15?
s
Let n(b) = b**3 + 9*b**2 - 3*b + 6. Let r(l) = -l**3 - 9. Let q be r(0). Let x be n(q). Suppose -28 = -5*a - x. Does a = 1/25?
False
Suppose 0 = 106*s - 191*s. Let g be (-8)/30*1/6. Which is smaller: g or s?
g
Let g be -5 - 7/((-238)/146). Which is smaller: -4 or g?
-4
Let d = -0.071 - -0.371. Let m = 5 + -5. Which is smaller: d or m?
m
Let i(t) = -t**2 - 3*t + 58. Let w be i(8). Which is smaller: w or -219/7?
-219/7
Suppose 2*u + 3 + 4 = 3*d, -5*u = -3*d + 4. Let p be (u - -41)*4/12. Let n be (1 - -1)*p/(-28). Is -1/3 less than n?
False
Let t be 1/5 + 638/10. Let f = -64 + t. Which is greater: f or 2/19?
2/19
Let j = -133 + 108. Let z be (-2)/(-159) + (j/5 - -5). Does 1 = z?
False
Let f = -3390/11 - -19062/55. Which is smaller: 37 or f?
37
Suppose -2*z = -4*b - 22, -2*z - 3*b = 2*b + 14. Suppose z*m = -4*f - 243, m = 4*f - 2*m + 237. Let n be 29/(-36) - 15/f. Which is smaller: -1 or n?
-1
Let g = 78.2 - 78. Let q be -2 + (-10)/(-3) + -1. Is q at least g?
True
Let j(u) = -6*u**2 - 2*u + 1. Let r be j(-3). Is r bigger than -44?
False
Let a = -1776 + 1745. Is -17 less than a?
False
Let h be (-6)/(-2)*1 - -3. Let l be (h/9)/((-24)/117). Let m = l + 15/4. Which is smaller: m or 0?
0
Let d = 249 - 247. Suppose -4*p - 5*k = -60, -3*p + 54 = 2*p + k. Suppose -2*z = -5*s - p, -s - 6 = d*s + 4*z. Which is smaller: -3 or s?
-3
Let x = 4 - 2. Suppose -t - 8 = -8. Suppose -2*w - x*w = t. Is 0 at most as big as w?
True
Suppose -13 = -3*b - 4. Suppose 22*q - 19*q = 3. Let v be (q/b*1)/(-1). Which is smaller: 2 or v?
v
Suppose 4*o - 46 = 5*j, o + j = 2 + 14. Do 44/3 and o have the same value?
False
Suppose 47*g + 25 = 22*g. Which is greater: g or 5/69?
5/69
Let h(a) = -a**2 + 6*a + 10. Let s be h(7). Suppose s = -5*f + 8. Which is smaller: -3/73 or f?
-3/73
Let n = -53 + 97. Let w = n - 42. Does 1 = w?
False
Let q(r) = -8*r**2 - 6*r - 3. Let i be q(-4). Let w be (-10)/(-35) - i/(-7). Let b = w + 15. Which is smaller: -4/9 or b?
-4/9
Let b = -32 - -32. Suppose 3*z + 50 - 53 = b. Is -9 at least as big as z?
False
Let d(j) = -83*j - 516. Let b be d(-11). Is b less than or equal to 397?
True
Let i = -235 - -325. Which is smaller: 87 or i?
87
Let b be 2/(-8)*0 - 114/(-2). Is 58 < b?
False
Let h be -11 + (-21)/(-7) + 5. Which is smaller: -0.36 or h?
h
Let m(a) = -403*a**2 + 11*a - 5. Let z be m(1). Is z greater than -397?
False
Suppose 5*l + 23 = -5*i - 27, -i = 3*l + 20. Let w = 0.2 + -0.3. Let y = w - -0.2. Which is smaller: y or i?
i
Let q be (-106)/(-34) + 28/(-238). Which is smaller: 42/23 or q?
42/23
Let d = -424 - -461. Is 1/2 at least as big as d?
False
Let c be 6/(5 + (-124)/24). Let p be ((-12)/(-80))/(-4 - c/10). Suppose k - 4 = -3. Is p at least k?
False
Let l(q) = q**2 - 6*q + 3. Let r be l(6). Suppose -3*o + 0 = -r. Is -2/141 less than o?
True
Let v = -20 - -16. Let k be (16 + v)*4/(-15). Is k at least 2?
False
Let v be 15/(-3) + (3321/(-63))/(-9). Is v >= 3?
False
Let l be (-70 - -74)/(0 - (0 - -1)). Let a be 1/2*(-6)/(-12)*l. Which is smaller: -2/21 or a?
a
Let b = 0 + -1. Which is bigger: b or -16/93?
-16/93
Let h(c) = 15*c + 42. Let w be h(3). Is w at least 86?
True
Let o = -207/19 + 11. Let w = 18 + -20. Let z be (-1 - (-3 - 0))/w. Which is bigger: o or z?
o
Suppose -2*t + 0*s = s + 13, -3*t = -4*s + 3. Let g(c) = c**2 - 10*c - 17. Let w be g(t). Is 59 greater than or equal to w?
True
Let d = 994 - 954. Are 3 and d nonequal?
True
Let y be (-27)/(-45) - (-86)/(-10). Which is smaller: y or -16?
-16
Let x = -105 + 106. Let t(h) = -h**3 - 6*h**2 + 1. Let w be t(-6). Does w = x?
True
Let x = -64.2 - -10.2. Let o = x - -54.5. Which is bigger: -6 or o?
o
Suppose -25 = -5*j, j - 6 = -2*d - j. Let l be (-84)/56 + ((-4)/1)/d. Which is smaller: 4 or l?
l
Suppose -126 = -20*w - 106*w. Which is smaller: w or 14/223?
14/223
Let m be ((-2 - -2) + 51)/(-154). Let u = m - -1/22. Let h = -4 - -5. Do h and