ppose 175 = 253*o - 246*o. Suppose -23*w + o*w = -176. Is -90 < w?
True
Let v = 206521 + -413043/2. Let d = -636/155 - 3/31. Is v > d?
True
Let b be 36/15 - 4/10. Suppose -220 = -7*x + b*x. Let a = 1823 + -1781. Which is greater: a or x?
x
Let h(u) = 4*u + 81. Let q be h(-15). Let t = -17 + q. Suppose 4*f - t = 32. Which is smaller: 11 or f?
f
Let o be (7 + (-798)/28)*8/(-4). Let s be ((-9)/(-7) + -3)/((-2)/49). Does s = o?
False
Let a = -593 - -586. Let f(h) = -39*h - 278. Let d be f(a). Which is bigger: -25 or d?
d
Let n = 207.09 + 2.91. Let b = -203 + n. Let x = 0.3 - 0.4. Do x and b have the same value?
False
Suppose 133579 = 239*b - 20661 - 39828. Which is smaller: 810 or b?
810
Let i = 4429 + -4289. Are i and 135 nonequal?
True
Suppose -i - i + 5 = -3*a, 0 = 2*i - 4*a - 8. Let t = -18 + -26. Do t and i have the same value?
False
Let q(r) = 173*r**3 - 5*r**2 + 8*r - 9. Let k be q(3). Let y be (-4)/(-2) - 9078/k. Does -1 = y?
False
Let u(z) = 121*z**2 - 63*z + 116. Let a be u(2). Is 480 greater than a?
True
Let p = -18/29 - -26792/87. Which is bigger: 307 or p?
p
Let a(g) = -197*g - 1645. Let l be a(-15). Is l <= 1311?
True
Suppose p = -w + 3*p - 1464, -3 = -p. Which is smaller: w or 0.1?
w
Let n be -3*((-155)/15 - -8)*(-128)/(-14). Do n and 68 have different values?
True
Let a = -23.122 + 110.122. Which is bigger: -1.2 or a?
a
Suppose -p + 4*l + 16 = 0, -l - 3*l = -4*p + 4. Let k be (p/(-18))/(155/(-45) - -3). Are -26 and k non-equal?
True
Let f = -26735 - -26735. Which is smaller: f or 2/2735?
f
Let h be 4/(-12)*-4*3. Suppose -2*w = h*p - 10, -p + 0*p - 4*w = -20. Let s be 10/(-3) + (-10)/(-3) + -3. Which is smaller: p or s?
s
Let t be (-3 - 12)*3/(-3). Let h be (-18)/(-15)*(t + 0). Let p be (-34)/132 - (51/h + -3). Which is greater: p or 3?
3
Let i(t) = -t**3 + 34*t**2 - 73*t + 981. Let c be i(29). Which is greater: c or 9209/3?
9209/3
Suppose 8*z = -7*z. Suppose z = -26*s + 24*s + 22. Is 8 > s?
False
Let y be (-10)/(-1) + -44 + 33. Is y < 2/12455?
True
Let s = 6662/203515 + -10/403. Which is greater: 1 or s?
1
Suppose 2*v = -4*v - 798. Let c = v - -77. Let w be (-33)/c*52/(-39). Which is bigger: -2 or w?
w
Suppose 17*f - 14 = 19*f. Let x(j) = 15*j + 64. Let r be x(f). Which is smaller: r or -42?
-42
Let b = 262 + -266. Let o(q) = -13*q - 48. Let t be o(b). Let f be (0 + -2)/(4/(-10)). Which is smaller: t or f?
t
Let b(k) = -k**3 - 21*k**2 + 8*k - 40. Let y be b(-21). Let i = y + 5202/25. Let l be ((-32)/12)/(-8)*3. Which is greater: l or i?
l
Let z = 12067 - 1241. Which is bigger: 10827 or z?
10827
Suppose -t = 3*i - 15, 0 = 5*i + 92 - 112. Suppose -r + 12 = r. Is r less than or equal to t?
False
Let f be (-27)/18*(-3)/(-7). Suppose 5*p + 76 - 76 = 0. Is f not equal to p?
True
Let u = -5 + 6. Let h = -11074 - -11006.93. Let q = h + 67. Which is greater: u or q?
u
Let d = -449 + 455.18. Let v = d + -8.3. Let o = v + -0.88. Which is greater: o or -6?
o
Let s = -69 + 68. Let b be (-4)/(-16) + 70/(-344). Is s at most b?
True
Suppose 2*h - 4*p - 68 = 0, -2*h - h + 62 = 4*p. Let z = -15 + h. Let m = 42 + -30. Which is greater: z or m?
m
Suppose -2*u - 4*v = 658, -42*v + 343 = -u - 37*v. Which is bigger: -331 or u?
-331
Let r be (3/6 - 0)*12 + -1. Let p = -63 + 35. Which is greater: p or r?
r
Let w = -4 - -3. Let i = -194190 + 194122. Which is bigger: i or w?
w
Suppose -2*i + 2 = 0, -4*t + 769*i - 978 = 767*i. Which is greater: -232 or t?
-232
Let a = 499 - 841. Let h = a + 343. Let w be (3/10)/(12/10). Is h less than w?
False
Let r = -6.4 - -15. Let b = -3.4 - r. Let g = 11 + b. Which is bigger: 0 or g?
0
Let l(o) = -o**2 + 134*o - 2885. Let k be l(27). Let u(f) = 2*f - 2. Let q be u(3). Let y be (4 - (q + k))/10. Which is greater: -25 or y?
y
Suppose 0 = -4*t - 2*y + 660, 0*y = 3*y + 6. Let r be 36/126*t/(-4). Let f = r + 30281/2555. Is 0 < f?
False
Suppose -10*a = -2*c - 112, 127*a = -4*c + 125*a + 18. Let f = 4260 + -805142/189. Let l = f + 71/756. Which is bigger: c or l?
l
Let u = 5933 - 94859/16. Let p = 353/48 + u. Let k be ((-6)/(-7))/(2/28). Which is smaller: p or k?
p
Let m = 50 - 92. Let t = m - -6. Let c be (-116)/t + 1 + -4. Which is greater: c or -2/7?
c
Suppose -109*z - 109*z = -225*z. Is z at least 1/2198?
False
Let h = -2 + 14. Let b(s) = -s**2 + 10*s + 27. Let r be b(h). Which is bigger: r or 1?
r
Let l(b) = -29*b**2 - 11*b + 12. Let x(y) = -3*y + 40. Let q be x(12). Let f be l(q). Which is smaller: -497 or f?
-497
Let g = 229 + -184. Let w = g + -25. Which is greater: w or 11?
w
Suppose -3*r = -y - 5*r + 9, -y + 15 = 5*r. Suppose 7*g + 79 = 5*g - b, -b = y*g + 202. Let v = 42 + g. Is 1/4 >= v?
False
Let b = 2552 + -2552.141. Is b at most as big as 44?
True
Let s be 4*-1*((-3731)/623 + 6). Suppose -967*z + 957*z + 10 = 0. Which is smaller: s or z?
s
Let p be 0 - 24/(-10) - 3. Let b = p + -1/15. Let l be (1/25*-5)/((-2)/4). Which is bigger: l or b?
l
Let f = 0.76 + 7.74. Let j = 0.037 + 21.463. Let z = j - f. Do z and 0.1 have different values?
True
Let r be 4 - (30/375*(-20)/(-242) - -4). Is 1 != r?
True
Let i = 30.61 - 30.81. Which is smaller: 667 or i?
i
Suppose 17*j - 1912 = 9*j. Let t = 220 - j. Which is greater: t or -23?
t
Let z be (4/7)/(11 + 1479/(-119)). Which is bigger: -486 or z?
z
Suppose -810 = -2*v + 2*n, -2*v = 2*n - n - 813. Let x = v - 407. Is 0.61 != x?
True
Let s(x) = -3*x**2 + 4*x + 10. Let o(g) = 8*g**2 - 7*g - 21. Let c(f) = -2*o(f) - 5*s(f). Let v be c(-4). Is -5/77 greater than or equal to v?
False
Suppose 0 = 5*i + 1 + 4. Let u = -1087.0509 + 1087. Let x = u + 14.0509. Is i greater than x?
False
Suppose 36 = -5*g + g. Let q(z) = -z**3 - 8*z**2 + 6*z + 1. Let a be q(g). Let k = 57 + -29. Does k = a?
True
Let s(w) = 1044*w**3 + 2*w**2 + 22*w + 20. Let t be s(-1). Is -1048 not equal to t?
True
Suppose -38*z - 6*z = -308. Suppose 6*k - 4*k = -z*k. Which is bigger: k or 1/128?
1/128
Let s = 4133 + -28933/7. Which is smaller: -2215 or s?
-2215
Let w be -10 + 16 + (-4)/8*14. Which is smaller: w or 8/85?
w
Suppose -5*v = -3*d + 35, 3*v - 2*d = -5*d - 21. Let w = -493 - -3447/7. Which is greater: w or v?
w
Let v = -17980 + 17973. Let r = 0.1 - 0.1. Are v and r equal?
False
Suppose -5*h + 509 = 2*c, h = -4*c + 62 + 29. Which is greater: h or 111?
111
Let h = -78/427 - -418790/2301957. Is 1 greater than h?
True
Suppose 5*b + 109 = -3*d, -d = -4*b - 85 - 9. Let c = 23 + b. Let a be 3 + 2*(-2 - c). Which is smaller: a or -4?
-4
Let a = 485 - 210. Suppose 272*o = a*o + 3. Is -3 equal to o?
False
Let v(m) = 10*m + 257. Let r be v(-22). Let l = r - -176. Do 427/2 and l have different values?
True
Suppose -w = 51 - 50. Let s = 3 + -7. Let z be 0 + s + (-3)/w. Which is smaller: z or -1/65?
z
Let h be (-1)/(-5) + 1*18/(-15). Let m = 52 + -43. Let t = 3 - m. Is t >= h?
False
Let x(h) = -2*h**2 + 216*h + 26870. Let w be x(0). Which is greater: w or 0?
w
Suppose -4*h + v = -0*h - 19, 4*h - 3*v = 17. Let a(p) = p**2 - 9*p + 6. Let y be a(h). Let g be -1 - ((-27)/(-1 - 2) + 3). Which is greater: g or y?
g
Let k = -22 + 26. Suppose -352 = 5*s - 2*b, 3*b - 3 = s + 70. Let c = 79 + s. Which is greater: k or c?
c
Suppose -6*g - 19 = -397. Suppose -12*d + g + 21 = 0. Let u = -20 + 24. Which is bigger: d or u?
d
Suppose -2*b = i - 6*b + 9, -2*b + 1 = 3*i. Is 10/1949 less than i?
False
Let g be (-305)/366 - 3658/(-12). Which is greater: 301 or g?
g
Let x(p) = -p**3 + 2*p**2 - 2*p - 4. Let s(r) = -3*r**3 + 4*r**2 - 5*r - 10. Let d(o) = 2*s(o) - 5*x(o). Let a be d(0). Is a bigger than 15/49?
False
Let y = 172 - 171.9. Which is smaller: -471 or y?
-471
Let r = -0.0477 - 379.9523. Let k = r + 382. Which is smaller: k or 42?
k
Let c be (-1)/(-4) + (540/16 - -3). Suppose -2*j = 5*x + 80, 7*j - 8*j = x + c. Is -42 > j?
False
Suppose 0 = w - 3*t, -5*w = -t + 2*t. Let k be ((-1)/(-7) - w) + (-21)/147. Suppose 0 = -k*u - 2*u - 2. Is u <= 3/23?
True
Let g(q) be the second derivative of -q**4/12 + 7*q**3/6 + 143*q**2/2 + 194*q - 2. Let t be g(-9). Is -8/13 <= t?
False
Let v = -4288 + 4274. Which is bigger: 63 or v?
63
Let l(x) = -x**3 - 4*x**2 - 9*x - 48. Let z be l(-7). Let t = -137 + z. Is 25 less than or equal to t?
True
Suppose 796*t = 806*t + 310. Which is smaller: t or -154/5?
t
Let v = -15 - -7. Suppose 16 = 13*o - 29*o. Let s be