+ x. Which is smaller: -2 or q?
-2
Suppose 4*j - 2*o = 3*o + 20, -o = 5*j + 4. Let x(n) = 5*n + 40. Let r be x(-8). Is j smaller than r?
False
Let b(t) = 2*t - 1. Let v be b(2). Suppose v*q + 2 = q. Which is smaller: q or -5/6?
q
Suppose -5*g + 2*z + 19 = 0, -2*z - 5 = g + 2*z. Suppose 4 + 2 = -g*b. Which is greater: b or -1?
-1
Suppose -2*b + 50 = 3*b. Let x be 14/b - (-6)/(-15). Suppose -x = -3*l + 2. Which is bigger: l or 2/23?
l
Let s = -8 - -9. Which is bigger: 29 or s?
29
Let t(y) = 4*y - 19. Let k be t(7). Is k at least as big as -1?
True
Suppose 10 = -2*d + 12. Which is bigger: -2/83 or d?
d
Let i(s) = -52*s. Let x be i(-1). Let h be (-3)/5 - x/(-70). Which is smaller: h or 0?
0
Let i(c) = -c**2 + 7. Let a be i(6). Which is smaller: a or -28?
a
Suppose 3*g = -7 - 8. Let l = g - -5. Is 0 != l?
False
Let j = -7 + 3. Let u = 2.7 + -3. Is u not equal to j?
True
Let j = -9.92 - 0.08. Is 0.1 smaller than j?
False
Let s(h) = -2*h + 8 + 4*h - h. Let u be s(-4). Suppose -w - 6 = -u. Which is smaller: -3 or w?
-3
Suppose g + 10 = 3*z, 5*z + 5*g = 12 - 2. Which is smaller: z or 1?
1
Let k be (-4)/(-6)*(-12)/(-8). Is 1/17 at least as big as k?
False
Let i(j) = j**3 - 7*j**2 - 8*j + 3. Let z be i(8). Suppose 2 = -t + 6. Which is smaller: t or z?
z
Suppose 3*w = 2*w - 6. Is w greater than -9?
True
Let g = 3.1 - 0.1. Let z = -2.9 + g. Let a = 0.2 - z. Which is bigger: a or -0.4?
a
Let d be (-198)/(-63) + 1/(-7). Suppose d*k - k = 0. Do k and -1/3 have the same value?
False
Let z(v) = 3*v - 1 - 8*v + v**2 + 4. Let x be z(4). Is x > 1/8?
False
Suppose 0 = -5*n - 13 + 63. Let f be (4/7)/(n/7). Which is smaller: f or -0.06?
-0.06
Suppose 55*c - 35 = 20. Let f = -0.2 - -7.2. Which is smaller: c or f?
c
Let w(t) = -t - 3. Let u be w(-3). Is u less than or equal to -2/45?
False
Let y = -1.16 - -1. Let z = y + -0.04. Is z greater than or equal to -1/4?
True
Let u(t) = t**2 + 8*t - 1. Let q be u(-7). Which is smaller: -9 or q?
-9
Let m be 32/(-10) + 1/5. Let b be 1/m*(0 - 1). Suppose -2*t - 18 = -4*f, 0 = -5*t - f - 2*f + 7. Which is bigger: b or t?
b
Let w(z) = -z**2 + 10*z - 9. Let c be ((-18)/5)/((-2)/5). Let p be w(c). Which is smaller: 1/13 or p?
p
Let q = 0.6 + -1.6. Let u = 0 - -1. Let i = u + q. Which is greater: i or 1/3?
1/3
Let y = -4 - -10. Let w = y - 5. Is 10 not equal to w?
True
Let y = -118 - -116. Is y greater than or equal to -8?
True
Let k = -230 - -3914/17. Suppose 7*j = 4*j. Is j <= k?
True
Let o(s) = -s - 2. Let z be o(-2). Let l = 0 + z. Let v be 4/18 + (-13)/18*1. Which is bigger: v or l?
l
Suppose -4*w + 0 = -2*y - 4, 0 = -w + y + 1. Suppose -5*z = 2 - 12. Which is smaller: z or w?
w
Let b = 0.107 - 4.107. Is b > -6?
True
Let y = -31 + 39. Which is bigger: y or 9?
9
Suppose 3*w = 8*w - 80. Let h be (w/140)/(2/(-25)). Is 0 at least h?
True
Suppose -4*c + 3 = 3*i - 0, i - 5*c = 1. Is -2/279 at least i?
False
Let t = 32 + -21. Is t at least as big as -1/2?
True
Let t = 114/55 - 14/11. Let i = 17/15 - t. Let z = -1 - -2. Which is smaller: i or z?
i
Let l(j) be the first derivative of -j**2 - 10*j + 2. Let r be l(-7). Let o(b) = -4*b - 20. Let c be o(-6). Is c less than r?
False
Let y = -3 - -2. Let n = -5 - -4.8. Let p = n - -0.1. Which is greater: y or p?
p
Let p be (-308)/1833 + 16/104. Let q = p + 55/564. Which is smaller: 1 or q?
q
Suppose -5*y = -2*b - 25, -4*b - 9 = -4*y + 11. Let g be -4 + (0 - b - -2). Let f(p) = p - 7. Let i be f(4). Does g = i?
False
Let s(a) = a**3 + 11*a**2 - a - 8. Let d be s(-11). Is d at least 3?
True
Let p be (6 + -6)/((-1)/1). Let y(j) = j**3 + j**2 + j - 15. Let i be y(p). Which is smaller: -16 or i?
-16
Let v be 316/26 - 4/26. Suppose v - 34 = 2*l. Let m be (-4)/(-10) + l/40. Do m and -1 have the same value?
False
Let b = 57 + -36. Suppose 0 = -r - 0*r + 56. Let u be r/b - (-1 + 1). Which is greater: 4 or u?
4
Let y(i) = -4*i + i**2 + 6 + 0*i + 3*i. Let r be y(0). Let o be (-2)/r - 3/18. Which is smaller: 0 or o?
o
Let w be -4 + 3 - 61/2. Let g = w - -32. Which is bigger: 1/6 or g?
g
Suppose m - 2*r + 0 = 3, -7 = -5*m + 2*r. Let l = m - 1. Let j be (-12)/20*(1 + l). Which is smaller: -1 or j?
-1
Suppose -8*n - 5*b + 35 = -3*n, 5*n = 5*b + 25. Suppose -z + 7 = -2*l + 4*z, 4*z - n = 2*l. Let c be (4/(-2))/((-8)/4). Is c bigger than l?
True
Let x = -39 + 58. Let n = -10 + x. Let b = 7 - n. Is 2/5 smaller than b?
False
Let b be 56/42 - (-19)/(-3). Which is bigger: b or -4?
-4
Let x be (2/(-3))/(4/(-6)). Let r = 0.04 - 0.02. Is r at most x?
True
Let p be (3/(-2))/((-507)/(-728)) + 2. Let k = -2 + 1. Is p >= k?
True
Let t = -14 + 6. Let g = t - -11. Let d = 5 - 6. Which is bigger: g or d?
g
Suppose 2 - 4 = 2*u. Let a = u - -4. Suppose -n - a*g = -1, g + 9 = -4*n + 2*g. Do 0.1 and n have different values?
True
Let n(k) = k + 2. Let i be n(-5). Suppose 5*a + 1 = a - 5*x, 3*x = -3. Is a > i?
True
Let u = -16 - -15.6. Is 1 equal to u?
False
Suppose -3*n + 4*u - 20 = 0, -4*u - 3 = 4*n + 5. Let z be 6/(-4) - (-4 - n). Is z < -3?
False
Let v = 0.3 - 0.2. Let p = -0.3 + 0.3. Let q = v + p. Which is greater: 1 or q?
1
Let v be -3 - (144/20 - 3). Which is bigger: v or -8?
v
Let j be (-3787)/(-84) - 2/(-8). Let u = j + -46. Let a = -0.02 - 1.98. Which is smaller: a or u?
a
Let d(v) = 2*v**2 + v + 2. Let f be d(-1). Let o = 4 + 1. Suppose -10 = -o*y + f*y. Which is greater: 6 or y?
6
Suppose 3*x = 4*x - 4*x. Is 0 smaller than x?
False
Let p = -2 - 0. Let u be 24/(-2)*p/(-4). Let k be u/(-21) + (-2)/7. Which is smaller: k or -1/8?
-1/8
Suppose h - 64 + 62 = 0. Suppose -3*l = -2 - 10. Suppose 3*x - 2*z - h*z = l, 4*z = 2*x - 8. Is x less than -3?
True
Let u be (17/(-1) + 4)*1. Which is smaller: u or -14?
-14
Let y be (0 - 3/(-48)) + (4 - 4). Which is smaller: y or -1?
-1
Let b(j) = -j + 4. Let h be 2/7 + (-215)/(-7). Suppose 0 = 5*o - h + 6. Let y be b(o). Is 2/9 greater than or equal to y?
True
Let z = 50.92 - 51. Is z equal to 1/3?
False
Let a be (-2*(-1 + 0))/2. Let v = 23 - 21. Is v at most as big as a?
False
Suppose 0 = 3*z + 2*b - 19 + 1, -3*z + 21 = 3*b. Suppose c + 1 + 1 = 0. Let k be c/5*(z - 5). Are -1 and k unequal?
True
Suppose 0 = 5*y + 5*y + 40. Is y at least as big as -5?
True
Suppose 3*i - 1 = -1. Which is greater: i or -3/20?
i
Suppose -3*r = -0*r. Which is smaller: 3/5 or r?
r
Let y = 1 + -0.8. Let w = 1.2 - y. Let z = -332.1 - -332. Are w and z nonequal?
True
Let u = -58 + 108. Which is smaller: u or 0?
0
Suppose -2*s + 16 = 6*s. Let k(q) = q**3 - 5*q**2 + q - 3. Let m be k(5). Let o = m + -1. Which is bigger: o or s?
s
Let d = -3003/8 + 376. Let u(b) = b**3 + 27*b**2 - 31*b - 83. Let p be u(-28). Which is smaller: d or p?
d
Let a(j) = j**2 + 16*j - 1. Let r be a(-16). Let c = -1055/7 - -151. Which is bigger: c or r?
c
Suppose 6*q = -0*q + 66. Which is greater: 15 or q?
15
Let d be 39/102 + 1/(-2). Let v = 0 - 2. Which is smaller: v or d?
v
Let u = -12 - -8. Let z be ((-3)/(-4))/((-3)/12). Which is greater: z or u?
z
Suppose 0 = -4*n - 2*c + 704, 5*n - c = -0*c + 894. Let u = -2312/13 + n. Which is smaller: 1 or u?
u
Let n be ((-6)/4)/(39/26). Which is smaller: n or -1/126?
n
Let p = 62 - 50. Which is smaller: 14 or p?
p
Let r be 4/(-18) - (-137)/9. Let q be r/12 - 2/8. Suppose 4*c + 4*b + 7 = 19, -3*c + 3*b = 21. Which is smaller: c or q?
c
Let i be 5/(-10)*8/(-10). Suppose 0 = -8*a + 4*a. Suppose -5*v - 4 - 11 = a. Are v and i unequal?
True
Suppose n + 72 = -3*n. Let s = n + 4. Let q be (-4)/s + (-30)/7. Is q at most as big as -4?
True
Let u(k) = -2*k + 5. Let d be u(6). Which is smaller: d or -8?
-8
Let i be (-2)/(-13) - 329/364. Let o = 1.5 - -1.5. Is o greater than or equal to i?
True
Let z = 65705/956 - -5/239. Let i = 68 - z. Is -1 > i?
False
Let d = -63 + 191/3. Which is smaller: 14 or d?
d
Suppose 5*g - i = 8, -7 = -4*g + 2*i - i. Is -1/19 at most g?
True
Suppose 3*i = -7*i. Is i greater than -6/7?
True
Let b = 0 - 1. Let h = -628/9 - -70. Which is bigger: h or b?
h
Let w(q) = -q**2 + 8*q - 16. Let n be w(5). Which is smaller: n or -25/12?
-25/12
Let k(s) = -s**2 - 14*s - 14. Let x be k(-14). Does -15 = x?
False
Suppose 28 + 12 = 5*l + 5*f, -f = -5. Suppose l*o = -24 + 6. Does -5 = o?
False
Suppose -3*w - 2*g = 9, 0 = -0*w - 2*w - g - 5. Let k be 63/140 + 3/(-15). Is k at least w?
True
Let 