e p - 10 - 5 = 0. Suppose 0 = -p*g + 20*g + 85. Suppose -66 = 4*r + 2*q, -9*r + 4*q = -5*r + 84. Is g smaller than r?
False
Let p = 20.5 - 1.5. Let g = -204.0321 + 204. Let q = g + 3.0321. Is q at most as big as p?
True
Let j = -15351 - -15351.22. Which is greater: j or 1/3?
1/3
Suppose 26 = -2*j + 5*q - 87, -5*q = 4*j + 241. Let w = 1709486/3 - 193151923/339. Let l = j + w. Is 1 at least as big as l?
True
Let n = 54085/8 - 6769. Which is smaller: n or -9?
-9
Let s = -1 + 6. Let a = -3.23 + 160.23. Let i = 156.98 - a. Which is bigger: s or i?
s
Let b(i) = -11*i**3 + i**2 - 26*i - 4. Let d(m) = 4*m**3 + 9*m + 2. Let q(f) = 3*b(f) + 8*d(f). Let g be q(2). Which is bigger: -1 or g?
-1
Let d = 39/62 - 733/3038. Is 0 smaller than d?
True
Let d = 23021 - 23012. Suppose 0 = 2*s - v - 12, s + v - 2 = 1. Suppose s*i + 1 = -4. Is d at most i?
False
Let z = -64.7 + 5. Let p = z - -55. Let s = p - -5. Is s less than 7/2?
True
Suppose 11*g + 498 = 14*g. Let d = g - 166. Which is bigger: d or 1/132?
1/132
Let q = -22823 + 22822. Which is smaller: q or 7342?
q
Let x be (-10 - (-1 + 0)) + (14 - 13) + -2. Is -321/32 smaller than x?
True
Let l be 248/(-18) + 4/(-18). Let d(a) = 11791*a + 70731. Let v be d(-6). Is v at least l?
False
Suppose 17*x - 2 + 36 = 0. Let i = 6.6 + -0.6. Is x smaller than i?
True
Let k be (8 + -14)*3/(-12)*6. Suppose -j = 3*i + 327, 0 = k*j - 6*j. Which is smaller: i or -111?
-111
Let u = -11554 - -11542. Is 8 at least u?
True
Let z = -8609.1955 - -8609. Is 4/3 < z?
False
Let n be 2*(-1)/(-60)*((-574)/28 - 14). Which is bigger: 0 or n?
0
Let s = -281735/172 - -1638. Suppose 0*d + 4*d = 4. Is d <= s?
False
Suppose 3*l + 14 = 29. Suppose 0 = 4*y - l*v - 59, 3*y + v = 91 - 23. Let s be 1 + -4 - (-35)/y. Which is bigger: 0 or s?
0
Let t be (4*(-25)/45)/((-198)/81). Let o = -0.1 - 0. Which is bigger: o or t?
t
Let d = -0.4 + 0.3. Let b = 605 + -598. Which is smaller: b or d?
d
Let x = 243 + -242. Let j be x + (3 - 2) - (-8)/(-6). Which is greater: j or -0.25?
j
Let y = 157321.014 + -157487. Let i = 166 + y. Is i bigger than 0?
True
Let j = 4337 - 4181. Which is greater: j or -0.45?
j
Let r = -1392875306539/621698220 - -5020573/2241. Let l = r - -1/5044. Do l and 0 have different values?
True
Let o be -1 + 2 + 30/(-27). Let c(h) = -103*h - 73. Let j be c(-4). Let v = -339 + j. Which is smaller: v or o?
o
Let r be (-1100)/770 - (-123)/(-7). Which is bigger: -65 or r?
r
Let b be (-1 + -9)*(-4)/10. Let h(w) = -17*w**2 + 17*w - 8. Let g be h(4). Let s = g - -206. Are b and s unequal?
True
Let c = -587 - -586.992. Let b = 64.008 + c. Let n be (1 - (-2 - -4))*-1. Which is smaller: n or b?
n
Suppose 0 = 2*v + 10, -2*v = 2*j - 405 - 449. Let g = 450 - j. Is g <= 125/7?
False
Let a = -14 - -19. Suppose -a*k = 5*h - 1190, h = -h - 5*k + 488. Let p be h/(-246) - (0 - 1). Is -1 > p?
False
Let d be 1 - (2 - -5*3609). Let w be 1*-2 + d/126. Let j = w + 145. Which is smaller: 18/11 or j?
j
Let r = -3437 + 3441. Which is bigger: r or 44?
44
Let a be 2 + ((-12)/14 - 1). Let n = -5/14 - a. Let y = 1/487 + -983/4383. Which is greater: y or n?
y
Suppose -c = -5*h + 5, -3*h - 2*h = -5*c + 15. Suppose 0*v + 3*v = c*y + 320, -3*v - 149 = 2*y. Let o = -56 - y. Which is smaller: 0.2 or o?
0.2
Let q = -1547131825958 - -7567168738284003902/4891095. Let l = q + -2/20295. Are 1 and l unequal?
True
Let d(m) = m**3 - 11*m**2 - 3*m - 4. Let p(f) = -f**2 + f. Let n(a) = -d(a) + 4*p(a). Let z be n(8). Let l(r) = r - 16. Let q be l(13). Are z and q unequal?
True
Let c be 732/7 - 63/(-147). Let p be (-4 + c/24)*58. Which is bigger: p or 21?
p
Suppose 2*q - 4*o + 42 = 0, 2*o - 72 = -24*q + 28*q. Is -86/5 greater than or equal to q?
False
Let d be ((-26)/(27 + -1))/6. Let i = 0.1 + 0.1. Which is bigger: d or i?
i
Let p(d) = -4*d + 67. Let n be p(13). Suppose 0 = -n*b - 287 + 1427. Is b greater than 78?
False
Let d(r) = -4*r**2 + 170*r + 46. Let g be d(45). Is g greater than -404?
False
Let u(q) = q**3 - 15*q**2 - 14*q - 15. Let t be u(16). Let h be (-2)/9 + t*21/27. Which is bigger: h or 8?
h
Let n(g) = 17*g**3 + g**2 + 2*g + 1. Let m be n(-1). Let v be (-3074)/(-265) - (-2)/5. Suppose 5*w = 3*r + 19, v = -5*r - 3. Which is greater: w or m?
w
Let u = 1568.3 - 1568.27. Are 140.6 and u non-equal?
True
Let i = -2 + 5. Suppose -y = -i*j - 37 + 7, 0 = 3*y + j - 40. Which is smaller: y or 0?
0
Let x(r) = -676*r + 15547. Let h be x(23). Which is greater: h or -275/146?
h
Let h = 12556 - 389246/31. Suppose -2*r - 4*z = -2*z, r - 3*z = -4. Is r bigger than h?
False
Let r = -38 - -37. Let y be ((-156)/(-273))/((-4)/(-14)). Suppose x - 3 = 5*f - y, 5*x + 2*f = -22. Is x bigger than r?
False
Let r be -2 - (0 - (-2 - -4)). Suppose 9*l - 7*l - 5*u - 201 = r, 4*u = -2*l + 156. Do 89 and l have different values?
True
Let m(g) = 2*g**2 - 5. Let d = -103 - -53. Let p = 52 + d. Let t be m(p). Which is smaller: t or 3/2?
3/2
Suppose 3*x - 5*x = 0. Let p be (1/63)/(480/180)*-1. Is p smaller than x?
True
Suppose 27 = 16*q - 15*q + 4*a, 3*a + 70 = 4*q. Let i be (105/(-14))/((-6)/14). Is i greater than or equal to q?
False
Let o = 86/45 + -116/45. Which is bigger: 9393 or o?
9393
Suppose -2893 = -4*v + 899. Which is greater: v or 947?
v
Let u = -8349.35 + 8358. Which is smaller: u or -0.09?
-0.09
Suppose 0 = -3*p + 3*t + 5 + 4, 5*t = -15. Let k(z) = 3*z**2 - 43. Let l be k(p). Let v = 42 + l. Which is smaller: v or -3?
-3
Let c be (390/(-285934))/((-26)/39). Let b = 1/902 + c. Let a = -934/5389 - b. Which is bigger: 1 or a?
1
Suppose 202*j - 217*j - 136 = 134. Which is bigger: -535/31 or j?
-535/31
Suppose -5*x - 3*r = -15, 45*x - 48*x + 9 = -r. Suppose t + 2*t + 4*n - 33 = 0, 2*t = -x*n + 21. Is t at most 19?
True
Suppose t = -4*y - 517, -y - 61 - 63 = -5*t. Let g = 132 + y. Which is greater: 18/11 or g?
g
Suppose -29*w - 4458 + 862 = 0. Let z be 8/(-124) + 364/w. Is z at least -9/5?
False
Let o = 4153 - 4168.3. Is o not equal to 4/9?
True
Let d(m) = -40*m + 129. Let h(k) = -5*k. Let u(f) = 2*d(f) - 22*h(f). Let p be u(-21). Which is greater: -373 or p?
p
Let i = -0.7205 + 1.7905. Are i and 14/3 equal?
False
Let w be -21 + (-1 + 0 - 0). Let d = w - 7. Suppose 1217 = -97*x + 57*x + 97. Is x greater than d?
True
Let b be 258420/90*(-12 - -18). Is b <= 17228?
True
Let s be (-1 + 36)/((-486)/48 + 10). Let d be ((-10)/4)/(s/168). Is -2.4 != d?
True
Let q(x) = -4*x - 188. Suppose -4*k - 156 = -3*t, t = -5*k - 109 - 67. Let m be q(k). Which is greater: 5 or m?
5
Let k = -151 - -153. Let u be 1/(k*(-1)/22). Which is smaller: u or -10?
u
Let u = 8859 - 3155. Is 1 less than u?
True
Suppose 4*f - 6*g + g = -19, 4*f - 2*g + 10 = 0. Let u(b) = -116*b - 86. Let s be u(f). Which is bigger: 316/11 or s?
s
Let x = -39 - -78. Let j = 42 - x. Let r be ((-437)/30)/19 + 6/10. Is j < r?
False
Let o be 1350/(-171) - (-7 + -1). Is o at least as big as 0.077?
True
Suppose -2 = -d - 1. Let y = 20983 + -20852. Is y != d?
True
Suppose 1660 = 2*u - 5*w, -3456*u + 3455*u = -w - 833. Is 825 greater than u?
False
Let l = 87 - 80. Suppose l*o = -7*o + 588. Let b = o + 11. Is b < 54?
True
Suppose 0 = 10*d - 2*d - 8. Let h be 1 - (d - -9) - -4. Let a be (-4)/h*175/14. Is -0.2 less than or equal to a?
True
Let i = 92/95 + -32482/33345. Are 29 and i equal?
False
Let p(m) = m**3 - 25*m**2 - 55*m + 71. Let z be p(27). Let h(x) = 11*x**2 - 3*x - 4. Let b be h(-2). Which is smaller: z or b?
z
Let x = 10/143 - 183/572. Which is greater: x or 27.62?
27.62
Let o = -4073 - -3998. Let m = -449/4 + 113. Which is smaller: m or o?
o
Let u = -831150319/7469 - -111280. Which is greater: u or -1?
u
Let v = 1.2 + -0.2. Let z = 824870 - 824870.39. Is v greater than z?
True
Let t = 52 - 43. Let r = -8 - t. Which is smaller: r or -1?
r
Let t = -3451 + 3443. Is t smaller than -31/4?
True
Let n be (8 - (-125)/(-15)) + 1. Let d be 1/2*24/6. Suppose -5*p - 4 = -5*j - 14, -4*j = d*p + 2. Is j less than n?
True
Let m be (12/18)/(-2 + (-3435)/(-1719)). Which is smaller: -381 or m?
m
Let n = 0.0145 + 3.4855. Which is greater: 20 or n?
20
Let v = -408 + 408. Suppose 5*h + 3*i - 1141 = v, -7*i + 464 = 2*h - 2*i. Which is smaller: 1 or h?
1
Let y = 15724 + -62923/4. Suppose 4*m + m = -30. Is m smaller than y?
False
Let c = 8170/4311 + -3/479. Suppose 37 = 83*a - 