= 8*z - 49*z. Is 241 at most z?
False
Let h = 171 + -162. Suppose 59 - 14 = h*n. Let u = 0.25 - 0.2. Which is bigger: u or n?
n
Let h(o) = o + 9. Let s = 68 + -74. Let n be h(s). Suppose -11 = n*g + 1. Is 1 <= g?
False
Let g = 1.842 - 3.042. Is g greater than or equal to -98?
True
Let b = 830 + 20. Let o = 949 - b. Let y = -2 + 3. Which is smaller: y or o?
y
Let u = 0.26489 + -1.26489. Which is bigger: u or 15763?
15763
Let g be 8/12*-3 - -2. Suppose 4*z + 3*t - 736 = g, 3*z - z = 4*t + 390. Is 188 smaller than z?
False
Suppose -5*y + 4*y = 4*h - 6864, -4*h - 20640 = -3*y. Which is smaller: 6877 or y?
y
Suppose 16310*g + 104148 = 16298*g. Is -8679 less than or equal to g?
True
Suppose -2*u - 38 = -5*t, 13*u = -4*t + 17*u + 40. Suppose h + 7 = -2*j, -4*h + j - 7 = -t. Which is greater: h or -8/33?
-8/33
Let c = -112 - -119. Let a be 6/(496 + 2)*c. Which is greater: 1 or a?
1
Let l = 29493 - 30302. Is -3239/4 not equal to l?
True
Let b = 1 - 3. Let d = 23417/40 + -4681/8. Are d and b unequal?
True
Let x = 13770.7 + -14364. Let q = x - -593. Is q smaller than 60?
True
Suppose 7*j - 28*j + 91175 = -56*j. Is j greater than or equal to -2602?
False
Let v = 12028 + -11829. Do 994/5 and v have different values?
True
Let x be (6/(-28))/(28/(-294))*(-18600)/(-45). Is 931 less than or equal to x?
False
Let z = 10 - 19. Let x = 9 + z. Let k = -160 + 161. Which is smaller: k or x?
x
Let r = 402 - 406. Let z be 1/2 - 570/(-12). Let g be z/(-12)*7/(-2). Which is greater: r or g?
g
Let t be ((-180)/54)/(5*(-5)/13590). Is 1814 at most as big as t?
False
Let s = -6990236/401 - -17432. Let f = -744/86215 + s. Do 0 and f have different values?
True
Let p = 499 - -555. Suppose 0 = -p*w + 1058*w + 1148. Is w bigger than -285?
False
Let b(f) = -f + 6. Let o(z) = 2*z - 19. Let i(k) = -21*b(k) - 6*o(k). Let u be i(10). Let q be ((-82)/u + 1)/((-1)/36). Is q != 1?
True
Suppose 51*h - 21*h - 22*h - 312 = 0. Suppose -z - u + 23 = -15, -217 = -5*z + 4*u. Which is bigger: h or z?
z
Let h be (-1301)/37*5/(-70). Let j = 15/74 + h. Suppose 20*z + 3*r = 17*z - 6, -5*z + 5*r + 30 = 0. Which is bigger: z or j?
j
Suppose 72*g + 2619 = -25*g. Is -1177/43 less than g?
True
Suppose w + 4*m = -18, 5*w + 2*m + 14 = m. Let u be (76/16 - w)*-4. Let c = u - -20. Are c and -2 unequal?
True
Suppose -464*n + 7429 = -51035. Let v be (254/8)/(5/20). Is n greater than v?
False
Let w(y) = y**3 + 11*y**2 + 7*y - 20. Let r be w(-10). Suppose -12 = 12*x - r*x. Let l be 96/(-64)*16/x. Is 11 > l?
True
Let y = -75 + -429. Let r be (y/(-20))/((-1)/(-5)). Let v be ((-6)/7)/(234/r). Which is greater: -1 or v?
v
Suppose -62*q = -61*q. Let z = 27 + -26. Let d be (-1159)/(-76) + (-1)/4*z. Which is smaller: d or q?
q
Suppose -39*i - x = -34*i + 90, x - 18 = i. Suppose -35 = 2*n + y, -5*y = -2*n - 0*y - 53. Do n and i have different values?
True
Let m = -63 + 67. Let q(p) = 2*p**2 - 10*p + 7. Let l be q(m). Is l smaller than 1/225?
True
Let t be 12/30 - (-18)/5 - 2. Let u be 356*15/(-605) + t. Let n = 75/11 + u. Is n smaller than -1?
False
Let w = -3282 - -3696. Which is bigger: w or -2/17?
w
Let o = 1835072/17195475 + -117/1097. Is o equal to -1?
False
Suppose 1248 = 557*q - 533*q. Suppose -47 = -l - f, -3*f - 267 = -5*l - 0*f. Do l and q have the same value?
False
Suppose 18*a + 74 = 236. Is 260/27 at most as big as a?
False
Suppose 3*r + 207 - 195 = 2*o, -4*r = 3*o + 16. Let m = 172203/101 + -1705. Is m less than or equal to o?
True
Let s = -1387 - -1557. Let t = 259 - 87. Which is greater: t or s?
t
Let w(u) = -u**3 - 15*u**2 + 29*u + 1. Suppose -2*s - 16*r - 34 = -18*r, 5*s - 3*r + 85 = 0. Let d be w(s). Is d < 171/2?
False
Let h be (-21)/84 + 21/4. Suppose -5*t - 940 = 5*u, h*u - 5*t + 99 + 821 = 0. Is u greater than or equal to -186?
True
Let p = -334.2 + 364. Let b = p - 33. Let t = b + 6.2. Is -2/21 greater than t?
False
Let c(d) = -5*d + 18. Let i(t) = 10*t - 37. Let y(f) = -7*c(f) - 3*i(f). Let q be y(18). Let l be (-3)/((q/305)/(-5)). Is l not equal to 60?
True
Let t(y) be the third derivative of -y**4/4 - 37*y**3/6 + 25*y**2. Let c be t(-17). Let v = 66 - c. Is v at most as big as -3/64?
False
Let z(o) = -19*o + 96. Let q be z(5). Let i be q*-15*1/(-3). Are 55/9 and i non-equal?
True
Let r = -0.168 - -0.336. Let j = 6 + -7. Which is smaller: j or r?
j
Let r = 9061 + -63556/7. Let g = r - -1663/91. Let l be (-4)/(-312)*(-1 - 3). Which is greater: g or l?
l
Let l = 10 + -100. Let b be (9*(-20)/l)/((-2)/32). Is b != -30?
True
Suppose -12965 = 7*b + 2687. Let p be (b/(-12))/13*3. Are 43 and p non-equal?
False
Let u = -3165 + 2795. Is -369 at most u?
False
Let u(d) be the third derivative of d**5/2 - d**4/12 + d**3/6 + 17*d**2. Let l be u(-2). Let x be (-75)/l + (-218)/(-330). Which is smaller: x or 1/4?
x
Let h = 1791.6 - 1791.8. Which is smaller: 10263 or h?
h
Let l be 4 - (7 + (0 - 2)). Let h be (-12)/18 - (-1 - l). Let q = 72.9175 + 0.0825. Which is bigger: h or q?
q
Let v be 31 - 23 - 2*-1. Let j be (12/v)/(2 + (-248)/120). Is -19 not equal to j?
True
Let u = 13.531 + -13.6. Let d = -0.24876 + 0.14876. Is u less than d?
False
Let f = -12.3 - -10.3. Let x = -5.03 - -5. Let l = 0.97 - x. Is f < l?
True
Suppose -5*x - 107 = 2*m, 4*m + 0*x + 3*x + 221 = 0. Let i be 346 - 8/((-64)/m). Is 340 greater than i?
True
Let o(w) = w**3 + 2*w**2 - 12*w + 337. Let p be o(0). Which is smaller: p or 341?
p
Let a = -4 - -3. Let j be 6/8 - (-34)/(-56) - 190/154. Which is bigger: j or a?
a
Let f be ((-2)/3)/(1/12)*(4434 - 4466). Let p be 4120/16 - 2/4. Is p less than f?
False
Let s = -5.526 + 5.236. Which is smaller: s or 9/2?
s
Suppose -6*z + 4*z = 5*k + 53, 3*z - 5*k = -67. Let s = 28360 - 28385. Which is smaller: z or s?
s
Let b = 365 - 363.47. Let s = b - -7.47. Is -0.5 at most as big as s?
True
Suppose 1422 = -65*w - 17688. Is w greater than -18?
False
Let n = -3362 + -2296. Is -5658 > n?
False
Let c(k) = 2*k**2 + 20*k - 22. Let i be c(-11). Let h be 24/(-96)*(i - 0). Which is greater: -1/397 or h?
h
Let g = -94 - -13. Let h = -69 - g. Suppose -h = -s + 2. Is 16 >= s?
True
Let y = 69/35 + -258/35. Does y = 0.016?
False
Let w(u) = -u**2 - 11*u - 21. Let z be w(-14). Let h be (-3 - (-4)/2)*z. Suppose 58 = 5*m + h. Which is smaller: m or 0.4?
m
Suppose -3*s + 23 = 95. Let o be (s/52)/((-21)/(-14)). Let g = 0.4 - 0.2. Do g and o have the same value?
False
Suppose 4*u - 6 = -2*l, -36*u - 7 = -3*l - 40*u. Is l at least 1/3955?
True
Let y = 88167/7 - 12616. Suppose -6*w - 220 = 4*w. Are w and y unequal?
True
Let n(a) = a**3 + 19*a**2 - 35*a - 10. Let j be n(-20). Suppose 2*u + t = -2*t - j, 0 = -2*u - 5*t - 298. Is u smaller than -139?
False
Let f(z) = -z**2 + 38*z - 214. Let g be f(27). Suppose -5*y + 61 = -4*v, -2*y = v + 69 - g. Is 6 less than or equal to y?
True
Let n be (724017/6440)/(6/50). Are n and 938 equal?
False
Let p be 12/15 + ((-1478)/10 - -3). Which is bigger: -142 or p?
-142
Let j = -19400 + 19401. Which is smaller: 4/17713 or j?
4/17713
Let v = -152606449632319/767 - -198965342059. Let b = -42077 - v. Let d = 4/59 + b. Is d smaller than 1?
True
Let a = -375 - -26623/71. Let w be 6*4/6 + -3. Which is smaller: a or w?
a
Suppose x = r - 3588, 50*x - 48*x + 10760 = 3*r. Which is bigger: r or 3583?
r
Let d be (6 - 4) + (-21)/(-18) + -2. Suppose -2*c = -2*f + 18, -3*f - 4*c - 20 + 61 = 0. Let v = -9 + f. Which is smaller: d or v?
d
Let t be (-2 - (-3)/2)*-168. Let m be ((-28)/t)/(127/(-2)). Which is bigger: m or 0?
m
Let b = -12.62 + 11.62. Let n = -0.2 - -0.3. Which is smaller: n or b?
b
Let b be (-2)/4*89294/123. Let c = b + 363. Suppose 2 = -80*z - 5 + 7. Which is smaller: z or c?
z
Let g = 29 - 19. Suppose 120 = -r + 9*r. Suppose -r*q = -g*q + 120. Which is smaller: -23 or q?
q
Let h(z) = 14*z - 597. Let u be h(42). Which is greater: -137 or u?
u
Let v = -64175/4 - -449217/28. Let q = 1594 - 23932/15. Does q = v?
False
Let y be 1*7 - (2106/(-240) - -1)*-12. Which is bigger: -86 or y?
-86
Let r be (-507 - 3)*327/22345. Which is bigger: -7 or r?
-7
Let y = -63.945 + -0.055. Let x = y - -108. Let b = x + -46. Is b greater than -0.2?
False
Let q be 24/27*(-3)/(-4). Let x = -670 + 467. Let d = -187 - x. Is d < q?
False
Let c be (1/(-255))/(35/42085). Let j = 2/1785 + c. Let h(x) = 3*x. Let g be h(-2). 