= 4*t**2 - 9*t + 5. Let r be l(-5). Let a = r - 262. Are -332/3 and a equal?
False
Let l(r) = r**3 - 98*r**2 - 416*r + 1057. Let b be l(102). Is 28 <= b?
True
Let l(r) = -8*r + 4. Let v be 14/(-35) + (-42)/(-5). Suppose -2*u - 4 = -v. Let f be l(u). Is -12 smaller than f?
False
Let o = 3551 - 2410. Let l = 12588/11 - o. Do 4 and l have different values?
True
Let o = 5837 - 4903. Is 937 bigger than o?
True
Let d be (68/(-20) - -3)*-5. Suppose -d*c - 2*c = -20. Let j be -1 - ((-8)/(-5))/(6/(-45)). Which is smaller: c or j?
c
Suppose -j + 3*w - 3341 = -204, 19*j - 2*w = -59273. Is -3119 at most j?
True
Let j = -9937 + 9638. Are j and -298 unequal?
True
Let i be (5684/245)/((-4)/70). Is i smaller than -406?
False
Let q = -466 + 469. Let r be (-170829)/648 - (-1)/(-8)*q. Is -263 at least as big as r?
True
Suppose -5*f - 3*k = 291, 24*f - 71 = 25*f + 7*k. Suppose 4*a - 5 = 11, -236 = 4*m - a. Which is smaller: f or m?
m
Let a = -193 + 190. Let f be -10*15/(-18) + 4/a. Is f >= 74/9?
False
Let h = -40.90686 - -40.93. Which is smaller: h or 1?
h
Let p = 24588 - 24608. Are 34 and p unequal?
True
Let q(b) = -b**3 + 7*b**2 + 7*b + 2. Let i = 77 + -73. Suppose -3*h + 17 = t, -4*h - i = -2*t - 0*t. Let w be q(t). Which is greater: w or 8?
8
Let g = 519 - 477. Let o = -91/2 + g. Which is smaller: o or 11?
o
Suppose 0 = 2*r - 3*m - 60, 0 = 4*r + 5*m - 10 - 88. Suppose r*t = 32*t + 75. Do -23 and t have the same value?
False
Suppose 4*t = 2*d - 3014, 3*t = 5*d - 870 - 1373. Which is smaller: -757 or t?
-757
Let t be (-3)/(27/(-2)) - (-7534)/360. Let f = -83/4 + t. Which is smaller: f or 150/7?
f
Let q(z) = 10*z - 270. Let d be q(28). Let r(u) = u**2 - 10*u + 1. Let y be r(d). Which is smaller: 4.43 or y?
y
Suppose -35*q + 32*q - 3 = 0. Which is smaller: q or 5/1006?
q
Let p be 5280/20 - 3/((-3)/(-8)). Are p and 766/3 unequal?
True
Suppose -132*v - 840 = -135*v. Let y = v + -135. Is 145 greater than y?
False
Let j = -13488 + 13742. Which is smaller: -18 or j?
-18
Let q = 1702407317/5 + -131084628442/385. Let l be (462720/20)/(-12) - -19. Let f = l + q. Which is bigger: f or 0?
f
Let g(k) = 18*k**3 + 3*k**2 - 3*k + 3. Let t be g(2). Let o = -13866 + 14019. Are t and o equal?
True
Let q be -1*-4*(-1)/(-2). Suppose 0 = -3*n - 5*z + 43, -q*n = -n - 5*z - 21. Is n equal to 17?
False
Let f = 37 - 182. Let t = -151.6795 + 6.6515. Let a = t - f. Which is smaller: a or 0.1?
a
Let o be (-1)/4 - 125/(-20). Let t = -9 + o. Let u be (3/3)/(-8) - (-2)/16. Which is smaller: u or t?
t
Suppose -293 + 167 = 21*s. Let b be -8*(-9)/(-48)*s. Let u = -9 - -15. Is u less than b?
True
Suppose 0 = -2*f - 4*p + p - 3, -4*f = -3*p + 51. Let a be 74/9 + (-14)/(-21). Let h = f + a. Which is smaller: h or -1?
-1
Suppose -2*q - 15 = -155. Let m(p) = 21*p**2 + 11*p + 19. Let o be m(-2). Let k = q - o. Is -10 at most k?
False
Suppose 99 = -4*q + 5*d + 518, 0 = -4*q + 3*d + 429. Let j = q + -219/2. Which is smaller: 1.8 or j?
j
Let m = -1 - 0. Let t = 86811/3817748 + -1/86767. Which is bigger: t or m?
t
Let q be (-616720)/(-61600) - (6 + 4). Which is smaller: q or 1?
q
Let a be (-12)/(-3)*(3/(-6))/(-1). Suppose -a*l + 4*l = -4. Let o = l - -1. Which is bigger: o or -3?
o
Suppose 9*s - 147 = -111. Suppose s*z + 3*k = -72, -59*k = -5*z - 54*k - 90. Is z greater than -18?
False
Let x = -1.1 - -1. Let u = -174 + 24. Let g = -149.8 - u. Which is greater: x or g?
g
Let y be 2 - ((0 + -1)/1)/(-1). Let i be y - (161 - (-12)/(-2)). Is -153 <= i?
False
Let x be (0 + -3)/(6/(-8)). Suppose x*k - 3*k = 2. Suppose 5*w - 27 = 3*c + 8, c + 4*w + 6 = 0. Is c greater than k?
False
Let g = -5927 - -6117. Which is bigger: g or 186?
g
Let o(f) = f**3 - 8*f**2 + 3*f - 72. Let a(v) = v**3 + v. Let u(w) = -2*a(w) + o(w). Let j be u(-9). Which is bigger: -4/41 or j?
j
Let j = 976 + -3923/4. Suppose 2*c + 4 = -6*p + 4*p, 2*p = -4*c + 4. Which is smaller: p or j?
p
Let b(g) = 2 - 1 - g + 1. Let l = 9 - 8. Let d be b(l). Which is greater: d or -2?
d
Let r = -27 - -24. Let k be ((-17800)/(-675))/((-34)/r). Let g = k - 32/17. Which is bigger: 0.2 or g?
g
Let f = -4 + 7. Suppose -16*j + 29 + 51 = 0. Suppose -w + 3*w + j*i - 21 = 0, 3*w = 3*i. Do w and f have the same value?
True
Let u be (-18)/9 - (-1751 - (-2 + -5)). Which is bigger: u or 1746?
1746
Let u be 6/(-9)*(-15)/2. Suppose q = -u*y - 8, q = -y - 2*q - 10. Let w = -755/2 - -376. Which is greater: w or y?
y
Suppose -2*r = -3*j - 142, 3*j - 4*r + 44 = 2*j. Let u be 1/3*j/(-184). Let z be (-1 + 4)*((-6)/(-2))/(-9). Is z <= u?
True
Let t = -394 - -408. Suppose -t*f + 144 = -8*f. Is f greater than or equal to 20?
True
Let t(o) = -o**2 + 42. Let w be t(-6). Let b(y) = 4*y**2 - 5*y + 1. Let h be b(-3). Let l be (h/(-6))/(5/(-3)). Is w not equal to l?
True
Suppose -513*b + 501*b = 0. Which is greater: 2/9099 or b?
2/9099
Let j = -183 - -566. Let r = j + -245. Is 138 smaller than r?
False
Let t be 543*(12/(-9))/(-2). Suppose -4*y - 2*g = 160 - 452, -g = 5*y - t. Which is smaller: 68 or y?
68
Suppose -5*b - n + 13 = -7*b, -3 = -3*b - 3*n. Let y be (48/10)/(1/(-5)). Let h be 6/y - (-171)/b. Which is smaller: h or -41?
h
Let i(n) = 21*n - n**2 - 11 + 54 + 3. Let l be i(19). Does l = -4?
False
Suppose -4*y = 2*t - 823 - 1799, 5*t = y - 661. Which is greater: 647 or y?
y
Suppose 95*b = 86*b + 135. Suppose -2*s + 93 + 15 = 0. Suppose b*z - 9*z = s. Is z >= 9?
True
Let t = 6.5 + 0.5. Let q be (-6)/(-10)*(-234)/702. Which is bigger: q or t?
t
Let w = 25.233 - 12.233. Is w less than 112?
True
Let m be 0 - -3 - (5 + 22596/(-11286)). Let f = -131248/1881 - m. Let d = 70 + f. Are 3/5 and d equal?
False
Suppose 0 = -10*x + 7*x + 27. Let f be x/8 - (-3)/(-24). Let p = 1 - f. Are 5/18 and p nonequal?
True
Let w = 0.1 - 0.1. Let s be 1/(-1*3 + 95/38). Let z be (s/(-8))/((-189)/24 + -1). Which is bigger: z or w?
w
Let w = 112919/202 + -559. Let t = -3733 + 3733. Is t < w?
True
Let z be 24/60*(-1 + 608). Is 0.3 smaller than z?
True
Suppose 396*p = 404*p + 56. Let b be (-774)/301 + (-4)/p. Which is greater: b or -1?
-1
Let o = 8877 - 8454. Does o = 425?
False
Let c = 225202059/1553 - 145011. Which is bigger: c or 1?
1
Let i = -1693/5 - -1691/5. Which is smaller: -139/18 or i?
-139/18
Let a = 315708/13 - 24327. Does a = -42?
False
Suppose -363*t - 10317 + 9137 - 16244 = 0. Suppose -3*u = 4*h + 211, -15 = 2*h - 4*u + 63. Is h not equal to t?
True
Let d be -1779 + -12 + -11 - 1. Is -1803 not equal to d?
False
Let y be (-10 + -2 + 11)*203. Which is smaller: -206 or y?
-206
Let v be (-7)/(-42) + 2292/72. Let z be -419 + (2/(-3))/(v/192). Is -424 greater than or equal to z?
False
Let a be (6/(-225)*6)/2. Let o = 124 - 74. Let b = o + -49.9. Is a bigger than b?
False
Let u be 21142/(-70740) + 864/2880. Which is bigger: -1 or u?
u
Suppose 0 = -4*p, 4*r + 344*p - 8396 = 345*p. Is r at most 2100?
True
Suppose 3*u + 159 = 5*u - m, -u + 78 = m. Suppose 4*d + 81 = -u. Is -38 at least as big as d?
True
Let a be -6 - (1617/28)/(-11). Let w(f) = -f**3 + f**2 + f + 4. Let h be w(0). Let r = 3 - h. Which is smaller: a or r?
r
Let j be (3/(-15) - 0) + 21/5. Suppose j*s - 924 = -7*s. Which is smaller: 85 or s?
s
Let l = 7384 - 7494. Is l < -774/7?
False
Let o = -12884 + 23075243/1791. Is o equal to 0?
False
Let k(i) = -21*i**2 + 390*i + 24. Let j be k(18). Which is greater: 252 or j?
252
Suppose -3*a + 24 = 3*z, 2*z + 71 - 38 = 5*a. Is z != -3/2791?
True
Let t(q) = -q**3 + 33*q**2 + 4*q - 125. Let h be t(33). Suppose -h*r - 358 = 34. Does -54 = r?
False
Let a = -1.56 + 0.59. Let b = -3287.93 + 3289. Let g = a + b. Which is smaller: g or 80?
g
Let l be (-350)/4760*(-2)/(-10). Suppose -5*w = 15, m + 0*w + 5 = -2*w. Which is greater: l or m?
m
Let j(t) = 991*t - 6. Let b(d) = -297*d + 2. Let r(u) = -10*b(u) - 3*j(u). Suppose 12 = 3*n - 0, -5*y - 21 = -4*n. Let l be r(y). Which is smaller: 0.3 or l?
0.3
Suppose 21800*m - 24885 = 21809*m. Is m at most -2769?
False
Let b = -4364784571/255 + 17116752. Let k = 251/5 + b. Which is greater: k or -1/5?
k
Let q be (37 + -24 - (2 - -5)) + -7. Which is greater: q or 1/17227?
1/17227
Let r = -0.0576 + -0.7004. Let u = r - -0.858. Which is bigger: -272 or u?
u
Let f be (-90)/(-27)*6*19/(-16)*-4. Which is greater: 83 or f?
f
Suppose -9*y + 118 = -8*y - 5*s, -2*y + 161 = 5*s.