ue
Let r = 366.79 - -7.21. Let a = r + -376. Is a smaller than -0.032?
True
Let r = -1938.36 + 1938.46. Let g be ((-2)/22)/((-1)/(-21)). Which is smaller: r or g?
g
Let f(h) = 2*h**2 - 7*h - 26. Let r be -7*((-12)/(-98))/((-1)/7). Let n be f(r). Which is smaller: 11 or n?
n
Suppose 2*b + 151 = n, 5*b = -n + 36 - 403. Suppose 0 = 10*w + 643 + 87. Is b less than or equal to w?
True
Let u = 8.025 + -7.025. Is 3307 less than u?
False
Suppose 35 = -2*g + 3*z, -10 = 334*g - 333*g - z. Let d = 15767/4260 - 1/852. Does d = g?
False
Let g = -4/2063965 - 1789440743/8726444020. Let t be -6*((-700)/(-1057) + (-6)/45*5). Let q = t + g. Is 0 >= q?
True
Let s(h) = -5*h - 60. Let q be s(-12). Suppose q = -d - 0*d - 4. Suppose -2*r = 2*a + 14, r + 3*a = -0 - 15. Which is smaller: r or d?
d
Let l = -12325 + 11741. Which is greater: l or -2916/5?
-2916/5
Let w be (7*10/175)/((-1)/(-60)). Suppose 19*a = w*a + 185. Let f = a + 25. Is f > -12?
False
Let y = 2 + -1. Let l = -5.9 - -180.9. Let r = -199 + l. Which is smaller: r or y?
r
Let q = -1254879/782782 + 258/161. Is q != 0.1?
True
Suppose -w + 0*w + 3*s - 61 = 0, 4*w + 217 = 3*s. Let d be 8/(-26)*338/w. Which is smaller: 14/9 or d?
14/9
Let x(c) = 4*c + 8. Let b be x(-6). Let a(q) = q**3 - 12*q**2 - 4*q + 23. Let h be a(13). Let n be (-7)/(h/352) - 6/(-10). Are n and b nonequal?
True
Let b = 58.33 - -75.67. Which is bigger: b or -4/3?
b
Suppose -4*h + 8 = 3*v - 1, 12 = -5*h + 4*v. Suppose 4*f - 2*j = 436, -4*f + j - 3*j + 436 = h. Which is smaller: 110 or f?
f
Suppose 4*b - 8*b = 4*s - 316, -s + 155 = 2*b. Suppose -b*h = -79*h - 3. Is h not equal to 7?
True
Let s(f) = 7*f - 4. Let j be s(-4). Let w = 45 + j. Let m be (0 + w)/((-3)/3). Which is bigger: -12 or m?
-12
Let m(k) = k**2 - 2*k + 4. Let n(g) = g**2 - 3*g + 5. Let u(v) = 2*m(v) - 3*n(v). Let l be u(2). Let j be (l - 1) + (-6 - -11). Is j < 2?
False
Suppose -4*m = 1106 - 1102, -5*d = -2*m - 13887. Is d >= 2777?
True
Let d be 563 + (-2)/(-8) + 52/(-16). Which is smaller: d or 2794/5?
2794/5
Let v be 2 + 216/(-110) - 0. Suppose -5*j + 5 = -4*j, 4*g - 4*j = -36. Let n be (-188)/47 - 2*(2 + g). Which is smaller: v or n?
n
Suppose -5424*c + 5390*c + 332418 = 0. Is 9778 not equal to c?
True
Let w = 4.1048 + -0.1088. Let s = w + 0.004. Which is bigger: 11 or s?
11
Let u be ((-1)/((-234)/(-16)))/(91/(-2429)). Let d = u + -8/169. Is 2 at least d?
True
Let q(w) = -1328*w + 25245. Let o be q(19). Suppose 2*l - 4 - 4 = 0. Is o less than l?
False
Let d = -223026673/4541 - -49114. Let f = 136253/104443 - d. Which is greater: f or 2?
2
Let z(s) = -s**3 + 7*s**2 + 2*s - 14. Let v be z(7). Suppose 5*p + 1753 = -4*f, v = -4*f + 4*p - 837 - 907. Is -438 equal to f?
False
Let f = 55 + -54.388. Let o = -28.612 + f. Which is smaller: o or -2/3?
o
Let r = -2680/3 + 938. Is r at least as big as 1/3?
True
Let n be (-4)/(10/(-15)*-3). Let c be (9/2 - 5)*(n - -32). Is c smaller than -150/11?
True
Let b = 5 + 0. Let t(o) = 2*o + 6. Let y be t(b). Let q = 859979 + -859962. Which is smaller: y or q?
y
Let x = 7.06 + -7. Let z = -146 - -146.113. Let v = z - 0.013. Is v equal to x?
False
Let z = 279 + -283. Which is greater: z or -0.2?
-0.2
Let q be 3 - (-396)/39 - 4/26. Suppose 4*i = q - 9. Which is smaller: 2/259 or i?
2/259
Let j(u) = -30*u + 20. Let o be j(-7). Let w be ((-4)/(-12))/(o/540). Which is bigger: -0.2 or w?
w
Let h = 18 + -5. Let l = -8.2 - -9.4. Which is bigger: l or h?
h
Suppose 0 = 4*o - 17*p + 16*p + 29515, -2*o - 14785 = 5*p. Is -14759/2 < o?
False
Let j = 277.25 - 323. Let k = j + 0.75. Which is smaller: k or 1/2?
k
Let r = -169 + 238. Let d be r/12 + 4/16. Suppose d*q = 2*q. Which is smaller: q or -3?
-3
Suppose 10*g + 45 = 25*g. Suppose 2*u + 1340 = -g*u. Which is smaller: u or -269?
-269
Suppose -827*y + 838*y + 974 = -82. Is y at least -96?
True
Let r = -27 + 26.993. Let o = -1.993 + r. Let i = -12 + 3. Which is greater: i or o?
o
Let j(c) = -94*c - 35. Let f be j(-1). Is f not equal to 1024/17?
True
Let c = -0.04 - 0.06. Suppose -5*x = -3*k - 1020, -62 - 188 = -x - 4*k. Which is smaller: c or x?
c
Let h(b) = b**3 - 25*b**2 + 166*b - 131. Let o be h(13). Which is smaller: 2/22095 or o?
o
Let f = 10.1 + -311.1. Are f and 1/12 non-equal?
True
Suppose 16*v - 178 = -18. Suppose -4*o = 2 - v. Suppose 2*x + 2*l = -o, -5 = -x - 2*x + l. Is 0.06 at least x?
False
Let r = 3460 - 3894. Do r and -434 have the same value?
True
Let g(a) = a**2 - 16*a - 11. Let n be g(20). Let o be 10 + (1208/24 - -8). Do n and o have the same value?
False
Suppose -22*h + 960 = -15*h + 17*h. Are h and 64 equal?
False
Let f = -7301 + 489173/67. Which is smaller: -1 or f?
-1
Let f be (171/(-15)*4)/(2/15). Let s be 1 + f/42 - 0. Do -6 and s have the same value?
False
Let f = -652727/214400 - -389/128. Which is greater: f or -1?
f
Let k be ((-155848)/(-1386))/((-4)/(-18)). Is 508 greater than k?
True
Let k(o) = 2*o**2 + 4*o - 12. Let q be k(-5). Suppose -25*u + 7 = -q*u. Is 88 < u?
False
Let l = 18565 + -19796. Which is greater: -1232 or l?
l
Let s = -1803 + 1801. Let a = 2627/35 - 75. Is a greater than s?
True
Suppose 5*c + b + 1009 = -719, -4*c - 4*b = 1376. Which is smaller: c or -1034/3?
c
Suppose -5*i - 19 = 3*b, 0 = -b + 2*b - 2*i - 12. Suppose -848 = 18*u - b*u. Which is greater: u or -52?
-52
Let v(z) = -z**3 + 60*z**2 + 59*z + 122. Let l be v(61). Are 327 and l nonequal?
True
Let k(q) = -q**2 - q + 7. Suppose 0 = -x + 3*x + 6. Let p be k(x). Which is greater: -1/75 or p?
p
Let h = 8.79 - 9. Which is bigger: h or -2/115?
-2/115
Let y = -166 + 172. Let m be -49*(-2)/y + (-80)/(-120). Which is smaller: m or -3?
-3
Let k(o) be the second derivative of -o**5/20 + o**4 - 5*o**3/3 - 13*o**2/2 + 2*o - 19. Let l be k(11). Suppose 0 = -4*x + 9*x + 10. Is x not equal to l?
False
Let c = -0.3235 + 0.2635. Is c at most 76?
True
Let h(w) = -53*w - 6. Let k be h(4). Let b = 75196 + -674800/9. Let x = k + b. Is 0.7 less than or equal to x?
False
Suppose v = -4*i + 11, -2*v + 6*i = 2*i + 38. Let h be ((-288)/(-18))/((-3)/v*11). Which is smaller: h or 3?
3
Let d = 5.859 + -5.559. Which is smaller: d or 37?
d
Suppose 5*r - 2*i = 21, 0 = -5*r + i + 23. Suppose -g - w = -13, r*g = -3*w + 6*w + 57. Let k be (-175)/(-10) - 4 - 2. Is k not equal to g?
True
Suppose -68*o = -76*o + 72. Suppose -30 = -2*k + 3*q, 2*k = k - q + 5. Let w be (-4)/(-18) - (-88)/k. Is w less than o?
False
Let s = -167969/81 + 13060000/6237. Let c = s + -225/11. Is 2/7 equal to c?
False
Let m(u) be the third derivative of -u**5/60 - u**4/4 - u**3/2 + 31*u**2. Let v be m(-5). Suppose -b - v*b - 49 = q, -4*b = -4*q - 164. Is q at most -44?
False
Let q(n) = -3*n - 35. Let h be q(-17). Let f be -14*-2*12/h. Suppose -3*c = y - 30, 0 = -c + 4*c - 2*y - f. Is c at least 9?
True
Let n = -4534 - -4616. Let j be 4/(-5)*(-410)/4. Does j = n?
True
Let o = -2316/1463 - 565/133. Let u = o + 44/7. Which is greater: u or 1?
1
Let m = -10154.8928 - -2.8928. Which is smaller: m or -0.1?
m
Suppose -2*m + 3*q + 2 = 0, 0 = -2*m + m - q + 1. Which is greater: m or -66/257?
m
Let t = 46277 - 68669. Is -22391 greater than t?
True
Suppose -1121*g = -1135*g + 14. Let w = 0 - 4. Let q = w - -4. Is g at most q?
False
Let p be 2*(-4)/3*(-81)/(-18). Let w be 21/p - (-9)/12. Which is smaller: w or -2/263?
w
Let s be 11531*(-4)/(-57)*42/28. Let v = 1210 - s. Which is smaller: -5 or v?
-5
Let p be (1/1*-2)/(-21). Let r be (-37)/(-13) + (-28)/(-182). Let j be (-1)/2*(-4 - (-1 - r)). Is j > p?
False
Suppose 4*p + 8*p + 3185 + 5275 = 0. Which is greater: p or -708?
p
Let j = -25.72 + 24.34. Which is greater: -6 or j?
j
Let i be ((72/5)/(-6))/((-2416)/(-480)). Which is smaller: 1 or i?
i
Suppose -b = -2*t - 14671, 0 = -3*t - 4*b - 4*b - 21959. Is t smaller than -7333?
False
Let g be (7 - 9) + 7 + -5. Let q(b) = 2*b**3 - b**2 - 4*b - 115. Let p be q(g). Which is greater: -117 or p?
p
Let s = 18.078 - 0.078. Let b = -91.1 - -87. Let f = b - -4. Which is smaller: f or s?
f
Suppose 3*o + 5*c - 106 = 0, -10*o - 4*c = -9*o - 47. Let s be (-2740)/(-120) + (0 - -2*2). Which is greater: o or s?
o
Let s = 528 + -283. Is 244 less than or equal to s?
True
Suppose 0 = 3*m + 5*h + 23, -3*h = -2*m - 38 + 48. Do -4/359 and m have the same value?
False
Let d be 9/(-846)*(-19)/(266/13