or l?
l
Let h = -23/13962 + -2/179. Let a(f) = 10*f - 45. Let w be a(5). Suppose q = -w*q + 4*q. Which is smaller: q or h?
h
Suppose -572061 = 103*n + 447536. Is n greater than or equal to -9900?
True
Suppose 0 = -8*x + 11*x - 21. Suppose -3*s - v = x, 2*s + 2*v = 6*v. Let y be ((-3)/((-45)/160))/(s/6). Is y bigger than -33?
True
Let o(s) = s**3 - 8*s**2 - 4*s + 34. Let z be o(8). Let a(g) = -436 + z*g + 0*g + 429. Let u be a(3). Is -2/39 less than u?
False
Let k = 9757 - 10910. Which is smaller: 3 or k?
k
Suppose -q = -6*q + 45. Let m(u) = u**2 - 10*u + 9. Let x be m(q). Suppose x = 5*j + 4 + 6. Which is bigger: j or -12?
j
Let r(i) = 177*i - 881. Let x be r(5). Suppose 0 = 4*d - 228 - 152. Is d != x?
True
Let j = 553049/20996 + -764/29. Which is greater: 0 or j?
0
Let t = -37.081 + 0.081. Let b = -25 - t. Let n = -7159/4 - -1790. Which is smaller: n or b?
n
Let o be ((-26)/52)/((-2)/488). Let b = 200 - o. Which is smaller: 81 or b?
b
Suppose 0 = 4*w + 2*k + 2*k - 364, 115 = w - 5*k. Let g = -584 + 595. Suppose -6*s - w = -g*s. Do s and -2 have the same value?
False
Let a = 20181 - 20181.6. Which is smaller: -15/28 or a?
a
Let g(o) = -o**3 + 2*o**2 + 23*o + 5. Let v = 201 - 195. Let a be g(v). Which is smaller: -2/185 or a?
a
Let u be 2*(-14)/7 - 19272/11. Do u and -1762 have different values?
True
Let d = 3085 - 3203. Is 0.07 at least d?
True
Let h be (-4)/16 - (171/72)/((-36)/(-3464)). Which is smaller: -230 or h?
-230
Let y = -44 + 40. Let n(m) = -2*m**2 - 15*m - 31. Let t be n(y). Which is smaller: t or -13/8?
t
Let j(x) = -x**2 + 7*x + 20. Let u be j(9). Let r be 0/6 + (2 - -6 - u). Suppose -r*f = -8*f. Which is bigger: -2/55 or f?
f
Suppose 1 = 3*d - d + y, -5 = 4*d - 5*y. Let h = 473 + -371. Let o be (-3)/((-504)/h) - (-3)/(-6). Which is greater: d or o?
o
Suppose 5*k + 2 = 3*y + 12, y = -3*k + 6. Let x = -2103 - -2117. Is y less than x?
True
Suppose r + 2*r = -3*k + 63, 3*k - 3*r = 75. Let i be 0 + 100/(-6)*(-3)/k. Let b = i + -3073/1403. Is b greater than or equal to 0?
False
Let q = 121.07 + -118. Let i = 2.07 - q. Does i = -0.1?
False
Suppose -11*v + 5 = -10*v. Suppose -v*w = -0 - 5. Which is smaller: -12 or w?
-12
Let u be 28/63 + 37520/144. Which is smaller: u or 260?
260
Suppose -q - 2 = p, 2*p - 3*q - 7 = 14. Suppose -7*i + 5*i = -4*z - 12, -z - p = -5*i. Is -7 greater than or equal to z?
False
Let r be -100*((-222)/(-24) + -9). Which is smaller: 50 or r?
r
Suppose -164*b + 14*b + 18*b - 4488 = 0. Is b > 22?
False
Suppose 0 = 3*i - 3*l - 249, -3*l + 75 = 2*i - 71. Let x = i + -63. Suppose q + p + 2*p = x, -q - 24 = -5*p. Is q equal to -5?
False
Let r(x) = -2*x**3 + 53*x**2 + 95*x + 144. Let n be r(32). Are -8079 and n nonequal?
True
Let i be 4*7/(-70) - (-3257)/5. Suppose -p - 30*p = -i. Which is bigger: 22 or p?
22
Let j(p) = -288*p - 3340. Let s be j(-11). Let r = -56 + -116. Does r = s?
True
Suppose 0 = 4*h + 2*u + 96, 2*h - 2*u + 42 = -0*u. Suppose -144 = -0*r + 9*r. Which is smaller: h or r?
h
Let i(d) = d**2 - 5*d + 92. Let m be i(0). Which is smaller: 101 or m?
m
Let b be -1 - (-5 - 4 - 250/(-30)). Is b at least as big as -905?
True
Let n be (62/22)/(0 + 1). Let v = n - 637/187. Let w = -1552.046 - -1552.146. Which is smaller: v or w?
v
Let j = -55 - -59. Let s be 402/(-6)*j/4. Let q = -67 - s. Are q and -2/57 unequal?
True
Let a be ((-4)/444)/((-7)/6). Let k be 2/16 + 77968/(-99456). Let y = a - k. Which is bigger: 2 or y?
2
Let p = -52 - -62. Suppose p*y - 9 = 21. Let u(f) = -f**3 + 6*f**2 - 6*f + 6. Let n be u(5). Which is bigger: n or y?
y
Suppose 4*y - 8*y = -4*l - 220, -185 = -3*y - l. Suppose -30*t + 25*t + 1475 = 0. Suppose c + t = 6*c. Which is bigger: y or c?
y
Suppose -4 + 14 = 2*i. Suppose -3*d - 7 = -0*d + 2*k, -4*d + i*k = -29. Let c be d + (-9)/((-108)/(-8)). Is c at least as big as -0.29?
True
Suppose 4 = -2*x + 4. Let p = 154/13 - 4340/351. Is x greater than p?
True
Let n(t) = t**3 + 12*t**2 + 16*t. Let y be n(-10). Suppose -y*p = -10*p - 120. Which is smaller: p or 8?
p
Let b(r) be the first derivative of 3*r**2/2 + 18*r + 33. Let t be b(-6). Let f be (t/(1 - 5))/2*-1. Which is greater: f or -8?
f
Let j = 905.4 - 905.4. Is j >= -7579?
True
Suppose 5*z - 3 = 12. Suppose -u - 16 = z*u. Let k be u - (3296/(-204))/4. Is k less than or equal to -1?
False
Let a be 2/3 + 1054605/90 + 23. Which is smaller: a or 11742?
a
Let b = -5934/77 + 528/7. Suppose -t + 4*y + 18 = 0, -2*t = -0*t + 4*y + 24. Which is smaller: b or t?
t
Suppose 0 = -3*j - 29 + 80. Let o = 24 + j. Suppose -3*q - 31 = o. Are -24 and q equal?
True
Let s = -269.456 - -270. Let u = s + -0.444. Is u bigger than 92?
False
Let m(r) = 4*r**2 - 46*r - 14. Let c be m(12). Let s be 1290/140 - 1/(-2). Are c and s equal?
False
Let d = 311.95 + -314.1. Which is greater: -1/21 or d?
-1/21
Let s = 15.5 + 48.5. Let h = s + -76. Let g = 24/329 - -10/47. Which is greater: g or h?
g
Suppose -2 = 6*x - 7*x. Suppose -3*j = -x*j + 48. Let n be (-35)/11 - j/16. Is 1 > n?
True
Let n(g) = 3*g + 42. Let z be n(-6). Let p be 3/(z/(-10) - 3/5). Are p and 0.66 unequal?
True
Let k be 80/(-24)*(-12)/5. Suppose 61*n - 53*n + k = 0. Which is smaller: -81 or n?
-81
Suppose 0 = 4*g - 15 - 5, 5*s = 4*g + 20. Suppose -6*v = -7*v - 4*n - s, 10 = 4*v - 5*n. Which is greater: v or -2/59?
v
Let b be ((-2)/(-4))/1*0. Which is bigger: b or 14/265?
14/265
Let r = 0.0246 + -525.0246. Let g = 524 + r. Let y(u) = u**2 + 3*u + 1. Let f be y(3). Which is smaller: g or f?
g
Let w = -3.3 - -3.31. Let t = w - -6.99. Let m = t - 7.7. Which is smaller: 0.2 or m?
m
Let y be (14/(-49)*28)/8. Which is greater: -2/4349 or y?
-2/4349
Let c = -3 + 4. Let x be ((-2)/10)/(10*376/(-80)). Is x at least as big as c?
False
Let v(u) = -3*u**2 - 86*u - 208. Let j be v(-26). Which is smaller: 8/5205 or j?
j
Let y = -114 - -108. Let i be (15/y)/((-8)/(-16)). Which is bigger: i or -52/11?
-52/11
Let j = 3865.06 - 3865. Let g = -1535 + 1551.06. Let n = j - g. Which is greater: n or -2?
-2
Let m = 4077/11 - 371. Let q(k) = 3*k**2 - 39*k - 43. Let o be q(14). Let j be o/(-2)*22/(-44). Which is bigger: j or m?
j
Suppose -7*m + 5*m - 4*r = -84, -4*m = -2*r - 118. Suppose 4*p = 2*s + 44, 6*s - 5*s - 4*p = -m. Is s > -9?
False
Let i = -0.25 - -0.2. Let m = 0.3407 - -2.0593. Which is greater: m or i?
m
Let k be ((-10136)/994 - -10)/((-6)/8). Is k greater than or equal to -1?
True
Suppose -970 = -5*z + 8*x - 6*x, 4*z + 2*x - 776 = 0. Suppose 0 = 4*r + 102 + z. Which is smaller: r or -76?
-76
Let w = 7975379/2234 - 3570. Let j = 131801/11170 - w. Let t be (-9)/2*(-8)/3. Is j less than t?
True
Let a(x) = -11*x + 422. Let i be a(38). Let s = -23212/5 - -649401/140. Let c = s + 60/7. Which is smaller: i or c?
i
Suppose -3*c - 4*a = -12, -2*c + 154*a = 156*a - 6. Which is greater: c or -1/4354?
c
Let o = -178 - -90. Let t = o - -89. Is -0.3 greater than t?
False
Suppose 7*v - 8*v + 70 = -5*k, 2*k = 5*v - 28. Let a(q) = -q**2 - 3*q. Let w be a(k). Is -154 bigger than w?
False
Suppose 5*z = -2*k + 85, 5*k + 34 = 5*z - 3*z. Suppose 4*r - 4 = -5*j, 4*j - 19 - z = 5*r. Suppose -j = -x + 5*t, 0*x + 3*t + 12 = -x. Is x smaller than -8?
False
Suppose -b + 23 = -24*b. Which is greater: 1/947 or b?
1/947
Let t = -41.18 - -40.18. Let w = 1 - -16. Which is smaller: t or w?
t
Let t = -0.6262 - 780.3738. Do 1/4 and t have different values?
True
Let p be (-33)/45 - 61/(-915). Which is smaller: p or 48?
p
Let b = -0.125 - -0.198. Let l = -37.927 - b. Let k = 36 + l. Is k > 0.3?
False
Suppose -5*o + o = 2*c + 4, 0 = -2*c + o + 11. Suppose -c*i + 36 = 5*i. Suppose 49 - 293 = i*j. Do j and -61 have the same value?
True
Let x(w) = 5*w - 14. Let t be x(5). Let a be t + -7 - (797/114 - 3). Let q = 119/570 - a. Which is smaller: 3/14 or q?
q
Let y(n) = 6*n**2 + 9*n + 11. Let v be y(-4). Suppose 3*h = v + 52. Let q = h + -40. Is 2/51 at most q?
True
Suppose 27*n + 32555 - 8255 = 0. Which is smaller: n or -903?
-903
Let f be (-187776)/33 + -5 + 12/66. Let x = -746039/131 - f. Is x smaller than 0?
False
Let z = 21403/10 - 4279/2. Is z at most as big as 46?
True
Let o = 17 - 7. Suppose 5*c - o = 6*c. Let h be (-2)/10 + 8/c. Are h and 6 equal?
False
Let h(l) = -22*l - 7. Suppose -22*b - 408 - 186 = 0. Let a be h(b). Is a bigger than 588?
False
Let p