-5)/8)/(-17). Let s = -103 + 103. Is w at least s?
False
Suppose g = -4*s + 2*g - 1, -5*s + g - 2 = 0. Let o = 19740 - 1697639/86. Is s less than o?
True
Suppose 47*t = 36*t + 27*t. Is t at least as big as 53/121?
False
Let d be -6 - (1785/(-17) + (-2)/14). Which is smaller: 98 or d?
98
Let j = -11138.786 + 11138. Which is smaller: 0 or j?
j
Let i be ((-3)/(-99)*-9)/((-3)/2). Is 3.83 != i?
True
Let y(c) = -c**3 + 1127*c**2 - 6*c - 3 - 1121*c**2 - 3. Let t be y(4). Suppose f - 5 = d + 3*f, 0 = 2*d - 2*f - t. Is d equal to -3/5?
False
Suppose 2242 + 1557 = 29*g. Which is smaller: 4 or g?
4
Let z = 22 + 11. Let m = 43 - z. Let w = m + -9. Is w not equal to 5?
True
Let u = -38 - -35. Let y = -68 + 96. Let s be -1*2*(-42)/y. Which is smaller: s or u?
u
Suppose -95*g = -100*g + 3*t - 511, 0 = -g - 2*t - 84. Which is bigger: g or -989/10?
g
Suppose 4*k = 11 + 1. Suppose -k*j + m + 6 = -64, 3*m = 2*j - 42. Suppose 987 = 21*d + 462. Which is bigger: j or d?
d
Let x = -1657/50 - -891/25. Is x bigger than -1/16?
True
Let q(s) = 5*s**3 + 6*s**2 - 5*s - 6. Let i be q(-2). Let o be (6 - 440/75)*(-27)/i. Is 0.03 > o?
False
Let x be (-133)/19 + (-303)/18. Let z be 25*(130/(-110) + (-4)/(-22)). Which is smaller: z or x?
z
Let o be (-20)/((-6)/(-4) + (-22)/44). Which is smaller: -197/10 or o?
o
Let f(i) = -12*i**2 + 133*i - 19. Let w be f(11). Is 2.96 smaller than w?
False
Suppose 9*d = -6*d + 9*d. Suppose d = 5*c, 2*o - 7 = -5*c - 13. Which is greater: o or -25/6?
o
Let u = -24 + 29. Suppose -5*d = -u*j - 25, -5*j + 2*d - 3*d - 1 = 0. Which is bigger: 2/59 or j?
2/59
Let j = 1213 - 715. Suppose -5*y = -2*y - j. Which is greater: 0 or y?
y
Let r be (-65)/(-195) - (-336)/(-9). Let u(o) = 55*o**3 + 2*o**2 - 2*o + 1. Let a be u(1). Let t = a + r. Which is smaller: 20 or t?
t
Let b = -1553 + 2975/2. Suppose -152*o + 1980 = -182*o. Is b <= o?
False
Let h be ((-384)/(-18))/(-1) + 24/72. Is h at least as big as -2?
False
Suppose 2817*v = 2834*v + 40047 + 20201. Is -3544 smaller than v?
False
Let q(v) = -3*v + 1. Let r be q(-1). Let x = -944 - -950. Suppose 3*m + 12 = -x*l + 2*l, -4*m + r*l = -12. Which is bigger: 16/11 or m?
16/11
Let b = 68/3 - 1615/6. Which is smaller: b or -248?
-248
Suppose 361*g + 80494 = -121*g. Let h be 676/2*(-1)/2. Which is greater: g or h?
g
Let v(n) = -n**2 - n + 2. Let q(l) = -l**2 + 13*l - 3. Let z(u) = q(u) + 3*v(u). Let p be z(4). Let m = 47 + -68. Are p and m nonequal?
False
Let f = -249 + 360. Suppose -d = -5*u + 54, -3*d = -4*u + 6*u + f. Which is greater: -43 or d?
d
Let r = 247.3 - -97.66. Let q = r + -345. Is -11 < q?
True
Suppose 11*y - y - 1290 = 0. Let w = -132 + y. Which is smaller: -12/5 or w?
w
Let a be 1 + (-160)/82 - -1. Let q be 4/4*(-17)/(-34)*2. Which is bigger: q or a?
q
Let f = 126.76 - -0.24. Let l = 62 - f. Is l > -1?
False
Let g(o) = -3*o - 55. Let c(q) = -98*q**3 + 2*q**2 - 3*q + 2. Let i be c(1). Let k = -115 - i. Let s be g(k). Which is smaller: 1/67 or s?
s
Let s = 0.12 - -0.03. Let q = s - 0.25. Let p = 1.28 + 0.12. Is p bigger than q?
True
Let b be 13/130*5*982. Which is greater: b or 487?
b
Let o = -8.5 - -0.5. Let k = 20 + o. Let u = -3.42 + 0.42. Is k equal to u?
False
Let j(h) = 2*h**2 + 39*h - 129. Let i be j(3). Let u = 3 - 5. Is i < u?
False
Suppose 245*w = 1002927 + 112527 + 498361. Is 0 < w?
True
Let v be (-1)/3 - 33/(-396). Which is smaller: v or 1.9626?
v
Let l = 0.1727 - 0.1727. Let f = 0.98 - 0.67. Are f and l unequal?
True
Let r = -1.738 + 0.038. Is r at most 3/19?
True
Suppose -3*g - 62 = -4*h - 3, g + 4*h + 9 = 0. Let w(v) = -7*v - 120. Let u be w(g). Is 2/253 equal to u?
False
Suppose -57 - 151 = -26*k. Suppose -5*c = -d + 82, -k = -40*c + 42*c. Is 62 smaller than d?
False
Suppose 4*g - 2*g + 4*v - 6 = 0, 3*v - 4 = -g. Let w(f) = -f**2 + f - 3. Let s be w(0). Let j = s - -11/3. Which is greater: j or g?
g
Let h = -285 - -285.0382. Which is bigger: 1/3 or h?
1/3
Suppose -3*k = -12, 2*a + 91 = -k + 27. Let r = a - -42. Let m be (r/(-20)*-5)/(2 - 0). Does m = -1.6?
False
Suppose 4*l - 2*w = 3*w + 6, 4*l = -3*w + 22. Suppose -4*n - 158 = 2*m, -n + l*m - 47 = 3*m. Let v be ((-18)/48)/(n/4). Which is smaller: 1 or v?
v
Let r = 4329 - 4330. Is 6/677 at most r?
False
Let o be (-214 - 2)/(3/(-8)). Suppose -9*u = -5*u + o. Let q be (u/78 + 2)*(-1 - 1). Is 1 at most as big as q?
False
Let p(o) = 2*o**2 - 2*o + 34. Let d be p(0). Suppose -31*b + 99 = -30*b. Let j = 134 - b. Which is bigger: d or j?
j
Let j = 2108/29 - 2236675/30769. Let p = 21187/11671 - j. Is 2 greater than or equal to p?
True
Suppose 0 = -8*f + 61 + 67. Let a be (37/(-4))/((6/f)/3). Are a and -76 unequal?
True
Suppose 88*j - 80*j = 440. Let h be (3 - j)/((-20)/(-8)). Which is smaller: h or -20?
h
Suppose 5*s - 201 + 173 = 4*o, -s + 5*o + 35 = 0. Is s less than or equal to 44/447?
True
Suppose -10 + 19 = 3*m. Let t be -1753*27/(-14091) - m. Let y = t + 2/427. Is y less than 1?
True
Suppose -5*a - d = 1276, -59*d + 62*d + 1268 = -5*a. Is a at least as big as -257?
True
Let t = -102/5 + 20. Let f = 19.123 + 0.077. Let g = f - 20.9. Which is bigger: g or t?
t
Let m = 1440.3 - 1520. Let c = 21.7 + m. Is c bigger than 2?
False
Let q be (-12)/(-21) - (-6 + 559710/85120). Is 0 at least q?
True
Let u be (3 + -5 + 2)*-1 - 2. Let n be ((-21)/14364)/(-1 + (-1)/u). Which is greater: 0.1 or n?
0.1
Let y be (-8)/(-1) - (-41912)/(-4898). Is y >= 0?
False
Let d = 1386 + -1385. Which is smaller: -36/179 or d?
-36/179
Let u = 8/49 + 419/735. Let h = u + -1/3. Which is smaller: h or -1?
-1
Let f = -2/5 + 58/195. Let s be -2 - (452 - (-6 - -4)). Let q = 457 + s. Is q less than f?
False
Suppose -5*u = 3*b - 7721, 5*b - 10*u + 14*u = 12864. Which is bigger: -1 or b?
b
Let h be (-16978)/(-14) + 3 + (-57)/21 + 7. Is 1219 > h?
False
Let z be (2/8 + (-55)/44)*-1. Let k be (-224)/(-12)*z*-3. Is k greater than -56?
False
Let i = 297 - -1426. Is 1724 < i?
False
Suppose 69*d = 67*d. Let n = 117/53 - 45407/20617. Which is bigger: d or n?
n
Let v = 1197 + 29. Is v greater than 1228?
False
Suppose 3*b - 10 = 2*p, 0*b - p - 19 = -5*b. Let d = -47968/11 - -4364. Which is smaller: b or d?
d
Let o = 59 + -85. Let n be o/(-10) - (3 - 48/20). Suppose -4*w = l + n, 5*w + 2*l + 8 = -2*l. Which is smaller: -12/25 or w?
-12/25
Let k = -0.305 + 0.22. Let h = k - -2.085. Are h and 9 nonequal?
True
Let g(h) = -h**3 - 40*h**2 - 33*h + 361. Let p be g(-36). Which is smaller: p or -3637?
-3637
Let d(n) = -17*n**2 + 457*n + 53. Let h be d(27). Which is greater: h or -11/405?
-11/405
Suppose -64 = 4*j - 0*j. Let k be j/34 + 0/(-3). Let x(h) = -15*h - 316. Let v be x(-21). Are v and k unequal?
True
Let v = 130.45 + -132. Let w = -0.55 - v. Which is smaller: w or 2?
w
Let u = -1 + 1. Let o be 1 - (8058/(-3) - -4). Let g be (o/895 + -3)/((-1)/5). Is u != g?
True
Let k(x) = x**3 + 6*x**2 + 4*x - 4. Let g be k(-5). Suppose -12*j + 46 + 38 = 0. Let h = j - g. Which is smaller: h or 4?
4
Let u(t) = 25*t**2 - t - 1. Let s be u(-1). Suppose 2*j + 8*m = 6*m - 68, -m + 4 = 0. Let h = 61 + j. Do h and s have the same value?
False
Let r = 4678 + -4450. Is 235 > r?
True
Suppose -3*y = -p + 9, -2*y + 6 = 4*p - 4*y. Let t be (2/5 - 0)/(7820/(-7475)). Let v = t + 465/1394. Which is smaller: p or v?
v
Suppose 0 = -7*j - 389 + 403. Let a be ((-2)/6 - 6/36)*j. Let r(w) = w**2 + w + 1. Let x be r(-2). Which is smaller: a or x?
a
Suppose 0 = -20*i + 21339 - 69419. Is i at least -2405?
True
Let w(d) = 141*d**2 + 151*d**2 - 7*d - 5 + d**3 - 297*d**2. Let f = -4 - -10. Let c be w(f). Is -11 bigger than c?
False
Let g(a) = -2*a**3 + 25*a**2 - 40*a + 334. Let v be g(12). Which is greater: -38/51 or v?
-38/51
Let o = -9 + 10.1. Let n = o + -1.73. Let h = n - 6.37. Which is smaller: h or 4?
h
Suppose -8*m + 2*m = -96. Suppose m*b + 215 = -281. Let h be (b - 1) + 50/10. Which is greater: -28 or h?
h
Let t(j) = 6*j - 31. Let r be t(7). Let x be (r/2)/(294/504). Is x > 10?
False
Let t be (30 - (33 - 10)) + (-33)/5. Which is greater: t or 69/67?
69/67
Suppose -q + 98 = -100 + 159. Which is greater: 1098/29 or q?
q
Let p(g) = -6 + 5 - 6 - g. Let a be p(-12). Suppose a*o - 180 = -k, -4*k + 74 = 2*o + 20. Does 37 = o?
True
Let s be 4/(-11)*(-5 - 7374/(-1476)). Let b = s - 16442/139359. Is 0 bigger than b?
True
Let h 