e ((-30)/9)/(6/(-342)). Suppose g = q - 136. Let t be 10/((-200)/15)*(-80)/g. Which is bigger: t or 2?
2
Let q = 59 - 55. Suppose j = -q*t + 276, -5*t + 2*t + 4*j + 226 = 0. Let n = -80 + t. Are n and 0 non-equal?
True
Let k = 17921/4 - 197135/44. Let b = -4 - -4.02. Which is bigger: k or b?
b
Let n(s) = -s**3 - 5*s**2 + 23*s + 2. Let k be n(3). Is -37/20 bigger than k?
False
Let l = -10119 + 10078. Which is smaller: -17 or l?
l
Let m be 10*(4 + -2) - 3. Let y(l) = 2*l + 33. Let x be y(m). Let f be 1401/21 - (-4)/14. Is x <= f?
True
Let b(p) = -13*p + 37. Let u be b(-6). Let y(t) = -t**2 + t + 1. Let s be y(9). Let o = u + s. Is 44 greater than or equal to o?
True
Let q be 1/((-2)/18*-3). Let h(x) = -x**3 - 13*x**2 - 4*x - 48. Let w be h(-13). Let k be (-180)/6*w/(-54). Are q and k equal?
False
Suppose 2*q + 339 = a, 0 = 5*q - 3*a + 8*a + 795. Is -131 at least q?
True
Let j(q) = q**3 + 6*q**2 + 5*q. Let w be j(-5). Let k = 38 - -40. Let s be 40/k*(-126)/(-105). Is s greater than or equal to w?
True
Let q = -6.382 - -6.482. Is 13091 not equal to q?
True
Let w = -1184126/59 - -20070. Which is greater: 2.2 or w?
2.2
Suppose -19 + 40 = 3*q. Let b = 0.077 + -3.077. Is b at most as big as q?
True
Let u = -195/17 + 28801/2499. Is 1 at least as big as u?
True
Suppose -4*m - 109 + 157 = 0. Suppose 0 = m*y - 10*y + 4. Which is bigger: -85 or y?
y
Let n be ((-320)/(-32))/5*143/2. Which is bigger: n or -1?
n
Let u(x) = -253*x + 2018. Let a be u(-40). Which is greater: a or 12139?
12139
Let l(u) = u**3 - 6*u**2 + 8*u - 27. Let q = -278 - -282. Let o be l(q). Which is smaller: 0.04 or o?
o
Let c = 2678/171 - 140/9. Let v = -189 - -213. Let m be (-20)/v*(-15)/25. Do c and m have different values?
True
Let h(s) = 6*s - 16. Let y be h(3). Is y at most -2.3?
False
Let x be ((-819)/30)/7 - -4. Let l be (12/(-5))/((-24)/(-16)). Let p = 6/5 + l. Is p at least x?
False
Let q = 18007/123194 - 2/1987. Let p(h) = -937*h - 12181. Let d be p(-13). Which is greater: q or d?
q
Let l be (88/(-10))/((-9536)/320). Which is bigger: 1 or l?
1
Let t(b) = -27*b**2 - 2*b - 2. Let n be t(-1). Let f be 6/(-8)*9/n. Which is greater: -126 or f?
f
Suppose 185 = 28*c + 73. Let a be (-17)/(2023/532) + c. Which is bigger: 0 or a?
0
Let h = -21830 - -21829. Is 17 not equal to h?
True
Let b = -6 + 2. Let h = 7 - b. Let c = -1267.2 + 1267. Which is smaller: c or h?
c
Let b = -3.26 + 209.26. Let u = -206 + b. Let m be 4/(-30) - 4/(-10). Is m equal to u?
False
Suppose 0 = 287*w - 219*w + 142392. Is -2093 at most w?
False
Suppose 3*l - 76 = 107. Let y be (-1 - -297 - 1)*((-17760)/(-300) + -59). Which is bigger: y or l?
l
Let m = 916 - 918. Which is bigger: m or 1/245?
1/245
Let k(h) = 39*h**2 + 19*h - 4030. Let b be k(0). Which is smaller: b or -4027?
b
Let b be -17 + 0 - (-2 + 14)*(-25)/50. Do b and -32 have different values?
True
Suppose -21*d + 228*d = -1294785. Is d at least -6254?
False
Let s = -5756 + 4677. Are -0.1 and s equal?
False
Let b(z) = 6*z + 1. Let f(j) = j**3 + 5 - 7*j + 7*j**2 - 4*j**2 + 10*j**2 - 3*j**3. Let n be f(6). Let c be b(n). Is -4 <= c?
False
Let r = 1.69488 + 0.02512. Is r at most -5/6?
False
Let x = -15931.33 - -15931. Which is smaller: x or 36?
x
Let u be (-2)/(-2)*(-14 - -11). Let a be 1/u + (-49)/(-3). Let x be (101 + -14)*(-3)/(-18). Do x and a have the same value?
False
Let x(j) = -j**3 + 21*j**2 - 5*j + 3 + 21*j - 4. Let p(l) = 3*l**3 - 43*l**2 - 31*l + 3. Let r(t) = -2*p(t) - 5*x(t). Let b be r(-18). Is b at least 3/14?
False
Let u(s) = -s**3 - 44*s**2 - 44*s + 82. Let r be ((-48)/12 - -2)/(2/43). Let q be u(r). Is q less than 125?
False
Let j = 26.57 + -27. Let s = j + 0.13. Let i = 1354 - 1354.9. Is s <= i?
False
Let d = -21716 - -22812. Which is smaller: d or 3?
3
Let f be (-9)/3 + 25/10. Suppose q - 2*m + 5*m = -76, -325 = 4*q + 5*m. Let t = q - -250/3. Is f at least as big as t?
True
Let b(k) = -k**2 + 5*k - 1 + 4 + 7*k. Suppose 3*s = 5*w - 52, -86*s + 1 = -85*s. Let z be b(w). Is z less than or equal to 14?
True
Suppose 4*c = 3*x + 311, c - 173 = -c + 5*x. Let v be c/45 + (-516)/430. Is v <= 19?
True
Let y(h) = -19*h**2 - h. Let l be y(1). Let u(v) = v**3 + 21*v**2 - 18*v + 68. Let c = 389 - 411. Let z be u(c). Do z and l have different values?
False
Let o = -9486/253 + 900/23. Let n(v) = 2 - v**2 - 7*v - 2 - 5. Let i be n(-6). Which is smaller: i or o?
i
Suppose 3*s = -2*b + 591, 2*b + 14*s - 12*s - 590 = 0. Let d = b - 293. Which is bigger: d or 22/23?
d
Let r be 0 + -6 + (-4)/9 + (-1809)/(-243). Let u(n) = -6*n - 2. Let h be u(-2). Let d be (-1)/h + 0 + 0. Is r > d?
True
Let f be (5 + -2 + -6)*-1. Suppose -5*i = u - 1695, -u + 3355 = u + f*i. Let l = 21680/13 - u. Which is smaller: -1 or l?
l
Let l = -26677/48 + -57/16. Let n = l + 553. Which is smaller: 5 or n?
n
Let p = -7867.4 - -7867. Let j = -17.3 - 5.7. Is p bigger than j?
True
Suppose 6*u + 4*t = 8*u + 266, -2*u - 3*t = 266. Which is smaller: u or -101?
u
Let w be -10 + 5/(20/24). Let l be ((-9)/6)/(w/8) + 14. Let s = 39 - 23. Is l at most s?
False
Let u = 108 - 109.39. Let l = -18.61 + u. Is -1 >= l?
True
Let t be (-2947)/(-49) + (-19)/133. Do -0.3 and t have different values?
True
Let k = 127 - 134. Let v be 0 - (k + 31)/(-6). Do v and 0 have different values?
True
Let o = 372.2721 + -0.2721. Which is smaller: 11 or o?
11
Let o = 0.081 + 0.019. Let s = -1 - 25. Let m = s + 16. Which is bigger: m or o?
o
Let r = 524 + -525.813. Let m = 0.187 - r. Suppose 5*t = o + 1 + 13, 7 = 3*t - 2*o. Is m equal to t?
False
Let o be 4/(4/2) - (-195)/(-85). Let y be (-17)/11 - (-24)/44. Do y and o have different values?
True
Let o = 107 - 103. Suppose 4*g = -19 + 3, -2*g + o = q. Is 86/7 != q?
True
Let c be (-2)/1 + 18700/(-9325) - -4. Is c smaller than 0?
True
Let p be (730/438)/((-15)/9). Which is smaller: p or 1/24368?
p
Let z = -38873 - -38874. Is 3253 less than z?
False
Suppose -44*b + 35*b = 155745. Let a = -155563/9 - b. Which is smaller: a or -0.1?
-0.1
Let a(g) = g**3 - 6*g**2 + g - 137. Let k be a(8). Which is greater: -4620 or k?
k
Suppose -5*y = 3*g + 6, 0*y - 10 = 5*g - y. Let s(i) = -i**3 - 3*i**2 - i + 1. Let c be s(-2). Let o be (c + 1)/(-2*1/g). Is o at most as big as 18/13?
True
Suppose 0 = h - 5*w - 24, 6*h - 3*w - 32 = h. Suppose 3*c + 0 = -2*m - 7, -5*c = -h*m - 47. Let l = -7500 - -7493. Which is smaller: m or l?
m
Let h = -168.632 - 0.368. Let k = -102 - h. Let q = k + -57. Which is bigger: -1/3 or q?
q
Suppose 3*d + 83 = 4*d. Suppose -92*f = -d*f - 1368. Which is smaller: f or 0.1?
0.1
Let z = 1025 - 1021. Let r be 2/z + 3 + (-102)/12. Which is greater: -27/7 or r?
-27/7
Suppose -58*o - 3563 + 18082 = -5201. Which is smaller: o or 334?
334
Let z = -602.8906 + -0.1094. Let q = z - -612. Is q greater than or equal to -1.8?
True
Let t = -228 + 233. Suppose 113 = -t*h - 132. Which is smaller: h or -47?
h
Let z be ((-2249)/(-91) + -25)*(-14)/(-90). Is -1 >= z?
False
Let y(a) = -95*a + 1659. Let q be y(27). Is -910 smaller than q?
True
Let i be (-75)/(16800/(-128))*(-1 + 10/(-4)). Which is smaller: i or -124/81?
i
Let f(w) = -w**2 - 1410*w + 5656. Let o be f(4). Let n be (-3)/((-126)/39) - 1. Is n bigger than o?
False
Suppose 0 = 14*r - 172 + 18. Let u be (-7 - (-190)/50)/(r/(-5)). Which is greater: 2 or u?
2
Suppose k = -5*n - 3 + 1, 0 = n + 5*k + 10. Suppose n = 7*x - 8*x + 76. Let q be x/(-20) - -3 - (-2)/2. Are q and -3/7 equal?
False
Let p = -162.3 + 126. Let t = p + 29.1. Which is smaller: t or 1/4?
t
Let v = -6 - -6.077. Let m = 4.947 + -5.147. Is m <= v?
True
Suppose -1 = 4*b + 3*w, 0*b - 3*b + 5*w = 37. Let x be ((-48)/(-32))/((302/b)/(-1)). Which is smaller: 1 or x?
x
Let d be 56/(-546)*(-18)/8. Which is smaller: -11 or d?
-11
Let a = 2.77 + -2.37. Which is greater: 0.025 or a?
a
Let t = 0.19 - 0.11. Let y = t - -1.42. Let h = -1.4 + y. Which is bigger: h or -1.5?
h
Let t = -259661/63 + 4121. Let v = -8/9 - t. Is -2/137 < v?
False
Let k be 0 + (-135 + 3)*1. Let c = -129 - k. Suppose 13*b - 410 = c*b. Which is smaller: b or 43?
b
Suppose -2 = 4*x - 3*x. Let t be 18240/4320 - 7/1. Are t and x non-equal?
True
Let g = 22950 - 24670. Which is greater: -1722 or g?
g
Let s(i) = -2*i**3 - 46*i**2 + 4*i + 29. Let m be ((-230)/(-15))/((-24)/36). Let p be s(m). Which is bigger: -61 or