 + 10)*(-20)/4. Which is smaller: i or j?
j
Let f = -6 + -1. Suppose 22*l = -u + 11*l - 86, -3*l = u + 30. Is u at most as big as f?
True
Suppose -2*o - 4 = 2*o. Let i be 2 + o + 0 - 0. Suppose -m + 69 = -4*z, -2*z - 2*m - 52 = -6*m. Which is smaller: z or i?
z
Let c(r) = 4*r - 2. Let m be c(2). Let s(j) be the first derivative of -j**4/4 - 3*j**2/2 + 6*j - 25. Let o be s(0). Does o = m?
True
Let b = -21 - -9. Let o = b - -20. Let c = o + -8. Is -2 > c?
False
Let p = -12/329 - 5/47. Is 1 < p?
False
Let o = 4.539 - 4.939. Suppose -2*b = 5*x - 3, 13 = -3*x + 2*x + 3*b. Which is smaller: x or o?
x
Let f be 2*((-86)/(-80) - 1). Suppose -3*z + 5*z - 8 = 4*n, 16 = -2*z - 4*n. Let o be (-2 - -2)/(z - (3 - 7)). Which is bigger: f or o?
f
Let b be (0 + (-2)/(-16))*-3. Suppose 15 - 3 = 4*z. Let f be z*3/(18/2). Which is bigger: f or b?
f
Let p be (2/(-2))/(2/12). Let x be 3/p*(-2)/(-13). Is 1 not equal to x?
True
Let c(n) = 55*n - 4. Let u be c(-2). Let z = u + 117. Which is smaller: z or 3/2?
3/2
Suppose -5*o + 5*n = 840, -2*o + 65 - 377 = 4*n. Which is greater: o or -165?
o
Let u = -5670 + 187130/33. Let y = 1/3 - u. Which is bigger: 0 or y?
0
Let t = 33 - 28. Let b be (-1)/t - (219/5 - -3). Is b <= -46?
True
Let f = -5 - -7. Suppose -f*t + 8 = 2*t. Suppose -t*r + 9 = 13. Is -2 smaller than r?
False
Suppose -5*a + 1747 = -3*s, -2*s - a - 1169 = -0*s. Is s equal to -1?
False
Let v(s) = 2*s**2 - 5*s - 2. Let h(x) = 2*x**2 - x. Let f be h(-1). Let c be v(f). Let r be ((-15)/2)/(-3) + -1. Which is greater: c or r?
r
Suppose 58*u - 13*u = -11610. Which is greater: -261 or u?
u
Let c = -21 + 24. Suppose -c*m = -0*m - 135. Let f be (3/5)/(3/m). Which is smaller: f or -1?
-1
Let k(d) = 6*d - 81. Let q be k(11). Let i = -11 - 4. Is i smaller than q?
False
Suppose -n + 9 + 2 = 0. Let s(b) = -5*b**3 + 4*b**2 - 5 + 7*b**2 + 4*b**3 - 1. Let t be s(n). Does -6 = t?
True
Suppose -3*u - 3*t = -0*u - 225, 2*t = -10. Let r = -90 + u. Which is smaller: -11 or r?
-11
Let q = -20 - -27. Suppose 4*y = q - 3. Which is bigger: y or 5/12?
y
Let p = -94 - -98. Let m be 4/14 + (-4)/14. Suppose -3*s + 7 = -4*f, m = -f + p*s - 1 + 9. Are f and -6 nonequal?
True
Let c(l) = -l**3 - 3*l**2 + 2*l + 1. Let a be c(2). Let r be (30 - 0/(-3))/(-2). Is a at least as big as r?
True
Let a = -201253/286485 + -7/4035. Which is bigger: -2 or a?
a
Let i(d) = 42 - d**2 - 42 + d. Let g be i(0). Is -9 > g?
False
Let j be (-12)/16*(-8)/(-45). Let p = j - -23/60. Which is greater: -3 or p?
p
Let i = 15230107/423 - 36005. Let p = -250799/2115 + i. Let x = p - -118. Which is smaller: x or -1?
-1
Let c be (-3)/(-7) - (-6643)/49. Let g = c - 144. Which is smaller: g or -3?
g
Let x(f) = 6*f - 20. Let r be x(9). Let y = -31 + r. Suppose h = 2*s - 3, y*h - 8*h = -s + 15. Are s and 2/35 unequal?
True
Let y(s) = 2*s**2 - 3*s - 10. Let w be y(8). Let t = 461/5 - w. Is -1 > t?
True
Let f = 5 + 0. Suppose -5*w + 5*x = -w + 315, -f*x - 110 = w. Is -86 less than w?
True
Let k = 0.2129 - 0.0129. Which is smaller: k or -31?
-31
Let g be ((-5)/((-180)/(-16)))/(2/(-9)). Suppose g*n - 3*n = -2*n. Which is bigger: n or 3/46?
3/46
Let o = -5.87 + -0.13. Let z = 12907/7 + -670009/364. Let c = z - 38/13. Is o equal to c?
False
Let i = 8 - -19. Suppose 3*q + 2*f = 13, 4*f - i = -7. Which is smaller: q or 40?
q
Suppose -6*c - 70 = -11*c. Suppose -2*a - f + 15 = 0, -2*f + c - 5 = a. Suppose -4*r + 9 = -a*r. Are r and -4 nonequal?
True
Let k = -3 + 32. Let l = -10 + -19. Let h = k + l. Is h greater than -1/15?
True
Let d(v) = v - 5. Let t be d(-6). Let z be (-230)/20 - (-2)/(-4). Which is smaller: z or t?
z
Suppose -f + 5*q = 15, 0*q + q = 2*f - 6. Suppose -7 = 6*h - h + v, 0 = -f*h - 3*v - 11. Let l be (-5)/(h - -3 - 6). Is l < 0?
False
Let y = -6 - -56/9. Let f be (-14)/(-4) + (-22)/44. Suppose -2*o - 5 = f*o. Are y and o non-equal?
True
Let x = 2.9 + -31.7. Let g = 44.9 + x. Let y = 16 - g. Which is bigger: y or 2?
2
Let w = -143 - -143. Is 6/83 less than w?
False
Let x be 72*(-2 + 17/3). Suppose 0 = 5*o - 186 - x. Let d be 255/o + 2/12. Is d at least as big as 3?
True
Let l(o) be the first derivative of -11*o**2/2 - 7*o + 28. Let z be l(3). Does -42 = z?
False
Let f = 1235/452 - -2/113. Suppose 0 = 2*w + 9*w - 22. Suppose g = 4*t - 2*g - 4, 0 = -w*t - 3*g + 20. Which is greater: f or t?
t
Let s = 25 + -22. Which is smaller: 4 or s?
s
Let v be 1/6 + 533/78. Suppose -3*i - 28 = -v*i. Let n be (1 - i/5)*55. Which is bigger: -23 or n?
n
Suppose 4*k - 115 = 5*v, 0 = 5*k - 3*k + v - 61. Let b = k + -34. Let y = -470/3 - -154. Does b = y?
False
Let u = 592 - 592. Is u < -10/197?
False
Let y = 142 + -144. Let m be 0 + -1*(y/2 - -4). Let g be (-3 - -2) + (-34)/14. Is g greater than or equal to m?
False
Let n = 141 + -91. Let z = 50 - n. Is z > -1?
True
Let r = -3 + 8. Suppose -r*h + 4*v = 25, v + 10 = -v. Suppose 81 = 2*q - 11*q. Is q at least h?
True
Let s = 71 - 74.1. Which is smaller: s or -2/5?
s
Suppose b + 6*g - 29 = g, 5 = -5*b + 5*g. Suppose b*o - 3*o = 3. Let f be -1 + (4/o - 3). Do -3 and f have different values?
True
Let m(t) = 11*t - 354. Let u be m(33). Do -44 and u have different values?
True
Let u(f) = -f**3 + 17*f**2 + 17*f + 19. Let l be u(18). Is 56/29 greater than or equal to l?
True
Let l be 15/6*7/((-28)/8). Let b be (5 + -3 + 3)*(l + 3). Do -10 and b have the same value?
True
Let u be (-1)/(-9)*3*0. Suppose -w + j = -u*w - 8, 5*w + 4*j = 49. Which is bigger: w or 11?
11
Suppose 5*k = -747 + 972. Let a(b) = -b**3 - 5*b**2 + 2*b + 7. Let t be a(-5). Let j be k/(-20) - t/(-12). Is -2 != j?
True
Let t be (-3)/14*(2370/774 + -3). Which is bigger: -1 or t?
t
Let r = 17 + -15. Suppose -3*j + 17 = -f, -2*f - 16 = f - r*j. Let m be f*(1 + 10/(-16)). Is m bigger than -1?
True
Let y = -3 + 3. Let n = 420 + -10498/25. Is y not equal to n?
True
Let j(u) = 2*u**3 - 4*u**2 - 5*u + 12. Let v be j(2). Which is greater: v or 86?
86
Let n = -3.3 - 23.7. Let a = n - -38. Let k = 11.4 - a. Is k greater than 6?
False
Suppose 3*r - 19 = -i + 2*i, -2*i = 5*r - 17. Is i < 7?
True
Suppose 4*b - 5*d = -71, 3*b + 59 = -b + d. Let u = -72 - -110. Suppose -4 = 3*h + u. Do b and h have different values?
False
Suppose -4*s = 5*r + 16, 0*s - 5*s - 20 = 3*r. Which is bigger: 1/533 or r?
1/533
Let j be (-3)/(-1) + -3 + 1. Let l be j*(1 + -2) + -7. Let h = l + 8. Which is bigger: -1/13 or h?
h
Let x = -198 - -114. Let p = x - -110. Are 24 and p equal?
False
Let g = 0.2 - -0.8. Let k be ((-12)/78 - 0) + (-93)/(-13). Let l be ((-3)/k)/(6/(-6)). Is g greater than or equal to l?
True
Let q be 2/3 + 2/(-3). Let i be (84/5460)/((-3)/(-14 + 2)). Is i greater than q?
True
Let m = 75/8 + -2999/320. Which is greater: m or 1?
1
Suppose d - 5*k = 5*d - 313, 5*k = 25. Let t = -73 + d. Is 0.049 at most as big as t?
False
Let f be (162/60)/9 - 2/4. Which is bigger: -66 or f?
f
Let k be ((-14)/6)/((-136)/816). Which is smaller: 17 or k?
k
Suppose -12*f + 7*f - 50 = 0. Is -10 greater than f?
False
Suppose -b + 4*o + 166 = 0, 4*o + 326 = 4*b - 314. Is 159 less than b?
False
Suppose u = 6 + 3. Suppose -3*y + 4*t + u = t, 0 = -2*t - 2. Suppose 8 = -o + 2*v, -y*o + 0*o + 2*v - 10 = 0. Which is smaller: o or -1/10?
o
Suppose 532*w - 9528 = 544*w. Is w greater than -794?
False
Let f be 30/25 - 16/80. Are f and 101 equal?
False
Suppose 4*i + 13 = 93. Let a be ((-3523)/i - -1)*2. Let o = 350 + a. Which is smaller: o or 1?
o
Suppose s - 754 = -3*j, -2*j + s = -s - 500. Which is greater: 2/7 or j?
j
Let o = 84 - 120. Let p = 36 + o. Which is bigger: p or 24/7?
24/7
Suppose -125 = 3*p - 2*t, 0*t + 6 = -3*t. Which is smaller: 0.1 or p?
p
Let d be 9 + 580/(-350) - (-3)/(-15). Which is bigger: 7 or d?
d
Let l = 29 - 22. Suppose -l*v = 6*v - 247. Are 2 and v unequal?
True
Let p = 9 - 3. Let g = -25.5 + 22. Let s = -3.4 - g. Is p equal to s?
False
Let k(s) = -s**2 - 16*s - 178. Let o be k(-13). Is o < 1?
True
Let z = -9 + 12. Suppose -2*f = z*p - 4*f + 22, -3 = 3*f. Suppose -o + 10 = -b + 21, -4*o = b + 34. Which is bigger: o or p?
p
Let d = 1/665 + -97101/7315. Let f = 6245/473 + d. Which is smaller: -1 or f?
-1
Let i(j) = j - 6. Let d be i(3). Let w be (-315)/(-5)*2/d. Let m = 30 + w. Are m and -12 non-equal?
False
Let n be ((-20)/(-5275))/(2 + (-36)/15). Suppose u + 4*