20 - j. Is g less than or equal to 3?
False
Let x be ((-40917)/138)/(1/10). Is x at most as big as -2965?
True
Let a(p) = 2*p + 10. Let y be a(-5). Let i = -4453/21476 + 23/236. Which is greater: i or y?
y
Suppose 13*b - 31 = -18*b. Let m be 246/(-38) + 0 - b*-5. Which is smaller: m or -1?
m
Let w(v) = -v**2 + 28*v + 30. Let n be w(28). Let y be n/99*-6 + 2. Let f = 16 - 15.99. Which is greater: f or y?
y
Let g = -2307 - -846671/367. Do 2/13 and g have the same value?
False
Suppose 2*k = 2*w + 18, 5*w - 4*w - 21 = -2*k. Let p be 6*(-9)/180*k/(-4). Which is bigger: p or 0.02?
p
Let p be (28/35)/(2/15). Suppose -38*j = -5*k - 36*j + 35, 0 = -2*k - 7*j - 25. Does p = k?
False
Let t = -1.233 + 2.233. Let v be -3 - (-855)/153*(-3)/(-5). Which is smaller: v or t?
v
Suppose 5*u + m + 76 = 0, 2*m = -2*m - 4. Let z be 4/u - (0 + (9 - 9)). Is z smaller than 0.08?
True
Let s(m) = m**2 - 5*m - 1. Suppose l = -4*o - 0*o - 478, 3*o = -4*l - 365. Let q = o - -124. Let k be s(q). Which is smaller: 8 or k?
k
Let y = -1566 - -1565.9057. Is 0.2 equal to y?
False
Suppose -20 = -4*x, -5*h + 475 = 6*x - 2*x. Let q be 3/(-9) + h/21. Let k be (q - 2)*2/4. Is k != 2?
True
Let v = -25.999 + -0.001. Let u = 1 - v. Let t = -27 + u. Is 1 at least t?
True
Let l = -655.99 + 659. Let y = -122.99 - l. Let p = 126.1 + y. Is -0.04 at least as big as p?
False
Let k be ((-120)/210)/((-2)/7). Suppose -k*b = -5*p + 1, 0 = b - 5*p + 2*p - 2. Which is smaller: -43/3 or b?
-43/3
Let m(t) = -t**2 + 14*t - 34. Let q be m(10). Suppose 0 = -4*d + 4*y + 4, -4*y - q = 2*d - 2*y. Which is greater: d or -2/181?
-2/181
Let u be 35/40*(-76)/114. Which is greater: 33 or u?
33
Let a = 377 + -568. Let p = a + 110. Let q = p + 77. Is q less than -1/2?
True
Let u(a) = a**2 + 72*a + 271. Let t be u(-68). Is -2/21865 at least t?
True
Let f = 6713.4 + -6713. Which is bigger: f or 246?
246
Let n = 6739 - 6916. Do -2 and n have different values?
True
Let j = -10410 - -10415. Suppose 2*o = o - 4*k + 8, 132 = 4*o - 4*k. Suppose -o = j*z - 33. Are z and 1.3 nonequal?
True
Let j(b) = b + 2. Let g be j(17). Suppose -21*m = -2*m + g. Which is bigger: m or 3/50?
3/50
Let h be 5/(150/18)*45/27. Is h >= 0.497?
True
Let f be 1 + -41*306/(-2091). Let c = -0.9 - 0.1. Let p = 1 + c. Which is bigger: f or p?
f
Suppose n = -2, -q = 4*q + 5*n - 970. Let t be -2*(-4)/(-40) - q/(-10). Is t bigger than 19?
True
Let v = 44 + 97. Let q = -43 + v. Which is bigger: 0.1 or q?
q
Let o = -452359/74 + 6113. Which is smaller: 3 or o?
o
Let b be 2/(-4) + (-4901)/(-7308). Which is smaller: b or 1?
b
Let p(x) = x**3 + 39*x**2 - 268*x - 11. Let z be p(6). Is -2/14649 greater than z?
False
Let o be (-2)/(-4) - (1 - 651/14). Is o at most as big as 2/119?
False
Let w = -357/325 - -918547/325. Which is smaller: w or 2824?
2824
Let q = 236.6 - 211. Let f = -25.757 + q. Is -1/3 greater than f?
False
Let f = 71 - 9. Let q = f + -255/4. Is q != -1?
True
Let x = -5670 + 5571. Are 1/42 and x equal?
False
Let h be -2 + ((-4)/10 - 27/(-5)). Suppose -4*l - 118 = -h*t, 4*t - 3*t - 39 = l. Is 33 <= t?
True
Let r = 78 + -76.85. Let n = r - 1.15. Which is bigger: n or 43?
43
Let i(g) = 5*g + 11. Let s be i(10). Suppose -4*h = o - 559, o + o = h - 142. Suppose -2*b = 12*f - 7*f - 308, h = 2*f + 5*b. Which is smaller: s or f?
f
Let n = -87107065/29 - -3005060. Let a = -842216/261 + n. Let s = a + 1857. Which is smaller: -3 or s?
-3
Let j = -7.5 + 8. Let r = 0.5 - j. Let s = -482.7 + 431.7. Is s at least r?
False
Let b be 170/(-4) + 210/(-84). Which is greater: b or -44?
-44
Let u = 133 + -127. Suppose -h + u = 9*t - 7*t, 2 = 2*t + 3*h. Is -7 at least t?
False
Let n be (31556/(-690) - -45)/((-5)/75). Let x = 32 - 22. Are x and n nonequal?
True
Let o = 4566 - 4357. Which is bigger: 191 or o?
o
Let a = -5451 + 5450. Which is smaller: a or -8/875?
a
Suppose -2*u - 56 = 2*s - 6*s, 3*s + u = 42. Let n be 10/(-2)*s/(-95). Do 2 and n have the same value?
False
Let i = 0.0762 + -10.0762. Let p = 2.6 + 1.4. Which is smaller: i or p?
i
Suppose -20*z = -13*z - 126. Let o be z*(-2 - -1)*1. Let y be (-3)/o*(-3)/2. Is 14 equal to y?
False
Let x(n) = 2*n**2 + 24*n + 21. Let c be x(-11). Let d be (6/(-158))/(3 + (-63)/14). Is c less than d?
True
Let k be 4/(3 + 1) - 1. Suppose 8*x + 2*x + 40 = k. Let o be (x/(-34))/(18/(-27)). Is o not equal to 1?
True
Let c(f) = f**3 - 6*f**2 - 18*f + 15. Let y be c(8). Let u be (y + 0 - -2) + (-1332)/(-84). Which is greater: 17 or u?
17
Let k be (-12 - (-4398)/366)*-16. Let l be 4 + -3 + -1 + -1. Which is greater: l or k?
k
Let g = -189.72 + 190.72. Which is smaller: g or 20091?
g
Let g(d) = d**3 + 15*d**2 - d - 12. Let x be g(-15). Suppose x*s - 3*n = 8 + 37, -3*s - n = -37. Let o(i) = i**2 + 2*i - 2. Let v be o(-5). Is s at least v?
True
Let t = -14.98 + 0.18. Let p = 14.814 + t. Which is smaller: -1 or p?
-1
Let h be -2 + (-24)/(-14) - 6/(-21). Suppose h = c + 30 - 31. Which is bigger: c or -4/73?
c
Suppose 882*d = 865*d + 13498. Which is bigger: 779 or d?
d
Suppose -97 = 2*z + k - 14, 3*z - 2*k + 156 = 0. Are -86 and z nonequal?
True
Let z be (-1 + -48)*(6/(-15))/(322/2760). Is 195 < z?
False
Let r be -24*(-1 - 7/(-4)). Let d(s) = s**3 + 19*s**2 + 16*s - 32. Let u be d(r). Is u at most 59?
True
Let w be (-7)/(14/(-10)) - 267/48. Is w greater than 0?
False
Let p = -35/117 + 7753/234. Which is bigger: 2/3 or p?
p
Let m = -11/75 - 517/225. Let y be ((-4)/(-7))/(28/294). Let v(f) = -f**2 + 5*f + 5. Let h be v(y). Does m = h?
False
Let a = -3 + 1. Let b = a - -2.1. Let o = 4.45616 + -4.48216. Which is smaller: o or b?
o
Suppose 5*d + 172 = -3*k - 152, 2*k = -d - 62. Let n = d - -69. Let w be (-9)/n - (-1 - -2)*1. Which is smaller: -6 or w?
-6
Let s(k) = 3*k**3 - 38*k**2 - 12*k - 84. Let c be s(13). Suppose -2*n + g = 202, 4*g + 202 = -0*n - 2*n. Let u = -173 - n. Which is bigger: u or c?
c
Let a(n) = n**2 + n + 17. Let j be a(7). Let i = j - 126. Let r = i - -47. Is -6 <= r?
True
Suppose 0 = -456*y + 480*y - 72. Which is greater: 725 or y?
725
Let z = -2544.8 - -2545. Suppose -15 = -3*b - 2*s, 0 = -2*b + s - 3 + 6. Do z and b have the same value?
False
Let s(c) = -c**2 - 83*c - 2558. Let n be s(-48). Is -883 != n?
True
Let y be ((-6090)/1220 - -5)/(2/(-353548)). Let a = y + 1449. Which is smaller: a or 14?
a
Let w = -474529/9 + 52590. Is -136 at least w?
False
Let v(g) = -9*g**2 - 197*g + 588. Let c be v(3). Is -56 >= c?
True
Suppose 178*y - 6671859 = -228*y + 67*y. Which is smaller: 19682 or y?
y
Let d = -402561/439 + 917. Suppose 4*l - 24*l + 20 = 0. Which is smaller: d or l?
d
Suppose 5785248 - 1395882 = 391*q. Is 11227 at most q?
False
Let z be (1391 - 109)*(19/(-8) + 2). Let g = 891/2 + z. Is g != -34?
True
Let o = -64 + 146. Suppose -22 = -4*b + o. Which is greater: b or 27?
27
Let o = 40525 - 40692. Is -0.15 greater than or equal to o?
True
Let z be ((-5)/(-265))/(3/108*4). Is 2/31 <= z?
True
Let j(b) = -68*b**2 + 2*b + 3. Let y be j(1). Which is smaller: y or -78?
-78
Let n = 4575 + -4414. Is -3 equal to n?
False
Suppose 0 = 138*l - 209*l + 309631. Which is bigger: 4360 or l?
l
Suppose -2*d + 18*d = -144. Let o be -14 - (13 + 63/d). Is -7 > o?
True
Let s be ((-40)/(-60))/(2/(-60)). Is s bigger than -9?
False
Let v = 35297/23 - 1535. Suppose 5*k = -15 + 10. Is v greater than k?
True
Suppose -2*t + 2*q = 0, -t = -5*t + 3*q + 3. Let s be 1590/54 + -1 - (-12)/t. Are s and 31 nonequal?
True
Let z = 1.9738 - -43.4262. Which is greater: z or 20?
z
Suppose -2*v - 2*f + 212 = -50, v - 3*f = 151. Let g = -195 + v. Which is greater: -61 or g?
g
Suppose 0 = 23*g - 39*g - 11264. Let j = g - -663. Does -278/7 = j?
False
Let u be (-3)/2*96/18. Let b be (9 + u)/((-2)/(-53)). Let c = 26 - b. Which is bigger: 0.1 or c?
0.1
Let b = 5933 + -53323/9. Is -1 smaller than b?
True
Let k be (2/6)/(-1) - (-3993626)/3822. Is k greater than or equal to 1046?
False
Let c(b) = -b**2 - 5*b + 45. Let k be c(-9). Let m be (6/k)/2 - (-73)/(-3). Let u = -21/11 + 211/99. Which is greater: u or m?
u
Let j be (3/(-6))/((27/18)/(-3*302)). Which is smaller: j or 295?
295
Suppose 217 = 83*d + 134. Is d greater than 20.5?
False
Let d be (8/(-20))/((-4)/40). Suppose 3*i = -d*t + 90, 0 = -0*i + 2*i - 4*t - 60. Let j be (-1*(-2)/5)/(102/i). Is -0.02 less than or equal 