
Let k be (18/5)/((-20 + 24)*1). Let l be 0/(-2 + 1 + 3). Which is bigger: l or k?
k
Suppose -4*a + 24 = -4*w - 0, 0 = 5*a + w - 6. Let o be -3 - (-36)/a - 4. Let v be 0/(2 - 1) - -10. Does v = o?
False
Let c = -0.08 + 4.18. Let b = -13.9 - c. Let o = b - -17. Which is greater: -4.2 or o?
o
Let t be ((-18)/(-2076))/((-351)/144*-2). Is 0 >= t?
False
Let g = 12636 - 12849.82. Let w = g + 214. Is w greater than -0.7?
True
Suppose 10*u - 135 = 5. Which is smaller: u or 27?
u
Let c(i) = i - 12. Let d be c(-18). Let p = d + 479/16. Let r = -393 - -392. Is p at most as big as r?
False
Let i = 22.8 + -21.53. Let k = -0.68 + i. Let h = k - 0.77. Which is greater: h or 2?
2
Suppose 0 = -16*w + 15*w - 23*w + 20880. Do w and 870 have different values?
False
Suppose 9 = -25*b + 22*b. Let a be -2 - b - ((-1)/(-1) - 33). Suppose 186 = a*s - 27*s. Is s greater than 31?
False
Let z = -803/13 + 535575/8671. Suppose 71 - 73 = 2*d. Is d bigger than z?
False
Let w = -104 - -92. Let y = w + -71. Let x = 132 + y. Are x and 48 non-equal?
True
Let b(f) = 10*f**2 + 10. Let c be b(-3). Suppose 93*g - c*g = -329. Suppose -96 = -6*l + 4*l. Which is greater: g or l?
l
Let h be -5*1*192/15. Let g be 55/20 + 5/20. Suppose 0 = 2*q + 2*k + k + 129, -g*k = -5*q - 312. Is h less than or equal to q?
True
Let u be (-2)/(2*3)*-1. Let h = -142 + 138. Let j be (h/6)/((-33)/(-9)). Which is smaller: j or u?
j
Let x = 2614 + -2615.9. Which is smaller: x or 1/4?
x
Let j = -887 - -872.94. Let z = 0.06 + j. Let h = 14.1 + z. Is 1/5 greater than or equal to h?
True
Suppose 4*m + 5*k - 524 - 1433 = 0, -4*m + 1907 = -5*k. Suppose -c - 1 + 0 = 0, 0 = -4*a - 3*c - m. Is a <= -120?
True
Suppose d = 2*n - 7*n - 2051, -5*n + 5*d = 2075. Which is bigger: n or -407?
-407
Let m be (-4)/(-20)*40/(-64)*2770. Let y = m + 380. Which is greater: 2 or y?
y
Let b = -13/8890 + -1/70. Suppose 4*o + 324 = 4*c, -3*c + 0*o = -4*o - 248. Let g = -230/3 + c. Which is smaller: g or b?
g
Let s = -0.241 + 0.224. Let h = -0.083 + s. Which is bigger: h or 5/4?
5/4
Let r = 1.7513 - -1.2487. Is r not equal to -73?
True
Let f be 1 + 0 - 159/106. Which is bigger: -1/1594 or f?
-1/1594
Suppose -23*y = 33*y + 33*y + 10502. Is -133 greater than or equal to y?
False
Let f be 4/12*-7 + -21*8/36. Is -1/87 at least f?
True
Let g(d) = -d**3 + 5*d**2 + 7*d - 1. Let j(y) = y**3 - 4*y**2 - 7*y + 1. Let a(r) = 5*g(r) + 6*j(r). Let x be a(0). Which is smaller: x or 6/7?
6/7
Suppose 4*g - g = -t + 262, -g - 4*t + 80 = 0. Let a(v) = -17*v - 13. Let s be a(-6). Is g != s?
True
Suppose -8 + 13 = 5*u. Suppose 0 = -b + 69 - 75. Let a be ((-6)/(-9))/(58/b). Are a and u nonequal?
True
Let z = -87 - -84.24. Let t = z - -15.76. Is 2/37 equal to t?
False
Let i be 10158/(-21)*(-26 + (-176)/(-8)). Which is smaller: i or 1934?
1934
Suppose -p + 18 = 3*z, 5*p + 4*z - 48 = 3*z. Let g(i) = -2*i + 1. Let m be g(1). Let b be m + 18*p/(2 - 5). Are b and -55 equal?
True
Suppose 9*w + 4704 = 2*d + 7*w, -9408 = -4*d - 3*w. Is 2353 at most d?
False
Let v = -61 + 77. Suppose x - 3*q = v, 0 = 5*x - 2*q - 0*q - 15. Which is smaller: 34 or x?
x
Let z be 3 + -1 + 3*(-84)/(-18). Suppose -5*w - 5 + 1 = 3*g, -w + 5*g + z = 0. Let c be 9 + -14 - (8 + w). Which is bigger: c or -67/5?
-67/5
Let r = 93.6 - 91.6. Suppose -4*c + 17 = -19. Is c at least as big as r?
True
Let b(a) = -a**2 + 8*a - 3. Let v be b(8). Let u be v*(8/16 + 10/(-12)). Suppose -4*d - 4 = 5*x + u, x = 2*d - 1. Are -1/30 and x unequal?
True
Let s(y) = y**2 + 31*y + 66. Let c be s(-31). Let r = c + -54. Which is greater: 13 or r?
13
Let n = -4514 + 4398. Which is greater: -118 or n?
n
Let c be (139*1)/((-3)/(-2 + -1)). Suppose -c*z + 225 = -134*z. Is z > -2/5?
True
Let b = -260 - -337. Let r = b - 178. Is r at most as big as -2?
True
Let w = -33 + 37. Suppose 0 = w*t - t. Let h be 2 - (t + (-2 - -6)). Is -2 > h?
False
Let k be ((-220)/84843)/(3*8/(-108)). Is 1 >= k?
True
Let s = -49 + 154. Let v be s/(-70)*1*2. Is -0.1 != v?
True
Let x = -284 + 262. Let q be ((-1)/2 - -1)*-30. Let c be (x/(-3))/(10/q). Is c bigger than -13?
True
Let f be -5 - (-11)/((-847)/(-399)) - (-18)/(-462). Is f less than 7.8?
True
Let j = -9353 + 9266. Is j at least as big as -84?
False
Let t(d) = 9*d - 14. Let a be t(8). Let g be a/(-14) - (-3)/21. Let c be 1/(-2 + 6/4). Are g and c equal?
False
Let c be (-18)/(-4)*8/12. Let g be 0 - 15*((-14)/c - -3). Let w = 26 - g. Which is smaller: w or 4/21?
4/21
Let b = -215 - -218. Let c be ((-28)/(-42))/((-4)/(-1530)*b). Is 85 less than c?
False
Suppose 5*f = 4*a + 29, 363*f = -4*a + 366*f - 19. Which is greater: a or -11/344?
-11/344
Let c(t) = t**2 - 14*t - 67. Let b be c(-4). Suppose -5*i = 3*y - 0*i - 103, 2*y - 67 = -b*i. Which is smaller: y or 12?
12
Let f = 3662 + -3666. Suppose 5*y = 9 + 11. Suppose 0 = -y*x - 0*x - 28. Is x at least as big as f?
False
Let c be (300/360)/((-20)/108). Let u = -2.2 - -0.2. Do u and c have different values?
True
Let t(v) = v**3 - 39*v**2 - 2*v + 77. Let a = -360 - -399. Let u be t(a). Are 1/349 and u non-equal?
True
Suppose 2*j + 210 = -5*j. Let f = -131 - -193. Let l = 32 - f. Is j at most l?
True
Let k(n) = -n**3 + 11*n**2 + 9*n + 28. Let q be k(12). Let a = q - -11. Let w = -766 - -5384/7. Is a smaller than w?
True
Let u = 7749 - 7773. Let t be 2/(-2)*25/1. Are u and t equal?
False
Let k = -792793/47 - -16868. Let i(n) = -n**3 + 3*n**2 + 5*n - 4. Let s be i(4). Suppose 2*g + 2*g = s. Is g equal to k?
False
Let n = -235 + 415. Let t = 181 - n. Let z = 35 - 18. Which is smaller: z or t?
t
Let f be (-25)/7 + 2 + 1. Suppose -441*k - 38 = -442*k. Suppose -3*t = k - 38. Is f less than or equal to t?
True
Let s(j) = -j**2 - j + 1. Suppose 5*r + 4*c + 4 = -4, 3*c + 6 = -3*r. Suppose r = 3*p + p. Let x be s(p). Which is greater: 1/2 or x?
x
Let s = -22255 + 22255. Which is bigger: 40/3 or s?
40/3
Suppose -11 = -6*o - 5*o. Let f be 5 + ((-18)/(-3) - o). Is f greater than 10?
False
Suppose -2*d - 42*r + 112 = -40*r, -5*d + 280 = r. Is 493/9 greater than d?
False
Let w(m) = 2*m**2 - 87*m + 205. Let i be w(41). Which is smaller: -2/307 or i?
-2/307
Suppose -177 = 2*x - 243. Suppose 27 = 3*f + x. Let u = 26 + -28. Is u not equal to f?
False
Let x = -0.21397 + 0.01397. Is 16/57 > x?
True
Let f = 2512 + -1720. Which is smaller: 1/4 or f?
1/4
Let p = -2477 + 2493. Which is smaller: p or 16/11?
16/11
Let p be -334 + -2 + -4 + 7. Let r = 334 + p. Is 2/389 equal to r?
False
Suppose -m + 16 = 16*t - 19*t, -4*t = 4*m. Is t bigger than -25?
True
Let w(s) = s**3 - 26*s**2 + 12*s + 15. Let n be w(24). Which is smaller: n or -5089/6?
n
Let p = 847.2 - 1399.3. Let n = p - -552. Which is bigger: n or -325?
n
Let w(o) = -5*o + 46. Suppose -16*g + 24 = -13*g. Let y be w(g). Which is smaller: 3 or y?
3
Let f = 80447 - 80451. Let x be (-24)/(-10) - (-2)/(-5). Do f and x have the same value?
False
Suppose 140 = 2*u + 28. Let g = -158501.3 + 158501. Is u greater than g?
True
Let t = 892/63 + -130/9. Which is bigger: 25.26 or t?
25.26
Let d = -0.57 + 0.81. Let a = d + -0.18. Is a smaller than -21?
False
Let x = -262226245257278/58047287449425 + 6870686/1520471. Let o = x - -2/26791. Which is greater: 1 or o?
1
Let j(f) = 50*f + 94. Let z be j(-6). Let r = z + 207. Is -2/483 at most r?
True
Let t be (-88)/1628 - 486396/111. Which is smaller: t or -4381?
t
Suppose 2*a + 1 = -k, 372*a - 368*a - 2*k - 18 = 0. Are a and -780 equal?
False
Suppose -5*j - 51184 = 465*j - 13*j. Which is greater: -107 or j?
-107
Let s(g) = 10*g**2 - 4*g + 7. Let x be s(2). Let v be (-1)/(-3) - (-6 + 559/x). Which is bigger: -22 or v?
v
Let s = 2.448 + -3.448. Is s less than -1.67?
False
Let b(f) = f**3 - 10*f**2 + 422*f - 3717. Let m be b(9). Which is bigger: -6796 or m?
m
Suppose 0 = -3*r - 3*z - 27 + 51, 4*r - 22 = z. Let n be 16/(-20) + (-13582)/2610 + r. Is 1 greater than n?
True
Let i = 582.0228 + -582. Let b = i + -200.0228. Which is smaller: b or 0?
b
Let y = -234 - -118. Let q = 102 + y. Let i be (2/q)/(1/3). Which is greater: -1/2 or i?
i
Let n(u) = u**2 - 5*u - 3. Let z be n(5). Suppose 0 = -2*o - 3*j + 144, -o + 115 - 45 = j. Let r = 64 - o. Which is bigger: r or z?
r
Let j be 4282/12 + (-32)/(-192). Is j not equal to 1?
True
Let y = -21821.5 - -21821. Is y greater than or equal to 9?
False
