is bigger: l or 1598?
l
Let l(v) = -4*v + 27. Suppose 0 = 3*o + 14 - 2. Let b(a) = -a**3 - 6*a**2 - 8*a + 7. Let u be b(o). Let t be l(u). Is 1/67 not equal to t?
True
Let c = -131 - -127. Let a be 15*(76/20 - c). Let k be 7317/63 + (-1)/7. Are a and k non-equal?
True
Let y be (-950)/(-57) + -17 - 25/(-9). Which is bigger: 3/7 or y?
y
Let t = 930175149/6055 - 153621. Is t not equal to 1?
True
Let a = 82 + 130. Let z = a - 211.9957. Which is greater: z or 1?
1
Let v = -70 - -93. Let g be (-4)/(-5) + v/115. Which is bigger: g or 3?
3
Suppose 4*x + 2279 = -9*y + 136, 2*x + 4*y = -1070. Do x and -539 have different values?
True
Let o = 20.314 + -11986.314. Is -1/3 at least as big as o?
True
Let k(m) = 5*m**3 - 6*m**2 + 33*m + 389. Let n be k(-12). Which is greater: -9510 or n?
-9510
Suppose 3*m = -q + 3715, 87*m + 4948 = 91*m + 4*q. Is 0.2 greater than or equal to m?
False
Suppose -4*u + 7*u - 165 = -3*b, 3*u - 168 = -2*b. Suppose -a = a - u. Suppose -k + 7 = 3*n, -2*k - k + a = n. Is 10 smaller than k?
False
Let z(k) = 122*k - 68. Let l = 47 - 45. Let y be z(l). Which is smaller: y or 177?
y
Let s be (-24)/3 + (-4 - 32456/(-2708)). Is s greater than or equal to -1?
True
Let q = -39 - -49. Let b be (-17)/(-5) + (-4)/q. Suppose 3*p - 4*u = 23, b*p = -3*u + 2*u - 2. Which is bigger: p or 0?
p
Let p = 2/27879 + 4553564/83637. Which is smaller: 55 or p?
p
Let j be 1/6 + (-101215)/150 + -20. Is -694 bigger than j?
True
Let j = -473.4 - -389. Let x = 84.3 + j. Which is smaller: -311 or x?
-311
Suppose -27*b + 180 = -24*b. Let a = -300 + b. Is -241 smaller than a?
True
Let u = -116 - -122. Suppose -2*w - i + 26 = 3, 2*i = -u. Suppose -18*j + w*j = 0. Is -6/73 smaller than j?
True
Suppose -159960 = 49*w - 54*w. Let u be (-127164)/w + 4/1. Let m = 3/62 - u. Is m at least as big as 0?
True
Let h = 19759 + -21122. Is h at most as big as 0.03?
True
Let m = 0.81 + -87.81. Let l = 87.071 + m. Which is smaller: l or 1?
l
Suppose 178*z = -70*z - 248. Which is greater: z or 1/10960?
1/10960
Let z(v) = v**3 - 8*v**2 - 43*v + 246. Let k be z(-6). Let y = -3729 - -1137346/305. Which is bigger: y or k?
y
Let b = -2 + -1. Let m be b*((-70)/(-12))/(-7). Let u be (-3)/(189/(-246)) + 1032/10836. Which is smaller: u or m?
m
Let o be 14/35 + -1*411/15. Suppose -7*a - 26 = -3*a - 2*t, 2*a - 17 = -5*t. Let c be o/6*(a + 2). Do c and 7 have the same value?
False
Suppose 4*x - 81 = -9*p, 45*x - 40*x = 2*p + 141. Which is smaller: 54 or x?
x
Let k = -119480063/73806 - -75/12301. Let y = k - -1603. Is -17 not equal to y?
True
Let q = 3847 + -3813. Which is smaller: 64 or q?
q
Let b(w) = -35*w**2 - 7*w - 28. Let t(d) = -d**3 - 174*d**2 - 36*d - 142. Let s(y) = -11*b(y) + 2*t(y). Let m be s(19). Which is bigger: m or -240?
-240
Let l(y) = -7*y**3 + 5*y**3 + 14*y**2 + 3*y**3. Let q be l(-14). Let k be 4/(-14) - (-28)/441. Which is smaller: q or k?
k
Let x = -574 - -599. Is 155/6 equal to x?
False
Let x(o) = -2*o**2 + 7*o + 13. Let q be x(-4). Let i = q + 16. Which is smaller: i or -1?
i
Let l = 7/1265 + 250337/24035. Let g be 3/18 + (-5664)/(-576). Which is smaller: l or g?
g
Let y(o) = -10*o - 82. Let g be y(-28). Suppose 5*w = 783 + 202. Do w and g have the same value?
False
Let l be (-22)/28 + 90/180. Is l not equal to 427?
True
Suppose -k + 1 = -3*y, 0 = 2*y - 5*y - 12. Let z be (-4 - (31 - -1))*(-50)/(-6). Let p = z - -289. Is p > k?
False
Let a(n) = -9*n**3 + 14*n**2 + 8*n - 22. Let c be a(-9). Is c at least 7602?
False
Let c = -50.21 + 51. Let q = c + -1.79. Which is greater: q or 12/5?
12/5
Let o = -1858/11 + 39040/231. Do 17 and o have different values?
True
Let f be 1*((-2193)/726 + 3). Let y = -153333216521/3146 - -48739103. Let q = y + f. Which is greater: q or 1?
1
Suppose 2*b + 2 = j, 8 = 3*j + 4*b + 2. Let s be 4*2*(-8)/j. Let v = 306610 - 306640. Is v less than or equal to s?
False
Let g = -2548 - -2547.9. Which is bigger: -32.76 or g?
g
Suppose 0*d + 5*d = 2*a + 112, 4*a = -d + 40. Let k = -28 + d. Let p be (-1)/k + 55/(-300). Which is greater: 1 or p?
1
Suppose -5*c + 2835 = 3*r, -c + 5*r - 85 = -680. Which is smaller: c or 574?
c
Let z(s) = -10*s - 88. Let p be z(-9). Suppose -175 = -p*b - 57. Is 61 bigger than b?
True
Let v be (-4)/((-213)/(-219) - 1). Suppose 5*r = -y - 148, 0 = -5*r - 4*y + 2*y - v. Which is smaller: 1/2 or r?
r
Let a = 13946 - 13089. Are a and -2 equal?
False
Let o be ((2 - 3) + (-16)/(-4))/1. Suppose -3*f = o*p + 81, -5*f - 3*p + 4*p - 165 = 0. Let g = -28 - f. Is g less than 6?
True
Let x(j) = -j**2 - 29*j - 168. Let f be x(-22). Let g be 2/5 + (-8)/(-5). Suppose 0 = -g*o + 5 - 33. Is f at least o?
True
Let x = 141.6345 - -0.2655. Let q = x - 142. Let l = 95 - 763/8. Which is greater: q or l?
q
Let i = -391.7 + 398.2. Which is greater: i or -7/2?
i
Suppose 3*z + 4*w = -74, 0 = 2*z - 4*w + 90 - 14. Let n be z/(-40) + 1948/(-2640). Which is smaller: n or 0?
0
Let w be (836/132 + -6)*-48. Let j = 75595/11 + -6887. Which is bigger: w or j?
j
Let d = -726719 - -372806503/513. Let c = d - -2/513. Let j = -58/3 - -19. Which is bigger: c or j?
j
Let w = 48878861462/71279 - 685740. Which is bigger: -1 or w?
w
Let f = -9256563878858/5397 - -1715131340. Let g = -1/3598 + f. Which is greater: -6 or g?
-6
Let p(g) = -310*g - 1222. Let t be p(-4). Which is bigger: t or 12?
t
Let s(f) = 2*f**2 + 23*f + 5. Let y be s(-12). Let g be 3 + 0 + (-42)/(-3). Is y bigger than g?
False
Let b = -3 - -8. Let k = b + 2. Let o be 526/70 + 8/28 + -2. Which is smaller: k or o?
o
Let s be (1*11485/(-187290))/(-6). Let g = -2/2081 + s. Let c be ((4 + -4)/(-5))/3. Which is smaller: c or g?
c
Let l = -58551/4 + 14640. Which is smaller: l or -0.087?
-0.087
Let b be (10 + 4832/(-18))/(2/(-18)). Does b = 2326?
True
Let d = -11971.05 + 11976. Which is smaller: -1/3 or d?
-1/3
Let w = -86/1783 + -132263/30311. Suppose 0 = -4*a + j - 22, -4*j = 4*a - 3*j + 18. Which is greater: a or w?
w
Suppose -95 = -158*d + 63. Is d at most as big as -5/897?
False
Let h be ((-1422)/1235)/6 - 6/(-30). Let r(w) = 3*w + 5. Let s be r(-2). Are h and s nonequal?
True
Let g = -164 + 119.5. Let n = g - -54. Let h = n - 11.2. Are h and 0 nonequal?
True
Suppose 2*p - 140 = 3*p. Suppose -19*o - 1985 = 675. Is p bigger than o?
False
Let j = 64.718 + -65. Let p = -0.345 + 0.245. Is j at least p?
False
Suppose 3482*p = 3478*p + 4. Is p less than or equal to 5/42?
False
Let c be (-144 + ((-4)/(-6) - (-10)/(-24)))*-4. Which is bigger: c or 1151/2?
1151/2
Let x be ((-2)/27)/(167/7014). Let o = -73 - -366/5. Is x at least as big as o?
False
Suppose 175 = -2*d + 5*v, -5*v + 149 = -d + 84. Which is greater: d or -207?
d
Suppose -4*u = -3*b + 713, -4*b = u - 4*u - 939. Let n(q) = 20*q + 770. Let v be n(-27). Which is bigger: v or b?
b
Let o(x) = x + 1. Let l(k) = 8*k**3 - 2*k**2 + 4*k + 5. Let s(v) = -l(v) + 3*o(v). Let z be s(2). Let m be (-4)/10 - 124/z. Do m and -0.1 have different values?
True
Let o(c) = -178*c - 4807. Let y be o(-27). Which is greater: y or -327?
y
Let l be (-41)/((-574)/(-13176)) - (-2)/14. Which is smaller: -943 or l?
-943
Let g = 3590 - 3597. Is g at least as big as -1.53?
False
Let c = -209288 - -1612564038/7705. Is c < 1?
True
Suppose 410*k = 375*k - 30205. Which is greater: k or -7?
-7
Suppose -1 = -3*x - b, 0 = 2*b + b - 3. Suppose x = 15*z - 6*z. Let c be ((-12)/20 - z)/3. Which is greater: c or -3?
c
Let b = 370 - 361.85. Let n = b - 6.15. Which is smaller: 91 or n?
n
Suppose -4 = 4*l - 0. Let z = 73287/3055 + -1134/47. Which is bigger: l or z?
z
Let y = 952.88 + 11.12. Let s = 950 - y. Is 2/15 at most s?
False
Let a be -5 - 1 - 4/(-3)*(-73935)/(-16554). Which is smaller: -0.5 or a?
-0.5
Suppose 2*b = -5*q + 24854, 2*q - 471854 = -36*b - 2*b. Which is smaller: 12416 or b?
12416
Let f(k) = -173*k + 2518. Let j be f(39). Is -8457/2 less than or equal to j?
False
Let r = -4543 - -4503. Which is greater: r or -21?
-21
Suppose 3*y - m - 170 = 0, -3*y + y - 4*m = -90. Let x = -29 + y. Suppose 5*c - x + 6 = 0. Which is greater: c or 16/3?
16/3
Suppose -78*c + 8*c = -14*c + 16128. Which is greater: -350 or c?
c
Let r be 26/(-39) - 42/(-9) - 564. Let b = -457 - r. Which is smaller: 104 or b?
b
Suppose -2*u + 4 = -2*c - 0, -2*u + 24 = 3*c. Let w be (-2)/(-4) + -6 + 39/u. Let b be w/(8/204)