 k = 0 + -9. Let p = -9.05 - k. Let j = -0.95 + p. Which is bigger: j or -12?
j
Suppose -15*o + 3*u - 9 = -18*o, 5*o + 2*u = 0. Which is greater: o or -52/35?
-52/35
Let r be ((-4)/5)/((-4)/40). Let v = -10 - -14. Suppose -4*o - 3*w = -2, -r*o = -v*o + 5*w - 6. Is o at most -4?
False
Let t(v) = v**2 - 27*v + 2. Let d be t(27). Suppose 0*z - 2*f - 2 = -d*z, z - 5*f - 5 = 0. Are -3/505 and z non-equal?
True
Let r(w) = -w**3 + 5*w**2 + 8*w - 12. Let h = 6 - 0. Let c be r(h). Suppose 96 = -143*q + 175*q. Do q and c have different values?
True
Let a = 83.25 + -96. Let b = a - 0.25. Let y be (6/36)/(98/168). Which is smaller: y or b?
b
Let y = 725041/9529 - 989/13. Which is smaller: y or 1?
y
Let w = 4929.37 - 4929. Is w bigger than -0.49?
True
Let i = -85104/7 - -23573409/1939. Is i < 1?
True
Let y = -112 + -39. Let i = -154 - y. Let r = -15.56 + -0.44. Which is bigger: i or r?
i
Let a = 3714/8701 - 39/77. Which is bigger: 1 or a?
1
Let y(u) = -2580*u**2 - 6*u - 5. Let k be y(-1). Let x = k + 20661/8. Is 3 smaller than x?
True
Let k be 17*(22/(-55))/((-4)/(-10)). Let w be 12/k*35/21. Which is smaller: -2 or w?
-2
Let t be -1 + -3 + 38600/12*(3 - 6). Which is bigger: -9653 or t?
-9653
Let v = -3576 - -3346. Does v = -15/8?
False
Let g = -5920.9 + 5921. Are g and -4.04 unequal?
True
Let v = -47716 + 47065. Which is smaller: v or -656?
-656
Let f(a) = a**3 - 31*a**2 - 3*a + 57. Let y(l) = -l**3 + 29*l**2 + 3*l - 58. Let q(z) = 4*f(z) + 5*y(z). Let t be q(21). Let g be 4/6*6/4. Are g and t equal?
True
Let y(m) = 2*m**3 + 47*m**2 - 29*m - 55. Let g be y(-24). Suppose g = -w + 52. Which is smaller: w or -3?
w
Let j = 335 + -330. Suppose -2*g = -3*g - 4, -j*a + 5*g + 600 = 0. Is a >= 116?
True
Suppose -3*v - v = 44. Let l be v*((-1)/(-1) + 0). Suppose -3*w + 1 - 31 = 0. Which is greater: w or l?
w
Let m = 19274/2533 - 82/149. Which is smaller: 0.4 or m?
0.4
Let p be ((-4853)/(-1150)*15)/((-6)/(-8)). Which is smaller: 84 or p?
84
Let t be (-90)/6 + 27/((-108)/(-32)). Which is smaller: t or 11?
t
Suppose 208*i - 204*i = -176. Which is smaller: 26 or i?
i
Let q be (-20)/(-16) + 4407/4836. Which is smaller: 1 or q?
1
Let r be -1010*((-10)/35 + (-756)/(-245)). Which is smaller: -8480/3 or r?
r
Let t(q) = 14*q - 12. Let o be t(-5). Let z be (1/1 + o)*(1 - 0). Let a = -65 - z. Are 15 and a equal?
False
Let t be (-2)/5 + 334/(-15). Let b(n) = -n**3 - 14*n**2 + 55*n + 45. Let r be b(-17). Is t at least as big as r?
True
Suppose 8*j = 4*j + 72. Let x = -48 + j. Let d = x - -51. Is d smaller than 21?
False
Suppose -488 - 671 = b - c, -4678 = 4*b + 2*c. Is -1164 at most as big as b?
False
Let t = 97 + -126. Let x = -29 - t. Suppose 0 = m - x*m + 4*m. Which is smaller: -12/13 or m?
-12/13
Let d(g) = g**3 + 2*g**2 - 7*g - 6. Let a be d(-2). Let i be 72/(1 + a) + -1. Let w = 4 - 2. Is w greater than i?
False
Let i be ((-178)/88 - -2)/((-52098)/456). Which is bigger: 0 or i?
i
Let t = 0.0119 + 4.5681. Let y = 0.18 - t. Which is bigger: y or 3?
3
Let j = 9/563 + 8189/51233. Are j and 0 equal?
False
Suppose 3*q + 5*o = -33, 2*q - 21 = 6*o + 13. Is q at most -8/533?
True
Let b be (-78)/546 - 489/105. Suppose 0 = -5*a + 5*q + 15, 2*a + q + q = 2. Suppose -a*s - 7 = 3. Is s != b?
True
Let y = -2019 + 2019.19. Is y equal to 54?
False
Let c be 6/3 - 22/12. Suppose 2*l + 6*f - 11*f = -9, 2*l + 2*f + 2 = 0. Let b be (-18)/(-15) - l/(-10). Which is bigger: c or b?
b
Let m = 2846.28 + -30.28. Which is greater: m or 0.1?
m
Suppose 2*l = 8, -8*l - 716 = 12*m - 16*m. Which is bigger: m or 180?
m
Let p = -33432 - -60249/2. Let j = -297703/90 - p. Is -1 at most as big as j?
True
Let q = -35 + 5. Let b(p) = 17*p - 8 + 12*p - 24 - 25*p. Let w be b(0). Is q at most w?
False
Let k(l) = -4*l**2 + 24*l + 11. Let u be k(7). Let n(t) = 4*t + 57. Let g be n(u). Which is smaller: 1.4 or g?
g
Suppose 0 = -3*l - 0*y + 4*y - 352, y = -3*l - 362. Let r = 201 + -83. Let g = l + r. Which is bigger: -3 or g?
g
Let m = 2/12313 + -9776540/110817. Suppose 51 = 2*a + 227. Let b = a - m. Is b at least 0?
True
Let u(j) = 4*j - 135. Let y be u(35). Let o be 2/(66/13 - y). Is o < 25?
False
Let v = -948485 + 948471. Let u = -34 + 21. Is v not equal to u?
True
Let o = -1.23 - -0.23. Let r = 3.792 - 0.192. Which is greater: r or o?
r
Suppose 44100 = 73*p - 31*p. Is 1050 at most as big as p?
True
Let q(s) = -s**2 - 41*s + 299. Let o be q(7). Suppose 5*f + 165 = -2*r, 45 = 2*f - 4*f - 5*r. Which is smaller: f or o?
o
Suppose 18*v - 6995 = -4961. Which is smaller: v or -6?
-6
Let r = -4268 + 4266. Is r less than or equal to -2603?
False
Suppose 8 = w + q + 2*q, 0 = -4*q + 12. Let b = -3 - w. Let x = -108431/7 + 15489. Is x greater than b?
True
Suppose 4*v = 1 + 43. Suppose 560 = 3*k - v*k. Let o be -1*20 + k/(-14). Which is smaller: -13 or o?
o
Let t(c) = -c**2 - 3*c + 7. Let i be t(-4). Suppose -4*p - i*p = -154. Let k be -2 - ((-10)/(-45) + p/(-18)). Is k less than or equal to 22?
True
Let j = 6810 - 88538/13. Are j and -1 unequal?
True
Let n = -66 - -65.727. Let y = n + 0.155. Is 1 at least y?
True
Let g be 1345/(-266) + 4/(28/35). Let n = g - -7463/141778. Is 0 less than n?
False
Let j be (-1 + 7)/((-4)/18). Let a(u) = -398*u - 164803. Let b be a(-414). Which is greater: b or j?
j
Suppose -4*g = -2*p + 32 + 550, 0 = 2*p + 5*g - 582. Let f be p + 24/10 + (-58)/145. Are 294 and f nonequal?
True
Let k be 6 - -3*(-4)/((-2328)/(-1230)). Is -1 smaller than k?
True
Let s = -118 + 353/3. Are s and 44 equal?
False
Suppose -4*h - 2*y = 1766, -5*h + y = -y + 2185. Let a be -1 - (-3 - 4/((-40)/4382)). Let b = h - a. Which is greater: b or -3?
b
Let w be (-370740)/(-16845) - 22/1. Are w and -1 non-equal?
True
Suppose 700 = -4*y + 11*y. Let q = y - 107. Let n = 25 - 122/5. Is q bigger than n?
False
Let y = -128.4 - -92. Let i = 35.5 + y. Let g = 1.1 + -1. Is g at least as big as i?
True
Suppose 168 = -10*n + 2*n. Let p = 275/13 + n. Which is smaller: -1 or p?
-1
Let f(x) = -x**3 - 6*x**2 - 19*x + 6. Let d be f(-6). Which is greater: 1544/13 or d?
d
Let w = -108.2 - -110.2. Are w and 2/557 nonequal?
True
Let l = 0.3 - 0.4. Let i = 44.5054 + -2.5054. Which is smaller: i or l?
l
Let t be (-1 + 0)/(5 + -22). Suppose 0 = -3*g + 5*q + 2, -3*q + 10 = 2*g - 2*q. Suppose -5*i + 1 = g*d, 6 = 4*i - 4*d + 2*d. Which is smaller: t or i?
t
Let y = 4.3 + -4.2. Let i = 538 + -864. Which is bigger: y or i?
y
Suppose -1924*h - 703120 = -1856*h. Which is bigger: -10339 or h?
-10339
Let v(i) = -i**2 + 9*i + 40. Let z be v(12). Let q be (z/(-10))/(35/945). Which is smaller: q or 3?
q
Let a = -14014 - -13225. Which is bigger: a or -788?
-788
Let x = -9 - -9. Let d be (31/(-62))/((-1)/(-2)). Let f be 4/36*(d - x)*-1. Is f > 1?
False
Let y = -0.01 - -0.02. Let r = y + -0.81. Let l = -300 - -300.2. Is l > r?
True
Suppose 104 = -i + 161. Let h be (-2 - 12/18)*i/4. Is -37 >= h?
True
Let x = 102 + -142. Let l = 3.7 - -38.3. Let f = l + x. Which is smaller: f or -2/9?
-2/9
Suppose -5*m + 84 = -2*s, m + 4*s - 10 = s. Suppose 3 = h, j - h + 3*h = m. Suppose -j*k + 62 = -12*k. Is -31 < k?
False
Let o = 11.62 - 12. Let y = 0.15 + o. Let m = y + -0.07. Is 2/11 less than or equal to m?
False
Suppose 5*v + 20 = 0, b + 15 = -2*v - v. Let q be 2/11 + 16995/363. Suppose -60*h = -q + 167. Do b and h have the same value?
False
Let g be (-767)/44070*201 - -3 - (-2)/4. Is g at least 0.5?
False
Let s = -132 + -6. Let t = s - -3451/25. Let x = t + 71/100. Is 2 at most as big as x?
False
Let b = -119 + 123. Suppose 0 = -3*s - 4*y - 204, -7*y - 272 = b*s - 2*y. Are s and -65 equal?
False
Let p = -7/44 - -93/308. Are p and 213 unequal?
True
Let c = 22 - 20. Suppose c*u = 65 - 15. Which is bigger: u or 23?
u
Suppose -52*u - 19*u - 44*u = 368575. Which is smaller: u or -3206?
-3206
Let u = -7006 + 8587. Is 1575 bigger than u?
False
Let f(a) = 16*a**2 + 15*a - 17. Let m be f(-15). Suppose 9*g + m = -809. Let d = -2797/6 - g. Is -3 smaller than d?
False
Let q = 35.01 - 34.978. Which is smaller: q or 45?
q
Let j = -19080/7 + 2726. Is 115 at most j?
False
Let a = -39.6 + 47. Let s = a + -67.4. Let p = -68 - s. Is 3 less than p?
False
Let p = 1377/31 + -3229251/72695. Which is bigger: 1 or p?
1
Suppose -27286 = -599*l - 122345 - 70864. Suppose 0 = i + 441 - 165. Which is smal