56*-3)*6. Which is smaller: g or 271?
271
Let l = 1831 - 2631. Let y = l + 779. Which is bigger: 1/3 or y?
1/3
Let i = 1011 + -975. Let v be (0 + 54/i)*10*19. Is v at least as big as 285?
True
Let q be ((-2)/(-6))/((-170)/33711). Is -67 less than q?
True
Let o be 3408/13 - 38/247. Let b = o + -1312/5. Which is bigger: b or -1?
b
Suppose -31*v + 574 = -1007. Which is smaller: v or 59?
v
Let m be (-34)/(-10) - -9*(-27)/(-405). Is 308/87 >= m?
False
Let d be (3 - 2) + 168/(-166). Suppose 6*u + 251 = 275. Suppose -3*y = -4*t + u, 0 + 3 = -2*y + 3*t. Which is greater: d or y?
y
Let s be (0 - (-5)/4) + (-120)/80. Is s equal to 140?
False
Suppose -3 = 51*b - 48*b. Let k be 4*4*(-8)/112. Is k not equal to b?
True
Let u = -3 - -3.1. Let l = -48.1 - -46.44. Let b = l + 1.59. Which is greater: b or u?
u
Suppose -3*a + 10 - 4 = 0. Suppose 16 = -a*h + 2*x, 5 = -5*x + 6*x. Let b be 1/(-2) + 22/(-20). Which is smaller: h or b?
h
Let r = 38 + -65. Let i be 1/9*-3*r. Suppose -87 = i*u - 6*u. Is -29 < u?
False
Suppose -90 = -4*n - 5*i, -5*i = -38 + 48. Let a be ((125/(-10))/n)/(26/(-192)). Which is smaller: 4 or a?
a
Let j be (-13506)/(27/(-6) - 4). Let b = -1588 + j. Suppose -2*m = 348*i - 346*i - 12, 3*m = 2*i + 13. Which is smaller: i or b?
b
Let c be (2/7)/((-50)/(-350)). Let r be c - -1 - (-12 - -18). Which is greater: -2 or r?
-2
Let x = 1005 - 999. Let w(b) = b. Let p(k) = -k + 15. Let a(v) = p(v) - 2*w(v). Let j be a(x). Which is bigger: 1/7 or j?
1/7
Suppose -102*h = -4*n - 101*h + 605, -9 = -3*h. Which is smaller: 144 or n?
144
Let h(b) = -21*b**3 - b - 12. Let o be h(-2). Is o at least as big as 158?
True
Let z = 232 + -227. Let l = -119 + z. Which is smaller: l or 2/5?
l
Let u = -4900 + 4914. Suppose 2*k - 4 = -0*k. Suppose -u*z + 12*z + k = 0. Do z and -2/165 have the same value?
False
Let w = -2043 + 2029. Is 21 at least w?
True
Let m = -635.1 + 635. Let b = 153443/1194 - 7/597. Let x = b + -132. Which is greater: x or m?
m
Let z(j) = 20*j + 1280. Let i be z(-64). Which is smaller: i or 207?
i
Let f(k) = 5*k**2 + 7*k - 6. Let u be f(1). Let o(n) = n**2 - 9*n + 16. Let z be o(u). Which is smaller: -21/10 or z?
-21/10
Let y = 26786 - 26813. Do y and -75 have the same value?
False
Let n = -848.9 - -848. Which is smaller: 6/25 or n?
n
Suppose -2*y + 5*y = 5*h - 145, h = 5*y + 51. Let f be (-191)/252 + 16 + -15. Let r = f - -1/126. Which is smaller: r or h?
r
Suppose 0 = 9*g - 0 - 81. Suppose -10*y + 9*y = g. Let m be 9/y*(-2 - -12). Is -11 < m?
True
Suppose -10*x + 33*x = 17526. Let u be (x/761 + -1)*-1. Which is bigger: 0 or u?
0
Let n = -2636/7 + 1415518/3759. Let x be (-61)/716*(-316)/21. Let m = x - n. Which is smaller: 2 or m?
m
Let s = -27.82 + 2.82. Let w = s + 22.3. Is -2/5 at most w?
False
Suppose 6*p = -3*y + 3*p - 126, 34 = -y + p. Let l = 42 + y. Let i be (1 - 3) + 74/(-2 + l). Is i equal to 36?
False
Let g = 4/241 + -693/27233. Let y = g - 335/452. Let u be -2*3/(-6)*-1. Which is smaller: u or y?
u
Let g be (3/(-15))/((-5)/125). Suppose -3 = 2*x + 3*s, x - 4*x - 6 = g*s. Which is bigger: -2 or x?
x
Let b(l) = -l**3 - 5*l**2 + 86*l + 359. Let i be b(-4). Are i and 20/2457 equal?
False
Suppose -2*b = -5*t - 7*b - 1920, 0 = t + 5*b + 400. Let s = t - -21277/56. Which is greater: 1 or s?
1
Suppose 3*p + 15 = -2*p + 5*o, -o = -3*p - 3. Suppose -4*v + 4 = p, -5*v - 1 = -2*f - 4. Which is smaller: f or 2/757?
2/757
Let t be 5/(-4)*(-2 - 30). Let p(o) = 2*o**3 - 5*o**2 - 4*o - 9. Let w be p(5). Suppose -4*g + w = -72. Which is bigger: g or t?
g
Let n(z) = -3*z**2 + 22*z - 34. Let b be n(2). Suppose -5*y + 0*y + 120 = 0. Let t be (-16)/6 + y/16. Which is bigger: b or t?
t
Let q = 43464 - 43465. Which is greater: q or -2/64959?
-2/64959
Let y be (-12)/(-4) + (-13)/4. Let f = -536 - -565. Are y and f nonequal?
True
Let s be 203/(-14) - (-15)/6. Let z be (s/6)/1 - 1. Which is smaller: z or -19/8?
z
Let z be ((-28)/8 - -3)/((-6)/444). Let o(u) = -6*u**2 - 17*u + 6. Let d be o(-3). Which is bigger: z or d?
z
Suppose -5 = -h + 4*q + 19, 4*q = -4. Let o = 2111 - 2111. Suppose 18*f - 14*f + h = o. Which is smaller: f or 0?
f
Let q be (-9)/6*-1 - (-194)/(-4). Let m = -45 - q. Suppose -5*x + 11 = 3*j, 3*j + 23 = 2*x - m*j. Is x at least -6/13?
True
Let x = 24545 + -24396. Let r = 2.01 - 0.01. Is x <= r?
False
Let z = -136 - -369. Let x = -233.09 + z. Is -2/9 greater than x?
False
Let a be (95/(-25))/((-2)/10). Suppose -6*x + 12 = -2*x. Suppose 0 = -x*k + 5*d - 62, -2*d = -k - a - 3. Which is smaller: k or -13?
k
Suppose 12994 - 10354 = 11*n + 4*n. Is 185 at least n?
True
Let s be 4 + -4 + (-2 - -6). Let j be s*((-20)/12 + 1)*-3. Let z be 33/(-1)*j/(-12). Are 22 and z equal?
True
Let z be (56/(-35))/(34/(-30) + 1). Suppose r + 29 = o - 3*o, 0 = 4*o + 4*r + 64. Let x = o + z. Are -10/11 and x equal?
False
Let l(s) = -s**3 + 28*s**2 + 164*s + 91. Let b be l(33). Is b less than or equal to 408/7?
True
Let j(i) be the first derivative of -i**3/3 - 5*i**2 - 7*i + 18. Let p be j(-9). Let g be (8/5 - p)/((-144)/(-300)). Which is smaller: -2 or g?
-2
Let r = -290 - -114. Which is smaller: 10 or r?
r
Let s = -523 - -527. Suppose 0*x - 5 = 3*x + s*g, -5*x - 4*g - 3 = 0. Do -9/83 and x have the same value?
False
Suppose -39*x - 734 + 19 = 16*x. Is x < 44?
True
Let w = -714414/2363 - -5136/17. Is 0 not equal to w?
True
Let m(a) = -42*a**2 - 401*a - 9. Let x be m(-10). Do -200 and x have the same value?
False
Let a = -9253 + 9306. Let l(d) = -3*d**2 + 3*d + 2. Let u be l(-1). Is a not equal to u?
True
Let n = 1.062 - -0.038. Let j = -3.1 + n. Let d = 9 + -8.9. Which is greater: d or j?
d
Let r(s) = -13*s - 27. Let m be r(-6). Let o = 81 - 29. Which is smaller: o or m?
m
Let v = -25456.15 - -25454. Is v not equal to -47?
True
Let t be -6 + 2 + 6 + -6. Let r be (-21)/(-112)*t/(-18). Which is greater: -1 or r?
r
Suppose -604 = 3*h + 4*i, h + 71 = 4*i - 141. Which is bigger: -3/5 or h?
-3/5
Suppose 11*u + 57679 = -6*u + 187508. Is u less than 7636?
False
Let x be (310/(22 + -20) - (-1 - -2)) + 6. Which is smaller: x or 149?
149
Let a(t) = t**3 + t**2 - t - 1. Let o be a(-1). Let z be ((1 - 9)/(-2))/((-600)/(-156)). Let j = -16/15 + z. Is j bigger than o?
False
Let s = 134039/2 + -67019. Let c = 48.25 - 0.25. Let u = 20 - c. Which is smaller: s or u?
u
Let d = -2.739 + 3.7151. Let m = d + 0.0239. Is m greater than 375?
False
Let o(u) = u**3 - 15*u**2 - 34*u - 44. Let g be o(16). Let f = g + 399. Which is smaller: 135/2 or f?
f
Let b = -0.09 - -1.99. Let o be (8 + -10)/(-28 + (-9)/((-18)/(-4))). Is o smaller than b?
True
Let f be (-16524)/(-5) - 16/(-80). Let g = f - 320581/97. Let j = 521/873 - g. Is j >= 1?
False
Let w = 157.3 + -184. Let i = -26.9654 + -0.0346. Let a = w - i. Is 6 at most a?
False
Let t = -9255 + 12821. Which is greater: 3565 or t?
t
Let c(t) = -837*t**2 + 22*t + 9. Let n be c(2). Which is smaller: n or -3297?
-3297
Let t = -253 + 115. Let o = t + 137.94. Let y = 18 + -18.1. Which is smaller: y or o?
y
Suppose 681*o = 180*o + 1298592. Is 2594 > o?
True
Suppose 2*d = -5*t - 29, 0 = 2*t - 5*t - 2*d - 15. Suppose 100 = -5*c - 5. Let k = 15 + c. Which is smaller: k or t?
t
Suppose -32 + 26 = -6*t. Let w be (-6*6/1440)/(t - 2). Which is greater: 0 or w?
w
Let f = 196299191/352997 + 42/11387. Let m = f + -556. Which is greater: m or 0?
m
Let a(g) = -4*g + 7*g - 122 + 117. Let q be a(8). Suppose 3*i + 2 = -q. Which is smaller: i or -6?
i
Let r(u) = 9 + 10*u - 12 + 35 + 5. Let y be r(-7). Is -31 not equal to y?
True
Let a = 24922 - 128881/5. Are -854 and a unequal?
True
Let d be -6 - 30/(-50)*(-2 + 9 + 3). Which is bigger: d or 75/523?
75/523
Let i(s) = -25*s**2 + 175*s + 17. Let b be i(7). Which is smaller: 636/37 or b?
b
Let u = -54 - -54.007. Let q = u + 58.993. Let a = 52 - q. Are a and 3 equal?
False
Suppose -w - 4*o - 11 = 0, 16*o - 3 = 17*o. Which is bigger: w or 0.6?
w
Let z = 1181.6 + -1241.6. Let x = 76 + -134.8. Let a = z - x. Is 0.2 smaller than a?
False
Let w(m) = 24 + 99*m - 195*m + 72*m. Let u be w(1). Is u > -107?
True
Let p = -1.6756 - -1.6356. Is p less than 9.05?
True
Let r be 71 + 5 + -5 - -2. Let m be (12/6)/(12/438). Is m less than r?
False
Suppose -n + 4*u - u + 979 = 0, 0 = -3*n - u + 2887. Is n less than 968?
True
Suppose -50*o = -86*o