o be -21*(-48)/(-75)*84/(-48). Are o and 24 equal?
False
Let b = -11.52 - 36.58. Let f = b - -48. Which is smaller: f or -1.68?
-1.68
Let r = 444 + -4880/11. Which is bigger: r or 30.6?
30.6
Let z be 0 + -3 + 6/2. Let s(r) = r**3 + 2*r**2 - 2*r + 93. Let d be s(z). Let n be (-161)/2*(-344)/301. Which is smaller: d or n?
n
Suppose -32 = 4*w - c, -2*w + 4*c + 0 = 16. Suppose -f = 3 - 2. Let j = f + w. Are j and -7 nonequal?
True
Suppose k = 93 - 93. Let s = 5520321/1550 - 7123/2. Which is smaller: s or k?
s
Suppose 0 = 5*a + 5*g - 2*g + 17, 0 = 4*a - 3*g + 19. Is -232/65 at most as big as a?
False
Let h be 50/(-15)*(1 - 0). Let u = -32 + 34. Suppose -s = 3*q + 13, -u*q - 2*s - 11 = s. Is h bigger than q?
True
Let i = 2888 + 2885. Is 5772 less than i?
True
Let p(t) = t**2 - 6*t + 50. Let x(k) = -k**2 + 7*k - 50. Let b(h) = 6*p(h) + 7*x(h). Let q be b(17). Which is greater: q or -116?
-116
Let a be (-12)/(-20)*15/11. Suppose 4*b + 7*p + 8 = 3*p, 5*b - 14 = p. Is b at most as big as a?
False
Suppose p = -4*p + 2*m - 1494, -4*m + 1498 = -5*p. Let a be p/(-793) + 3/((-18)/6). Let y = 24/61 + a. Is -1 >= y?
False
Suppose -2*n + 4 = 2*o, -6 = 4*n - 3*o + 7. Which is bigger: n or -18/1025?
-18/1025
Let q be -2*139/(-4) + 2/4. Suppose q = -4*j + 302. Is j bigger than 59?
False
Let g = -84059/93573991 - -9/16483. Which is smaller: 0 or g?
g
Let b = -14967 - -15102. Is b > 145?
False
Let x be ((-39)/(-546))/(3/42). Is -2/5 equal to x?
False
Suppose 0 = -2*t - 2*v - 138, -7*v + 345 = -5*t - 2*v. Is -68 != t?
True
Let o be ((-74)/(-308))/(3/6) - (-539)/5929. Let r be (-7)/14*3/15. Is o < r?
False
Suppose 1161 = q + 4*f - 350, -10 = 5*f. Let r be q/124*6/(-7). Is r at most -11?
False
Let v(q) = q**2 - 44*q + 135. Let c be v(13). Which is greater: c or -269?
c
Let n be (3*2/3)/((-12)/(-122)). Let s be (-27 - -3 - -3)*-1. Are s and n unequal?
True
Let p be (-6)/5306*13/((-156)/855080). Let c = 564/7 - p. Is c at most as big as -1?
False
Suppose -b + 37 = j, -b - 1244 + 1271 = -j. Do -17 and b have the same value?
False
Let y(t) = -t**2 + 4*t + 9. Let b be y(5). Suppose c - 1 = 4*d + 27, 22 = b*c + 2*d. Suppose -c = 5*i + 3*i. Which is bigger: i or -7/8?
-7/8
Let y be (-360)/42 - -9 - 202/14. Let k be (y + 20)/(-2*(-6)/(-16)). Let j = 1184/21 + -446/7. Which is smaller: k or j?
k
Let l = 1403.849 + 1.151. Which is bigger: l or -1?
l
Suppose 74*m + 29184 = 90*m. Which is smaller: -2 or m?
-2
Let f be 24/(-216) - (-899)/(-9). Let h = f - -66. Is 1 bigger than h?
True
Let f be (-2)/9 + 1541/8352. Let p be -3 + 590/145 + -1. Let z = p + f. Which is smaller: -1 or z?
-1
Let a = 391 - 386. Suppose 2*i + a*w + 244 = 0, -2*i = -4*i - 4*w - 248. Is i less than -131?
True
Let t = 32 - -102. Let n be 975 + -996 - (2 - 93/4). Which is smaller: t or n?
n
Let v be (-4)/18 - 11/(-9). Suppose 3*k = 2*w + 9, -3*w + 7*w = -5*k + 15. Let j be 1/(((-1)/k - v)*12). Which is greater: j or 0.2?
0.2
Let v(i) = i**2 - 36*i + 70. Let j be v(34). Let u be (-1 + j)/((-520)/(-560)). Is 1 equal to u?
False
Let w be 2*(-1 + 0)/(-215). Let t = 2364 - 2365. Is w != t?
True
Let t = 1/30 + -73/390. Let j(v) = v**3 + 4*v**2 - 13*v + 10. Let z be j(-6). Suppose -3*i + z = i, 5*o - i = -9. Which is bigger: t or o?
t
Suppose 29 + 3 = -4*u - 4*a, 0 = 3*u + 4*a + 28. Let j(w) = -w**3 - 6*w**2 + w + 13. Let s be j(u). Which is bigger: s or -17?
-17
Suppose 5 = 7*r - 12*r. Let i be (-255)/r - (11 + -12). Suppose 0 = -z - j + 44, -4*z + 4*j + i = z. Is 49 equal to z?
False
Suppose 0 = -11*x - 17*x + 117 - 509. Suppose 2*r - 103 = 5*q, -q + 5*r = -5*q - 56. Which is greater: q or x?
x
Let x = 1.1 + -0.1. Let c = -17 - -2.1. Let a = c - -15. Do a and x have the same value?
False
Let b be 150/(((-16)/(-48))/((-10)/9)). Let a be 58/b + (-1)/(-10). Which is smaller: 1 or a?
a
Let p be -12*(124/(-156) + (-5)/(-6)). Suppose 2*v - 1 = i + 4, -7 = 3*i - 4*v. Let r = i - 2. Are r and p equal?
False
Let g(h) = -2*h**2 - h. Let m(x) = 5*x**2 + 30*x + 74. Let d(t) = 2*g(t) + m(t). Let o be d(-25). Which is smaller: o or 5/34?
o
Let l be 153/(-468) + (63/91)/9. Which is smaller: l or 429?
l
Let c be 11*((-1)/(-7))/((-12)/(-84)). Suppose 0 = 8*d - c*d + 60. Is d less than 16?
False
Let l(d) = 2*d**2 - 34*d + 33. Let g be l(16). Suppose -1 = m - 0*m. Let u be ((-3)/((-117)/6))/m. Do g and u have the same value?
False
Let w = -53 - -53.081. Let c = w + -8.081. Let b = c + 8.2. Which is bigger: 1 or b?
1
Let u be (-7406)/(-56) - (1 - (-6)/(-8)). Suppose 14*v = 13*v + u. Suppose -10*n = n - v. Is n less than 98/9?
False
Let u(o) = 2*o**3 - 30*o**2 + 15*o + 183. Let m be u(14). Is -1/13437 bigger than m?
False
Suppose -4*h + 8 = -2*p, p + 16*h - 21*h = -10. Which is smaller: p or 29/233?
p
Suppose 3*j = -5*r + 43, r = 5*j - 3*r - 10. Let v be (13 - 11)/((-4)/(-10)) - j. Which is smaller: v or 4/59?
v
Let a = 2261 - 2147.9. Let d = a + -113. Which is smaller: 86 or d?
d
Let g = -2407 - -2478. Let h be 20/(-15)*315/(-6). Is g greater than or equal to h?
True
Let h = 7.995 + -8.075. Is -2/5 bigger than h?
False
Suppose -60424 = -10*h + 2*h - 20*h. Are h and 6470/3 nonequal?
True
Let f(v) = -7*v**2 + 134*v - 2169. Let s be f(55). Is s > -15975?
True
Suppose t - 24 = 153. Suppose d = -2*d + t. Let m = 40 - d. Is -20 < m?
True
Suppose 25 = 13*z + 129. Let d be z/14 + 12/21. Which is smaller: d or -1/935?
-1/935
Suppose -42844 = 46*l + 4512 + 17458. Which is smaller: -1408 or l?
l
Let a be -3 - 9/(-3)*7*1. Let b(h) = 8*h**2 - h + 2. Let c be b(1). Suppose 2*w + s = c, -3*w + 0*s = 3*s - a. Is w > 13/4?
False
Let a be ((-1288)/(-1323))/((-6611)/(-385) + -17). Are a and 6 nonequal?
True
Let t be (-13 - (5 + 10))/4 + 2 + 4252. Are 4243 and t nonequal?
True
Let l(c) be the first derivative of -c**3/3 + 17*c**2/2 - 107*c - 200. Let b be l(5). Which is smaller: b or -50?
-50
Let f = 10565 - 10970. Which is bigger: -406 or f?
f
Let u = -47226181/1414 - -33399. Which is greater: u or 0?
u
Suppose 0 = 5*r + 14*r - 475. Let t = r + -208. Is -182 not equal to t?
True
Let t = 18 - 77. Let c = t - -45.5. Let l = c + 13. Is 2/9 less than or equal to l?
False
Suppose -448 = -3*n - 5*w, 3*n = 2*w + 625 - 170. Which is bigger: 148 or n?
n
Let c = 1253640354/9281 + -135076. Which is greater: 1 or c?
1
Suppose -3*d + 54 = 39. Let u(f) = f**2 - f - 16. Let v be u(d). Let g be v/3 - 186/153. Which is smaller: 1 or g?
g
Let d(n) = 3132*n - 571. Let c be d(-2). Which is greater: c or 1?
1
Let i be ((-765)/(-10))/(7/(-14)). Let l be (i/6 - -5)/2. Let q be 1/(-2)*(-20)/(-35). Is q at least as big as l?
True
Let z be (-15)/(525/(-10)) - 80/(-14). Suppose 4*k - z*v + 4*v + 3090 = 0, 2290 = -3*k - 4*v. Is -769 greater than or equal to k?
True
Let f be (-48)/144 + 386/6. Suppose 4*i + 48 = f. Is i >= -3?
True
Let k = -0.55155 - -0.05155. Which is smaller: k or -2879?
-2879
Let q(b) = -b**2 - 47*b + 285. Let d be q(-27). Which is greater: 823 or d?
d
Let u = -0.133 - 0.367. Is -41 <= u?
True
Let d(t) = 55*t**2 + 163*t - 5. Let h be d(-3). Let s = -4623 + 328226/71. Which is smaller: s or h?
s
Suppose 10*y + 48 - 1058 = 520. Which is smaller: y or 155?
y
Let n(w) = -3*w**3 - 57*w + 109. Let v be n(2). Which is smaller: v or -92?
-92
Let q(m) = -2*m - 31. Let s be q(-18). Suppose 5*f - 3*a = -10, -2*f = f + s*a + 6. Let k(j) = -j**2 + j + 3. Let r be k(f). Are -7/3 and r equal?
False
Suppose 2*i = 4*v + 2, 0 = 3*v + 5*i - 0 + 8. Suppose 3*g = 4*g - 6. Let w be g/(-9) - 34/(-60). Which is greater: w or v?
w
Suppose 19*v - 23*v - 4*k = -960, 2*v - 477 = -3*k. Let t = v + -3161/13. Which is smaller: t or 1?
t
Let l be (4/(-21))/((-10)/35). Let r = 91.835 - -0.165. Let w = 97 - r. Is w greater than or equal to l?
True
Let w(f) = -2*f**3 + 24*f**2 - 23*f - 27. Let n(g) = 3*g**3 - 24*g**2 + 22*g + 27. Let b(s) = -3*n(s) - 4*w(s). Let k be b(-25). Is 0.01 equal to k?
False
Let y = -43/140 + 3/28. Let v(u) = u**2 + 7*u - 8. Let o be v(-9). Suppose -o*c + 7 - 47 = 0. Which is greater: c or y?
y
Let d be (-361)/(-114) + 3/(-18). Suppose -2 = d*f + n - 7, 0 = -3*f + 3*n - 15. Do 1/189 and f have the same value?
False
Suppose 2*j - 5*b + 10 = 0, j + 3*b = 7*b - 8. Let d be (-11)/(-14)*((-12)/24 + j). Which is greater: d or 0?
0
Suppose 4*s = 3*i - 205, -i = 15*s - 12*s 