 ((-7)/42)/((-20)/(-24))*8104. Do -1621 and u have the same value?
False
Let y = 6614 + -6591. Which is greater: y or 1/634?
y
Let a = 1.9 - 2. Let s = 29193 + -29189. Are a and s equal?
False
Let w = -10.3 + 3.4. Let o = -33 + w. Let s = o + 41. Which is greater: s or 1?
s
Let q(u) = u**3 - 84*u**2 - 208*u + 723. Let w be q(86). Which is smaller: -3 or w?
w
Let r(o) = o**2 - 10*o + 17. Let v be r(8). Suppose 4*k - v = -5. Let z = -1.22 - -0.32. Which is bigger: k or z?
z
Let f = -1.04 - 0.1. Let w = 1.96 - f. Which is bigger: -0.2 or w?
w
Let w(r) = 352*r + 1441. Let y be w(-4). Is y smaller than 192?
True
Let a(p) = -15*p - 76. Let w be -5 - (-305)/55 - (-61)/(-11). Let v be a(w). Which is smaller: v or -1/40?
v
Let u = -416 + 624. Is 7 != u?
True
Let f = -7.33 - -9.33. Are 2/49 and f nonequal?
True
Suppose 225*l = 216*l - 45. Let n be (-224)/6 - (-2 + 2). Let x = n - -32. Which is bigger: l or x?
l
Let v = -231 - -231. Let i be (2 - v)*(-9)/(-54)*-237. Which is smaller: i or -78?
i
Let s = -17056 + 17056. Which is smaller: s or 1/20303?
s
Let o be (-4)/66*((-2175)/860)/29. Which is smaller: o or -1?
-1
Let z = -2750.04 + 2751. Is z > 3/2?
False
Let w be 4 + (-5 - (2 - 3)). Suppose z = 5*z, -5*i + 4*z - 160 = w. Does i = -34?
False
Let i = -973 + 777. Let s = i + 169. Which is smaller: 0 or s?
s
Suppose 5*v = 2*v + 9. Let z be 10/33*v/1. Let i be 2*1 - 7/((-56)/(-16)). Is i at least as big as z?
False
Let n = 5129/3 + -1731. Let c be 24/15 + 14/35. Suppose 10*y + 252 = -c*y. Is n less than or equal to y?
True
Let o = -406 + 142. Let b = o + 255. Are b and 2/5 non-equal?
True
Suppose 5*v - 1410 = -5*p, 0 = 5*v - 1 - 24. Let r = -4153/15 + p. Which is smaller: r or -75?
-75
Let n = 135 + -172. Let w = -35 - n. Which is smaller: -10 or w?
-10
Let p = 530.4 - 512.4. Is p greater than or equal to -1/7?
True
Let p = -95.7 + 96.7. Are -0.215 and p equal?
False
Suppose 0 = 7*o + 33 + 267 + 127. Is o greater than or equal to -64?
True
Let z = 10.84 - 11.84. Which is smaller: 62/23 or z?
z
Let h = -1/20599 + -308689/6097304. Which is smaller: h or -1?
-1
Let q be ((-76)/18 + -2)*9/(-12)*-4. Is q bigger than 6?
False
Suppose -2*y + 4 + 0 = 3*k, y + 9 = 4*k. Let j be (-17)/(-4) + k/(-8). Suppose 5*h = c + 2, -j*h + 20 = h + 5*c. Which is bigger: h or -0.01?
h
Let v(r) = -52*r**2 + 152*r - 736. Let u be v(5). Are -8934/7 and u equal?
False
Let f(r) be the first derivative of -r**2/2 - 43*r + 64. Let g be f(7). Let j be 0 + (102/(-2) - -2). Which is smaller: j or g?
g
Let x = -45.7880864 + -0.2119136. Let g = 2 - 0. Let w be (3/g)/(2 - 5). Which is smaller: w or x?
x
Suppose -u - 63*u = -0*u. Which is bigger: u or -2/16977?
u
Let a = 113 + -117. Let z be 4 - 18/(-4) - 2/a. Let t = -7 + z. Is t greater than 22?
False
Let t(x) = -17*x**3 - 2*x**2 + 6*x - 7. Let j be t(-2). Is j smaller than 11?
False
Let k = -70 - -47. Let m = 6.7 - 6.6. Which is smaller: m or k?
k
Let d = 11405 + -11403.0564. Let p = -0.0436 + d. Is 0 not equal to p?
True
Let n = 2.329 - 2.229. Is n greater than -485?
True
Let i = -574.1 + 37.1. Let j = i + 552. Is j >= -1?
True
Let l = 282698/7 - 40586. Does l = -200?
False
Let k = -38 + 41. Suppose 0*n - 17 = -3*i + n, -k*i + 7 = 4*n. Is 12 greater than or equal to i?
True
Let p = -647/12 + 197/4. Suppose -17*x = -20*x + 2160. Let y = x + -725. Which is bigger: y or p?
p
Suppose -41*o + 34*o = -102*o + 190. Which is greater: o or 1267?
1267
Let q = 276 - 288. Let y be 3/(-4)*704/q. Is y less than or equal to 171/4?
False
Suppose 23*u - 24*u - 3*i + 164 = 0, 0 = 2*u + 4*i - 344. Is u at most as big as 2052/11?
False
Let t = 1951 - 2795. Which is smaller: t or -2?
t
Let z be -8 + -11 + 10 + 8. Is z at least as big as -32/147?
False
Let d be 4/6 - 15/9. Let y be (310/89125)/((-4 - -6)*-1). Which is greater: y or d?
y
Let g(r) = 5*r**3 + 89*r**2 - 21*r - 6. Let a be g(-18). Which is greater: a or -121?
a
Let w be 4/(-22) + 56/66. Let o = 53 + -38. Suppose -4*t - 12 = -0*t + 4*k, 0 = -3*t + 5*k + o. Which is greater: t or w?
w
Suppose -y + 4 = -2*y. Let h(f) = -4*f**2 + 2*f + 19. Let b be h(y). Let g = 59 + b. Is 14 at most as big as g?
False
Let o be 6*(-272)/(-456) + (-4 - 0). Which is smaller: o or 10?
o
Suppose -66*g + 34*g = -18816. Which is greater: 587 or g?
g
Suppose a = -g + 7, -3*a = -2*g - 3 - 8. Let y(n) = -605*n - 14. Let p be y(-1). Suppose -p = -8*t - 575. Are g and t equal?
True
Let q = -450 - -449.9356. Let c = -0.0356 + q. Is -8 >= c?
False
Let k be 3485/(-11) + (-22)/121. Is k less than -321?
False
Let k(o) = -41*o**2 + 36*o - 14. Let l be k(-5). Is l > -1220?
True
Let r = 2150/9 + -6442/27. Which is greater: r or 1?
1
Let y = 87 - 87. Let r = -2085/7 - -323196/1085. Is y less than r?
True
Suppose 2*t = 0, o + 2*o - 3*t - 558 = 0. Let g be ((-185)/2)/((-11)/22). Are o and g unequal?
True
Let i(g) = -11*g**2 + 29*g - 4. Let p be i(3). Let q(l) = -2*l**2 - 31*l + 16. Let t be q(p). Which is greater: 2/81 or t?
2/81
Let p = -65/4 + 17. Let x(l) = 3*l**2 + 79*l + 102. Let d be x(-25). Are p and d non-equal?
True
Suppose 2*n + n + 5*g - 269 = 0, -2*n - 2*g + 186 = 0. Suppose -3*t = -w + 8 + 33, -4*t - n = -3*w. Is w bigger than 19?
True
Let p = -0.073 - 127.927. Let b = 127.8 + p. Is b equal to -69?
False
Let q be 25/(-75) - (-518)/6. Let r = -7307/85 + q. Suppose -f + 3*z = -10 + 2, f + 7 = -2*z. Which is greater: f or r?
r
Let k be 2/16*(-1 - -19). Let m(p) = p**3 + 5*p**2 + 3*p - 3. Suppose -3*v + 4 = h, -3*v = 4*h + 2 - 0. Let g be m(h). Is k > g?
False
Let m(b) = -2*b**3 + 11*b**2 + 9*b - 6. Let l be m(6). Suppose 5*f - 7 = 3*a, 0 = 2*a - 9*f + 14*f - l. Let r = 2 - 4. Is r less than or equal to a?
True
Suppose 0 = -4*y + 2*y. Let l = -64 + 66. Let g be l/7 - 1 - (-4)/(-14). Is g <= y?
True
Let i = 1 - 0. Let a be 1/(-2)*-10 - (-27542)/(-5499). Is a equal to i?
False
Let q = 3973 + -3988. Is q at least 75?
False
Let k(g) = 9*g + 1. Let s be k(3). Let j = 196 + -193. Suppose 3*a = 14*i - 11*i - 87, 2*i - 58 = -j*a. Do s and i have different values?
True
Let c be (-24663)/52 - 3/12. Let m be 9512/(-20) + 4/(60/9). Let h = c - m. Which is bigger: h or 0?
h
Let v be 3/(((-30)/(-16))/5). Suppose v*r = r + r. Which is bigger: r or -2/29?
r
Suppose 4*o - 869 = -3*p, 3*o - 5*p - 457 = 173. Let v = -309 + o. Let q = -27 - v. Is 66 < q?
True
Let n = 15 + -36. Let b(x) = 17*x + 6*x - 25*x - 43. Let w be b(n). Is 1/22 at most as big as w?
False
Let t = -2377/31008 - -7/1632. Is 0 at least as big as t?
True
Let g be (6/(-365))/((8/132)/((-32)/(-176))). Which is smaller: g or -1?
-1
Suppose -3*r - z = -93, 6*z - 4*z - 93 = -3*r. Let o = r + -153/5. Are o and 0.8 nonequal?
True
Let m = 296 + -285.9. Let n = 12.1 - m. Are n and 4/17 nonequal?
True
Let t be 35*(12/(-3))/4. Let y = 15 + t. Suppose 0 = -4*q + 5*a - 66, -5*q - 2*a = 32 + 67. Which is greater: y or q?
q
Let n = 0.09205 - 0.30205. Is n at least as big as -129?
True
Let n be (-730 + 636)/((-41)/5). Which is smaller: 0 or n?
0
Let u(m) = m**2 + 10*m + 544. Let o be u(0). Which is smaller: o or 1?
1
Suppose -10767 = 5*x - 2*y, 0 = -x - 33*y + 31*y - 2163. Which is smaller: x or -4?
x
Let v(b) = 76*b**2 - 71*b - 6. Let o be v(1). Which is bigger: 20/101 or o?
20/101
Suppose 12 = -3*v, n - 4*v = -n + 22. Suppose 0 = 3*t + n*d + 48, 3*t - 12*d = -11*d - 68. Which is bigger: -81/4 or t?
-81/4
Let u = 15949/84 + -1297/7. Let g = 21/4 - u. Are g and -0.108 nonequal?
True
Let r = -215 - -83. Let d = 146 + r. Is 17 > d?
True
Let w(g) = -2*g**3 - 141*g**2 - 76*g + 776. Let p be w(-69). Is -1 at most p?
False
Suppose t + 0*t = -2. Let g be (-71075)/100 - t/(-8). Let d = -7827/11 - g. Which is smaller: d or 0?
d
Let w be 6/21 - (-1 + 1). Let s = 12 + -12.74. Let t = 0.94 + s. Is t < w?
True
Let p = 308 - 308. Let f be (-4)/(-12) - ((-908)/(-2700) - p). Which is smaller: f or 1?
f
Let q = -199/107 - 31807/963. Let s = -14722/423 - q. Are 2 and s equal?
False
Let o(m) be the third derivative of -m**4/24 + 8*m**3/3 - 28*m**2. Let c be o(2). Suppose -c*r = -15 - 13. Which is smaller: 9/8 or r?
9/8
Let c be (-43)/(-26)*11/(33/(-12)). Let t = 331/52 + c. Let k be ((-1)/2)/(-1)*-2. Which is bigger: t or k?
t
Let x be (-1)/(285/290 - 1). Let a be x/(-78) - (-21)/273. Let b = -275/4 + 68. Which i