 is smaller: 12 or i?
i
Let q = 549 - 563. Let h be -1 - (-5)/(10/8). Are q and h equal?
False
Let h be 1634/6 + (14/(-6))/7. Let k = h + -319. Which is smaller: -48 or k?
-48
Let h = -1 - -1. Let f be (-24624)/(-1104) + 34 + -57. Which is smaller: h or f?
f
Suppose -a = -299*s + 301*s + 71, 0 = -s - a - 36. Let c be (-195)/(-10)*(-32)/18. Which is greater: s or c?
c
Suppose -2*n + 1 = 3. Let i be (75/9)/(-5)*-3. Suppose i*g - m - 2 - 10 = 0, 4*g - 4*m = 16. Is n less than g?
True
Let x = 2.246 + 57.694. Let r = x + -0.94. Which is bigger: 0.1 or r?
r
Let v = -2784.4 + 2780. Which is smaller: -0.22 or v?
v
Let d(h) = -h**3 - 5*h**2 + 5*h - 3. Let f be d(-6). Let c be f/(-10)*70/84. Let j = 405 - 398. Which is greater: c or j?
j
Let f = 3.8 + -0.8. Let b(y) be the third derivative of y**5/60 + 7*y**4/24 + 7*y**3/6 + 70*y**2. Let k be b(-5). Which is bigger: f or k?
f
Suppose -d - 7 = -q, 5 = -d - 3*q - 6. Suppose 80*n - 78*n - 5*w - 30 = 0, 4*w = 5*n - 24. Is n greater than or equal to d?
True
Suppose 0 = -9*k + 11*k - 8. Let l be 12/((-8)/3 + k). Which is smaller: 105/13 or l?
105/13
Let m(w) = w**2 - 15*w + 4. Let t be m(16). Let q = t + -26. Let o(k) = k**3 + 4*k**2 - 9*k - 9. Let x be o(q). Which is bigger: -28 or x?
x
Suppose -6 = -8*w + 18. Suppose -3*l - 231 = 4*t, w*l - 402 = 8*l + t. Which is smaller: l or -79?
l
Suppose 10 + 8 = -2*n. Let y = 3319 - 3325. Do y and n have the same value?
False
Let r = 83/3 + -28. Suppose 0 = -2*i, 3*i - 229 - 551 = -5*b. Let m = -155 + b. Is r equal to m?
False
Let b(w) = -3*w + 30. Let u be b(9). Let f = -10 + 14. Which is bigger: u or f?
f
Let r(i) be the second derivative of i**5/20 - 3*i**4/2 + 27*i**3/2 + 3*i**2/2 - 18*i. Let w be r(8). Suppose 2*v = v + 6. Is v less than w?
True
Let c = -1658 - -1010. Let t = c - -695. Is t bigger than -2/9?
True
Suppose 2*d + 3*n - 22 = 0, -630*n + 23 = d - 627*n. Is d greater than -41/619?
False
Suppose 0*l = 5*l - 65. Suppose 5*j = 3*o - 62, 0 = 2*o - 121*j + 126*j - 8. Which is greater: o or l?
o
Let j(g) = 6506*g - 2. Let l be j(3). Let m = -175402/9 + l. Which is smaller: m or 27?
m
Suppose -312 = -70*v + 572 + 2476. Let h be (-149)/(-3) + 2/(-3). Which is smaller: h or v?
v
Suppose -797*z + 778*z + 874 = 0. Suppose -4*t + 30 + 26 = v, 38 = v - 2*t. Which is greater: v or z?
z
Let c = -11953 + 10750. Do -8424/7 and c have the same value?
False
Suppose -2*z = g - 1346 + 6333, -10*z = -4*g - 19912. Which is bigger: g or -4984?
g
Let x = -92.6 - -93.554. Let m = -0.604 + x. Which is smaller: m or -10?
-10
Let q be (-7518)/(-4)*(((-51)/(-9) - 3) + -4). Is q greater than or equal to -2507?
True
Suppose 8*z - 15*z = 22*z + 4*z. Which is greater: z or -13/1883?
z
Suppose 0 = -9*k + k + 416. Suppose -5*r - 151 = 3*d, -3*d + 0*d = -2*r - k. Let v = r + -58. Which is smaller: v or -86?
v
Let o = 64 + -64. Suppose o = -2*z - z. Which is greater: z or 2/315?
2/315
Suppose -3*y - 8 = 79. Let x(k) = -17*k + 90. Let v be x(7). Is y smaller than v?
False
Let c be -2 + 2 - 6/4. Let m be (-4)/80*-30*(-2)/330. Which is greater: c or m?
m
Let j = 0.3854 - 8.8854. Which is smaller: j or -21?
-21
Let v(k) = k**2 + 8*k - 123. Let t be v(8). Suppose -7*h + 5*a + 367 + 574 = 0, -t*h - 5*a = -715. Which is bigger: 134 or h?
h
Let a be (0 + (4 - -9))*25. Let y = a - 321. Is y at least as big as 53?
False
Let f = -16291669/25750 - -179157/206. Let h = f + -237. Which is smaller: h or -1?
-1
Suppose 5 = 4*u - 23. Let a = 8 + u. Which is smaller: 9 or a?
9
Let q = -13067/402 - -23/134. Let o = 2125/66 + q. Let d be (-2)/6*(-1 - 2). Is d less than or equal to o?
False
Suppose -5*c = v + 3*v - 563, -3*c - v = -335. Do 109 and c have different values?
True
Let w(c) = 7*c - 54. Suppose g + 58 = -0*p + 3*p, 5*p + 3*g = 92. Let y be w(p). Is y > -0.1?
True
Let v = -13 + 39. Let x = v - -7. Let r = x - 32. Is -2/5 bigger than r?
False
Let c = -10443.2 + 10444. Is c != 115?
True
Let k be 4/34 + 40/85*276. Suppose 0 = -7*a + k - 123. Which is bigger: -2/369 or a?
a
Suppose -185191 = -240*d - 32551. Which is smaller: 638 or d?
d
Let w = 12 + -5. Suppose -4*v = 3*j - 0*j - 601, 0 = -4*v + j + 589. Suppose 144*i - 4 = v*i. Which is smaller: w or i?
i
Let j = 34.85 - 34.85. Which is greater: j or 248/27?
248/27
Suppose 12*q - 17*q + 100 = 0. Suppose 4*w - 4*i - q = 0, -i - 4*i - 21 = -3*w. Let b be (w/3*27/(-18))/1. Which is bigger: -3.1 or b?
b
Let h be (-12)/(-2 - -4)*21/(-9). Suppose -2*w + 7*o - 8*o = 31, -w - h = o. Let t(v) = -v**2 - 18*v - 15. Let g be t(w). Is g at least as big as 3?
False
Let f = -32 - -5. Let a = f + 35. Let w = a + -25. Which is bigger: w or 1?
1
Let g(n) = 11*n + 263. Let r be g(-24). Which is bigger: 2/10487 or r?
2/10487
Let c be (-9 - 38318/68) + 6/(-4). Which is greater: c or -3449/6?
c
Let g(y) = -2*y + 22. Let h be g(12). Let n be (0 - 11)/(3 + h). Let q be (-6)/(-5 - n) + 2 + -1. Is q greater than 0?
False
Let t(d) = -d**3 - 29*d**2 + 303*d + 259. Let n be t(-37). Which is smaller: n or 4/7697?
n
Let k = 337 + -337. Suppose k = -14*w + 60 - 60. Does w = -1/219?
False
Let t be (-12)/(-13) - (-6)/78. Let p be (-12)/36 - (t - (-20)/(-12)). Is 3 at least p?
True
Let j be (16/10)/(4/10). Suppose -2*a - 1 - 23 = 0. Let f be ((9/12)/(-1))/(a/32). Which is smaller: f or j?
f
Let a = -246/7957 - -9/436. Are a and 1 equal?
False
Let b = -8178.951 - -8179. Is b at least as big as 1.38?
False
Let k = -3 + -1. Let t = 83 + -79. Suppose 0 = -0*o - 3*o - t*a + 25, 3*a - 38 = -5*o. Which is smaller: k or o?
k
Let g be (-8)/(-12)*(-18)/(-4). Let r(f) = -f**2 + 4*f - 2. Let v be r(g). Let j be 10 + -15 - (-6 - (0 + 2 - -1)). Is j bigger than v?
True
Let d = -264834 - -1850498/7. Is d smaller than -477?
True
Let n(u) = -u**3 + 21*u**2 - 62*u + 36. Let s be n(18). Which is smaller: 42 or s?
s
Suppose 9*x - 17*x - 13*x = 0. Which is bigger: -2/4349 or x?
x
Suppose 0 = -3*u + 5*o - 13130, 4*o + 13094 = 25*u - 28*u. Are -4369 and u equal?
False
Let g(s) = -2*s + 5. Let j be g(2). Suppose -x - 32 = -2*d - j, -3*d + x + 49 = 0. Let n = 52 - 33. Which is smaller: d or n?
d
Suppose -128*n = 337*n - 797010. Which is smaller: n or 1720?
n
Let u = -41.24 - -40.4. Let j = 0.702 + u. Is j > -1/4?
True
Suppose 96 = 75*s - 81*s. Let i be (4 + -2)/(36/(-198)). Is s at most as big as i?
True
Suppose 22 = -2*d - 300. Let x = 923 - 1086. Is x >= d?
False
Let y = 90 - 88. Let j be (4 + -3 - -3) + -58*y. Let b = 112 + j. Is b greater than -36?
True
Let c = 1685 - 1693. Which is greater: -148/19 or c?
-148/19
Let d = -357 - -353. Let l be (28/2730)/((-3)/((-18)/d)). Which is bigger: 1 or l?
1
Let u(q) = -q**2 + 7*q - 7. Let a be u(6). Let v = -45977817/28 - -1641749. Let y = 316 + v. Which is smaller: a or y?
a
Let z(o) = -2*o - 30. Let a be z(-16). Suppose -a*b + 1 = -3*b. Let x be (b - 285/(-265))*1. Which is bigger: 0 or x?
x
Let r = 5217 + -5401. Is r at least as big as -187?
True
Let l be 0 - (-1)/(-7)*-2. Suppose 6*s - 80 = 4. Let g be 24/(-36)*(-2 - s/(-4)). Are g and l equal?
False
Let v(h) = 2*h**3 + 7*h**2 - 16*h - 5. Let q be v(7). Let i be 3/5 + q/(-320). Is -3 smaller than i?
True
Let j(c) = -81*c + 839. Let k be j(13). Is k greater than or equal to -222?
True
Suppose -3*z + 0 = -3. Let a be z + -1 + (-16)/(-18). Let g = -101.762 + 101.762. Is g <= a?
True
Suppose -17*f - 1959 = -3693. Is 68 != f?
True
Let t = -6402 - -19201/3. Which is smaller: 372 or t?
t
Let f = 52 + -30. Let r be -1 + -1 + f/18. Suppose -4*k = 4*n - 1216 + 1228, -n - 6 = 4*k. Which is bigger: r or n?
r
Suppose -124 = -3*z + 3*q - 40, -4*z + 139 = 5*q. Which is smaller: 286/9 or z?
z
Let h = -1775/3 - -596. Is h at most as big as 2/221?
False
Let y(k) = 512*k + 2481. Let g be y(-6). Which is smaller: -594 or g?
-594
Let l(g) = 46*g**2 + 243*g - 1. Let h be l(-5). Let y be 6/4*808/(-18). Are y and h nonequal?
True
Suppose 0 = -2*w + 10*w - 840. Suppose -122*g + w = -127*g. Is -1/2 not equal to g?
True
Let t be -2 + (70/22 - 1). Let m = t + 7/22. Suppose 64 = -1349*z + 1345*z. Which is smaller: m or z?
z
Suppose 9 = -2*n + 21. Let y = -218 + 222. Suppose 3*i = 3 + n, 16 = y*b + 4*i. Is b > 1/32?
True
Let b be (-7462)/22 - 3/66*-4. Let r = b + 341. Let l be 24/5*10/14. Is l bigger than r?
True
Suppose 78 = 5*h - 2*h - 2