smaller than u?
True
Let w = 18013 - 15708. Are 9221/4 and w nonequal?
True
Let z = 5.73 + -5.89. Do z and 7 have the same value?
False
Suppose 12*k - 2101 = k. Suppose -6 + k = -5*o. Which is smaller: -39 or o?
-39
Let u be ((-2)/(-5))/(2/(-10)). Let r(j) = 2*j**2 + 11*j - 4456. Let g be r(-50). Do g and u have the same value?
False
Suppose -3*h + 4*d + 22 + 220 = 0, 0 = 4*h + d - 310. Let q be -1 - -87 - (-2 - -9). Is q smaller than h?
False
Let j(s) = 84*s**2 + 605*s - 90. Let k be j(-8). Is 446 > k?
False
Suppose -260 = w + 5*j, 204 = -3*w + 2*w + 3*j. Which is smaller: 12 or w?
w
Let d = 919 - 1499. Are -580 and d nonequal?
False
Let m = 2761.94 - 2762. Which is smaller: -6.5 or m?
-6.5
Let x(g) = 349*g + 985. Let w be x(-8). Which is smaller: w or -1808?
-1808
Let t = 0.02 + 0.38. Let u = 23.881 - 0.881. Which is bigger: u or t?
u
Suppose 6*u + 4*g = 5*u + 15, -5*g = -4*u - 3. Is 109 greater than or equal to u?
True
Let a(n) = n**2 - 3*n - 4. Let r be a(-3). Let f be (-21)/r - (-7)/(-2). Let k be ((-5)/f - 1)/(-1). Which is smaller: k or -2/29?
-2/29
Let b be (-11 - 684/(-63))*-7. Which is greater: 2/667 or b?
b
Let i = -10527/2 - -5235. Do 7 and i have the same value?
False
Let f = -7 - -18. Let u be 40/(-88) - (-3192)/11088. Which is bigger: u or f?
f
Let b = -2 + -48. Let n = 29 + b. Let o(g) = 170*g + 8329. Let j be o(-49). Which is bigger: n or j?
j
Let b = -34 + -85. Let s = 83 + 99. Let j be 54/s + 17/b. Is j smaller than -2/9?
False
Let i be -7 + (-40)/260 + 240/39. Which is greater: i or -12/79?
-12/79
Let x = -342 + 343. Let z = -259/3652 + 4/83. Is x != z?
True
Let k = -0.39 - -0.06. Let r = k - -2.33. Let u = r + -2.7. Which is smaller: 3 or u?
u
Suppose 2*w + 34 = 2*h, -94*h + 3*w - 54 = -96*h. Let g(f) be the first derivative of -3*f**2 + 4*f - 3. Let c be g(-3). Which is smaller: h or c?
h
Let h(v) = -5*v**2 - 18*v - 30. Let s(i) = -i**2 + i. Let t(l) = h(l) - 3*s(l). Let p be t(-11). Is p > -40?
False
Suppose -25 = 5*m, -3*w - 2*w - 8435 = 3*m. Which is bigger: -1683 or w?
-1683
Suppose 1385 = 14*r - 2521. Let s be (24/(-26))/((-18)/r). Is s equal to 14?
False
Suppose -2*n = 3*o - 2*o - 58, -4*o + n + 205 = 0. Suppose o*f - 26 = 50*f. Let t(m) = -m**2 + 8*m + 5. Let d be t(7). Is f less than d?
False
Let n = -760/7 - -108. Let l = -0.046 + 0.246. Which is smaller: n or l?
n
Let n = -143.05 - 0.95. Let x = -143.4 - n. Is 3/5 at most x?
True
Suppose -184 = -16*u - 104. Let d be (4/(-2))/((-4)/2). Suppose -u*t - 54 = d. Which is smaller: t or -2?
t
Suppose -6*q - 6 = 16*u - 17*u, 0 = -3*q + 2*u + 6. Let c be 2/5 - (-69)/(-20). Let z = 3/10 + c. Which is smaller: z or q?
z
Let t be ((-286)/39)/(22/(-979)). Is t > 326?
True
Let f be (3 - 6/((-6)/(-2)))*1. Let p be 203/21 + f - 5. Which is bigger: 6 or p?
6
Let k(d) = 72*d**2 + 113*d + 17. Let h be k(-12). Is h equal to 9027?
False
Let o be (-2)/10 + (-16927334)/280 + -3. Let h = o + 60467. Let p = h - 30/7. Is p at least as big as 5?
False
Let k = -194 + 233. Let i = 33 - k. Is -17/3 < i?
False
Suppose 0 = -10*l - 20*l - 4440. Let t be -5 + (l/(-28))/1. Which is greater: 0 or t?
t
Suppose 93*m - 283*m = -15010. Suppose 4*q + 5*o - 10 = 309, -292 = -4*q + 4*o. Which is greater: m or q?
m
Let x be -596 + -25*(-6)/(-45)*(-24)/10. Which is greater: x or -0.05?
-0.05
Let p be (-1 + 25/35)/(-8). Suppose k + 30 = 6*k. Suppose k*u = 13 - 13. Does u = p?
False
Let s = -5/2 + 25/6. Let b = 4/3 - s. Suppose -2*d = -6*d - 16. Is d smaller than b?
True
Let s be 1/(-1) + (-14 - -7). Suppose 10 = 5*k - 0*l - 2*l, -2*k = 5*l - 33. Suppose k*m + 27 = -1. Which is greater: s or m?
m
Let m be (-2)/(464/234 - 2). Let d = -10211 + 10213. Suppose -d*b = -m + 79. Are 19 and b equal?
True
Let j = 15114 + -15144. Which is greater: j or 5.7?
5.7
Let w = -67 - -537/8. Let z be ((-46)/(-40))/((-432)/(-60) - 10). Let c = w + z. Is 12 less than c?
False
Let r = 0.1 + 0.1. Let d = -245 + 220. Let p be (-2 + 0)/((-550)/d). Which is smaller: p or r?
p
Suppose -5*o + 5*f - 10 = 0, 1 - 2 = -2*o + 3*f. Let n = -21.4127 + 0.4127. Which is bigger: o or n?
o
Let c = -4469 - -22348/5. Which is smaller: -149 or c?
-149
Let v(g) = g**3 - 9*g**2 - 9*g + 8. Let a be v(10). Let p be 1 + -1 + a/639. Suppose 81*x - 76*x + 25 = 0, 2*d + x + 3 = 0. Which is smaller: p or d?
p
Let p = 26450126/4893287 - -2/132251. Is 5 less than or equal to p?
True
Let f be 6/(-2) + 10 + 32. Let q(n) = 7*n**2 - 24*n + 47. Let v be q(3). Which is greater: f or v?
f
Let s = -4 + 31. Suppose 32*a - s*a = -165. Is -1 < a?
False
Suppose 0 = -3*j - 5*z - 77, -2*j - 2*j - 3*z - 99 = 0. Let a = -2174 - -2147. Which is bigger: j or a?
j
Suppose 2*t + 2445 = -13*t. Let c = t - -185. Is 21 <= c?
True
Let w = -3603.397 - -3603.7. Is w greater than -0.2?
True
Suppose 23*m - 3*m + 284 - 64 = 0. Which is smaller: -112 or m?
-112
Let t = 357 - 354. Let k = -30 - -511/17. Which is smaller: k or t?
k
Let v(q) = q**3 + 47*q**2 + 549*q + 110. Let u be v(-20). Do -69 and u have different values?
True
Let s = 25472/33 + -1150/11. Is 666 at least s?
False
Let u(x) = 27*x - 4. Let r be u(1). Let a be ((-9)/33)/(r/345). Is a >= -5?
True
Suppose 0 = z - a, -12 = -z - 3*a - 4. Suppose -z*i - 42 = 2*s, -s - s = -i + 30. Let x be 2/16*4*(-38 + 1) - -1. Is x at most as big as s?
True
Let k = 0.99 - 32.99. Let n = -65 + 65. Which is smaller: n or k?
k
Suppose 0 = -44*j + 34*j - 670. Suppose o - 15 - 39 = 0. Let p = j + o. Which is bigger: -15 or p?
p
Let y be ((-3 - (-154)/44)*0)/(-1). Let l be 715/(-357) + 1 + 1. Which is smaller: y or l?
l
Let b = -138 - -156. Suppose 0 = 5*z + 2*a + 48, -5*z - 14*a + b*a - 24 = 0. Let v = -6 - -9. Are v and z equal?
False
Let l = -285.8 + 296. Let v = 13.2 - l. Is -21/5 at most as big as v?
True
Let m = 287 + -124. Let g = m + -148. Is g > -2?
True
Let h = -44008 + 64361. Is 20354 smaller than h?
False
Suppose 5*n - 4326 = -16*n. Suppose -943 = -11*i - n. Which is smaller: i or -0.1?
-0.1
Let m = 235 + -225. Let c(a) = -3*a**2 + 26*a + 9. Let v be c(m). Which is greater: 0.1 or v?
0.1
Let p = 22.3 + -21.884. Let c = -0.284 - p. Which is smaller: 0 or c?
c
Let u = -6.4 + 6. Let p = -5719 - -5708. Which is bigger: u or p?
u
Suppose -7*g = -6*g + 5*o - 2, o - 2 = -g. Suppose 0 = 5*y - 25, -g*h + 5*y = y + 266. Is -124 at least h?
False
Let r = 0.198 + 0.252. Let k = r - 3.45. Are k and -15/7 equal?
False
Let w = -61 - 321. Let o = w + 402. Which is greater: -2/7 or o?
o
Let r = 33446 + -33447. Let u = 0.97 + 48.03. Is u at least r?
True
Let k(a) = 7*a - 11. Let h be k(-12). Let n = -107 - h. Let y be (1/5)/((-15)/n). Is 1 >= y?
True
Let p = -10969.47 - -11071. Let t = p + -102. Let m = -0.4 - t. Which is smaller: 0.3 or m?
m
Suppose 0 = 5*m + 12 + 8. Let f be ((-426)/18 - -14)*18/36. Which is greater: m or f?
m
Suppose 0 = 2*q - 0 - 2. Let h = q - 0. Let y be ((-561)/(-17765))/((-6)/5). Is y less than h?
True
Suppose -37 = -5*u - 122. Let z(i) = -i**3 - 17*i**2 - i. Let p be z(u). Let n = p + -8. Is n smaller than 1?
False
Let h be (2/(-4) - -2)/((-11)/(-34012)). Let l be (-9*(-2)/h)/(6/4). Is -1 smaller than l?
True
Let v = -6968.34 + 6964. Which is smaller: v or 0.1?
v
Let f be (6/42)/((-2)/(-14)). Let z be 4/12*f - 168/18. Does -10 = z?
False
Suppose y - 714 = -5*y. Suppose 4*j - y = 21. Let h = 33 - j. Is h greater than -9?
True
Suppose f + 20 = p + 5*f, -3*p = -3*f. Suppose 30 = 2*d - p*b + 8*b, b + 24 = 4*d. Suppose 5*k = d*k + 100. Which is smaller: k or -51?
-51
Suppose 11082 = -6*k + 11238. Which is smaller: k or 902/35?
902/35
Suppose -4*j + 212*j + 694565 = -57*j. Is -2620 greater than or equal to j?
True
Let k be 148/(-16) + (-15)/20. Let a(w) = -11*w**2 + w + 2. Let o be -5*1/(-20)*-4. Let c be a(o). Do c and k have different values?
False
Suppose -3*z + 2 = -19. Let k = 8 - z. Let w be ((0 - -5) + (-69)/12)*72/(-1269). Is w less than k?
True
Let j(z) be the first derivative of z**4/4 + z**2/2 + 19*z - 75. Let i be j(3). Which is bigger: i or 45?
i
Suppose 0*k = 3*k - 18. Let p be -4 - (-8)/((-19)/((-513)/36)). Is k greater than or equal to p?
True
Suppose 0 = 3*t + 2*n - 222, -275*t + 6*n = -274*t - 14. Suppose 0 = 2*c + 8, -c - 174 = -3*y + 40. Are t and y equal?
False
Let x = -209.495 - -48.94. Let r = 160 + x. Let o =