 is bigger: j or r?
r
Let x = 11 - 10. Let d = 313/5 - 63. Which is bigger: d or x?
x
Let y be (2/10)/(-1 - -2). Suppose -2*c = -4*c + 4. Suppose -5*d - 5*s - 2 + 12 = 0, 2*d - s + c = 0. Is y at most as big as d?
False
Suppose 3*o - 2*u - u = 18, o + u = 0. Suppose o*n - n - 8 = 0. Let p = n - 1. Which is smaller: 0 or p?
0
Suppose 4*n = -2*d + n + 19, -n + 13 = 4*d. Suppose z - d*j - 5 = -16, 0 = -2*z + 5*j - 26. Which is greater: -11/4 or z?
-11/4
Suppose -4*s = -2*a - 6 - 6, -5*s + 24 = 2*a. Suppose -4*l - a*z + 6 = -3*z, 2*l + 4*z + 6 = 0. Which is bigger: 1/10 or l?
l
Let w = 433 + -3487/8. Let o = w - -21/8. Suppose -2*r + 3*c + 11 = 0, 0*r + 4*c + 14 = 2*r. Which is bigger: r or o?
r
Let y be ((-6)/(-316))/(2/4*-1). Which is greater: y or 0?
0
Let k = -6921 + 15287. Let q = -58676/7 + k. Let x = q - -16. Is x greater than 0?
False
Let j = -77315 - -5334838/69. Let x = j + 4/23. Which is bigger: x or 2?
2
Suppose -3*w + 2 = -4. Which is smaller: 5/4 or w?
5/4
Let z = -1014277/18565 - -2576/47. Let b = z - -2/79. Let s be -2 + (0 - -1) - -1. Is s greater than b?
False
Let p be -6*((-134)/18 - (-2)/(-9)). Is p != 47?
True
Let v = 8 - 5. Let c = v + -2.9. Do c and -2/3 have the same value?
False
Let g = -1906/15795 - -134/243. Let f = 3/13 - g. Let h be -1 - -2 - (-4)/(-2). Is f greater than h?
True
Let o(f) = -f - 4. Let v be o(-5). Suppose -a + 16 = a. Let p be a/12*3/2. Is v not equal to p?
False
Let x be (-1 + -1 + 8)*-109. Let t be x*(-2 - 57/(-30)). Let v = -65 + t. Is v less than 2?
True
Let m be 2/3*6/4. Let d(j) = -3*j. Let x be d(m). Let t be (2 - 1)*3 - 7. Which is smaller: x or t?
t
Let j = -6 - -4. Let k be (-85)/j*2/(-7). Let a = k - -659/56. Is -1 at most as big as a?
True
Let n(q) = -q**3 + 5*q**2 - q + 6. Suppose -3*v + 3*r + 14 + 16 = 0, 0 = 4*r + 20. Let w be n(v). Let d be -2*(-2)/4*w. Which is smaller: 0.1 or d?
0.1
Let w = -0.1 + 0. Let g(i) = i**3 - 9*i**2 + 12*i + 13. Let r be g(7). Which is greater: w or r?
w
Let y be 2 + (-44)/41 - 1. Let o = -115/451 - y. Which is greater: 1 or o?
1
Let d(z) = -z - 2. Let u = -1 - 0. Let n be d(u). Is -2 bigger than n?
False
Let r = -7.9 + -2.1. Let k = r + 1. Let v = k - -9.2. Are v and 1 nonequal?
True
Let x be 0 + 0 + -1*1. Let n be (-1 + 1)*(-4)/8. Which is greater: x or n?
n
Let k(m) = -m - 2. Let l be k(-5). Suppose 0 = -l*o - 4*f - 17, -5*f - 19 = o - f. Which is smaller: o or -0.05?
-0.05
Let s be (-3)/5*70/(-56). Do s and 2 have the same value?
False
Let a = -30/11 + 172/55. Is 11 > a?
True
Suppose 0 = k - 0 - 3. Let w be 2/5 - 27/(-20). Which is smaller: k or w?
w
Let p = -24 - -25. Which is smaller: 3/7 or p?
3/7
Let k be 4/6*3/7. Let d = -2.4 - -2.2. Which is smaller: k or d?
d
Let x(q) = q**2 + 3*q + 1. Let y be x(-4). Let c = 1 + 5. Which is smaller: y or c?
y
Let t = 8 - 5. Which is greater: 2 or t?
t
Let q = 0.32 + -12.32. Suppose 2*x = -4*r - 2, -3*x + 0*r = 4*r + 3. Is q > x?
False
Let x = 22/15 - 9/5. Which is smaller: -17 or x?
-17
Suppose 0 = 3*d + 2*t, 0 = 5*d + 3*t - 0*t - 1. Suppose 6*l = d*l. Suppose 0 = 9*z - 6*z. Are z and l unequal?
False
Let f = 5 - 5. Let t = -77 - -185. Let h be t/(-112) - 4/14. Which is smaller: h or f?
h
Let w = 0.06 + 0.94. Let f = -4 - -3. Let h = f + w. Which is greater: 0.1 or h?
0.1
Suppose -13 = x - 6*x + 4*i, 0 = -2*x + 4*i + 10. Is 3/5 less than x?
True
Let l(b) be the first derivative of 3*b**2 + b + 3. Let h be l(1). Suppose h + 1 = 4*m. Which is bigger: m or 4?
4
Let w = -1.1 - -16.9. Let k = w - 16. Which is smaller: 0.1 or k?
k
Let b be -384*(5/(-15) - 0). Are 128 and b unequal?
False
Suppose 2*d - 2 = p + 4*p, 0 = -4*p + 2*d - 2. Which is smaller: p or -2/15?
-2/15
Let d = 11/5 - 1519/695. Do 0 and d have the same value?
False
Let w = 11.3 + -12. Which is smaller: w or 1/4?
w
Suppose 0 = c - 4*p - 10, 6*c = 4*c + 5*p + 14. Which is bigger: 3 or c?
3
Let x(l) = 11*l**2 - 2*l + 0*l - 12*l**2. Let o be x(-3). Let w be (o/(-30) - 0)*-6. Are w and -2 non-equal?
True
Suppose -2 + 8 = 2*q. Let c(u) = -u**3 + 6*u**2 - 5*u + 2. Let j be c(5). Suppose 0 = j*f - 7 - 1. Which is smaller: f or q?
q
Let d(n) = -n**2 - 10*n + 12. Let a be d(-9). Let h = a + -20. Are -2/9 and h nonequal?
True
Let d = 1 + -2. Let n = 2 - d. Let w = 1.4 - 1.5. Is n at least as big as w?
True
Let x(v) = -v**2 - 3*v + 1. Suppose t = -2 - 2. Let q be x(t). Is -2 at least q?
True
Suppose 0*m = 5*j - 5*m - 20, 3*j - 12 = m. Suppose 3*s - 4*l = 3, s + l + 3 = j*s. Let k(p) = -p - 5. Let f be k(-5). Do s and f have different values?
True
Let s(d) = d**3 - 12. Let v be s(0). Let i be 16/3 - (-4)/v. Is 7 less than or equal to i?
False
Let w = 71 - 214/3. Is w >= -0.1?
False
Let f = -7.03 - -0.03. Let p = 5 + f. Suppose 2*t = 4*z, 5*z = 5*t - t + 6. Is z greater than p?
False
Suppose 6 = -j + 16. Is 8 less than j?
True
Let j = 17.9 + -15.5. Which is smaller: j or 0.1?
0.1
Let f = 60 - 58. Are 0.2 and f equal?
False
Let r = -0.11 - -2.11. Let k = r - 3. Which is smaller: k or -0.5?
k
Let q = 0 + 0. Let w = -331/5 + 67. Is w at most as big as q?
False
Let u be (4 + -1)*(-4)/(-6). Suppose 2*m = 11 + 33. Suppose 14 = 2*c - 5*b, -2*b = -5*c - 8 + m. Is u < c?
False
Let s be 3*((-1)/(-1))/(-1). Let n = s - -5. Which is smaller: 3/5 or n?
3/5
Let c(q) = -q. Let f be c(2). Let k = -6 - -9. Suppose -14 = 4*y - 4*o + 10, o = -2*y + k. Is f smaller than y?
True
Let c = 1.35 + -1.25. Suppose 0 = -4*l, -4*l + 2*l = -x + 22. Suppose -5*h + m = x, 2*h - 4*m - 4 = 5*h. Are h and c nonequal?
True
Let p = 5 + -3. Let b(v) = 3*v - 8 - v**3 + 5*v - 2*v**2 + 8*v**p - 1. Let a be b(7). Is a less than -3?
False
Let y = 2187/55 + -199/5. Which is greater: 1 or y?
1
Let d = -10.254 + 0.054. Let f = d + 11. Let u = -0.2 - f. Which is bigger: -0.1 or u?
-0.1
Suppose f = -4*f - 30. Let p be (-32)/55 + f/(-15). Is -1 less than p?
True
Let n be 1/2*(-32104)/34. Suppose 550 = 2*j - 394. Let c = n + j. Is c at least -1?
True
Let u be 4/6*315/(-20). Is u smaller than -11?
False
Suppose k + 2 = 4. Let b = 119/215 + 2/43. Is k smaller than b?
False
Let r(z) = z**2 - 3. Let q be r(0). Let d be 2/16 - q/12. Is -1 at most d?
True
Let n be (-6)/9 - (2/1 + -3). Let c be (-2*(-2 + 1))/2. Let z be 2/(-6) + c/3. Are z and n equal?
False
Suppose 3*s + 5*l = 2*s + 24, -23 = -2*s - 5*l. Let x be (2*-3)/((-1)/(-4)). Let b be 1 + (x/7)/4. Is b > s?
True
Let o be (-16)/(-18) + -1 + 0. Let g be 9/12 + (-2)/8. Is g greater than or equal to o?
True
Let y = 1070/17 - 63. Let g(l) = -l**3 + 9*l**2 - l + 8. Let z be g(9). Which is greater: z or y?
y
Let b = 12 - 29. Let i = 8 + b. Let f(a) = -a**2 - 9*a - 2. Let r be f(i). Which is smaller: r or -3?
-3
Let k = -0.1 - 0.9. Suppose -5 = 9*z - 4*z. Is z <= k?
True
Suppose 2*j + 6 + 4 = 0. Suppose 0 = -a + 12 - 14. Which is smaller: a or j?
j
Suppose -r - 5 = -0. Suppose 0*a - 5*a = 20. Which is smaller: r or a?
r
Let c = 14 + -16. Let k = 9 - 9. Which is bigger: k or c?
k
Suppose -u - 2*z = 6, -3*u + 3*z + 35 = 2*u. Let k(v) = 5*v - 2. Let a be k(6). Suppose 2*p + 13 = 2*w - 3, -w + a = -5*p. Which is greater: w or u?
u
Let a = 7 + -7.2. Which is smaller: a or -0.15?
a
Let i be (-6)/12 + (-618)/(-1220). Let y = -347/6405 + i. Which is smaller: 0 or y?
y
Let c = -151/1409 + -152810/638277. Let z = c + 2/151. Is z greater than 1?
False
Suppose -9 = -5*g + 3*q, 4*q = -2*g - 2*g + 20. Suppose 4 = n - g*n. Is -3 <= n?
True
Suppose 0 = -3*v + 4*o + 2 - 3, -3*v = -3*o - 3. Suppose -v*h = 3*i + 11, -4*i + 22 + 10 = -5*h. Suppose -3 = -i*y + 3. Which is bigger: 1 or y?
y
Suppose 12 - 100 = 11*m. Which is smaller: -3 or m?
m
Suppose -3*f - 29 = 2*s - 3*s, -3*f + 4*s - 44 = 0. Let t be (-23)/(-18) + f/(-36). Which is smaller: 3 or t?
t
Suppose 2*f - 5 = 5. Suppose g - 2*r + 19 + 3 = 0, 74 = -f*g + r. Let i be (g/4)/(-7)*8. Are i and 4 equal?
True
Let u(p) = -p**2 + 5*p - 6. Let d be u(5). Let l be ((-12)/18)/((-4)/d). Which is smaller: l or -1/24?
l
Let t(j) = -6*j - 2. Let s be t(-3). Let w be 15/(-50)*s/(-6). Let i = 2 + -2. Which is greater: w or i?
w
Suppose -7*r - 88 = -3*r. Is -21 greater than or equal to r?
True
Let c = 2.1 - -2.9. Which is smaller: 0 or c?
0
Let d = 0 + -0.4. Let w = -0.2 - -0.7. Let r = w + d. Which is greater: r or 3?
3
Let f be 4/10 - (-567)/45. 