 -203/646 - -3/38. Let q = -177.7 - -174.7. Is i bigger than q?
True
Let d = -130.2 + 128.2. Let r = -185.07 - -3.07. Which is smaller: r or d?
r
Suppose 3*z - 2*u - 2060 = 0, 3017 + 423 = 5*z - 2*u. Suppose -d - 14*d - z = 0. Let j be ((-12)/20)/3 - d/105. Which is smaller: j or -1?
-1
Let s be 5/(117825/(-10))*-3. Which is smaller: s or 1?
s
Let d = -1 + -0.2. Let j = -167.57 - -167.55. Is j <= d?
False
Suppose -8*k + 125 + 195 = 2*m, 4*k = -3*m + 168. Which is smaller: k or 67?
k
Suppose 0 = -g + 2*g - 5*r + 7, 4*g + 3*r = -51. Let y be (g + 2)*4704/(-120). Is 393 != y?
True
Let h = -22075 - -618097/28. Let c = 2 + -3. Let d = -2 - c. Which is smaller: h or d?
d
Let n be 466/8 + (-5)/20. Let m = n - 61. Let w be (20/2)/(1 + (-6 - m)). Is -4 at least w?
True
Let b be (35/(-91875))/((-12)/15). Do 1 and b have different values?
True
Let d = -1.2 + 1.3. Let z = -154 + 180. Let s = -102 + z. Which is smaller: s or d?
s
Let g = -1761 + 15648. Are 13888 and g equal?
False
Let x = -123/4829 + -73093990/101409. Let c = x - -721. Let q be -1 - (1 + 2)/(-3). Are q and c nonequal?
True
Let c be (-1)/(-1 + (-4)/(-3)). Let x be (12/(-20))/(c/2). Let z = -2/10615 + -42446/74305. Which is smaller: z or x?
z
Let c = -0.957 + 5.957. Which is smaller: -117 or c?
-117
Let t = 460 + -464. Let q be t*40/32 - (-45)/11. Is -1 at most as big as q?
True
Suppose -240 = -5*i - 3*o + 137, -2*i = 2*o - 150. Suppose 4*h - 3*r = -44 - i, r = -h - 23. Let l = h + -18. Is l at least -44?
False
Let j = 232 - 357. Let m = j - -269/2. Which is smaller: m or 11?
m
Let s be 4 + 3 + -4 + (-748)/6. Let r = 121 + s. Are 0 and r equal?
False
Let c = 3963 - 7963/2. Which is smaller: -18 or c?
c
Let m be (0/17 + (-4)/(-8))/(1/(-64)). Let a be 2/7 - (-432)/7. Let x = a + m. Is 2 > x?
False
Let t be (1/(-21)*-2)/(0 + (-25)/30). Is 15 < t?
False
Let i(t) = t**2 + 17*t - 9. Let b be i(-16). Suppose -2 = 2*y - 8. Let h be (y + 64/12)*-3. Is b at least as big as h?
True
Suppose 3*f = -2*n + 24, -30 = 3*f - 54. Is -4/8729 smaller than n?
True
Let g be -1 + (-15)/(-13) + 2100/39. Suppose -5*y - 19 + g = 3*h, -4*y + 7 = h. Suppose h = n + 4*c, -1 + 21 = 5*c. Is -2 > n?
False
Suppose r - 24*z - 3977 = -27*z, -z = -r + 3965. Is r >= 3964?
True
Let k = -209 + 208.9. Which is smaller: 4.4 or k?
k
Let p(k) = -k**2 - 9*k + 22. Let q(f) = 4*f - 52. Let g be q(16). Let a(w) = -w**2 + 12*w - 11. Let x be a(g). Let c be p(x). Which is smaller: 2 or c?
c
Let s(t) = -89*t - 2792. Let i be s(-32). Which is smaller: 441/8 or i?
441/8
Suppose -3*d = -y + 3, 0*d - 3*d = 2*y - 24. Let g be -1*3/y*-1. Let w = -28.28 - -28.56. Does g = w?
False
Let v be 2/(-10) + 29*(-3438)/90. Is -1109 > v?
False
Suppose 4*s - 6 = 2*s + 3*d, -5*s + 15 = -5*d. Suppose -2*c = -x - s, 4*x + 24 = 3*c - 13. Which is smaller: x or -144/11?
-144/11
Suppose -108*f - 42677 = 16075. Is -6 greater than f?
True
Let f(i) = -i + 8. Let c be f(3). Suppose 2*x = -q + 7, q = c*x + 3*q - 20. Suppose x*k - 40 + 10 = 0. Are 2/9 and k equal?
False
Let b = 0.32 - 0.3. Let r = -0.284 - 0.16. Let m = -1.444 - r. Which is smaller: m or b?
m
Let f be 4/(-16) + 2105/8500. Is f <= 2?
True
Let a be 11/((-114)/(-210) - 12/30). Let n = 47 - 45. Is n equal to a?
False
Let r = -13295 - -11486. Is r at most as big as -1808?
True
Suppose 9343 + 5309 = 11*a. Is 1337 equal to a?
False
Let g = -8202 + 8202.0311. Which is bigger: 2/7 or g?
2/7
Let g be (-2 + 3003)*3/(2 + -5). Which is bigger: g or -3003?
g
Let i be (18530/3825)/(3 + 303/(-105)). Is 41 smaller than i?
True
Let x be (-4604)/70 - 786/(-655). Is x <= -66?
False
Let h be 0 - (-4 - -5)*-2. Let z be ((-8)/24)/((h/(-858))/(-1)). Which is bigger: z or -142?
-142
Let a = 79.3 + -84.81. Let n = a - 50.49. Is -0.1 > n?
True
Let j be 90/(-4)*(-7)/(-5)*8/(-14). Is j less than -68?
False
Suppose 2*x + 45 = 5*b + 4*x, -3 = -4*b + 5*x. Suppose -5*w = -b*w + 8. Suppose w*m - 36 = -4*f, 8*f = -5*m + 5*f + 35. Which is greater: m or -2?
m
Let a be (-8)/(6 + (-330)/54). Suppose 17*x - 8*x - a = 0. Is 61/7 bigger than x?
True
Let n be 4/(-6)*12*(-5)/(-10). Let x be (n - 10/(-2))*74. Is x less than 75?
True
Let t = 14 + -36. Let n = -98 + 203. Suppose -3*v + 84 = -4*y + 2*v, -5*y - n = -5*v. Which is greater: y or t?
y
Suppose -7493*x + 7481*x = 252. Let v = 3 + -3. Which is bigger: x or v?
v
Let w be (3*(-40)/(-4905))/2. Suppose -61 = -42*v - 19. Which is bigger: v or w?
v
Suppose -76*b + 60 - 511 = 81. Suppose -9 = -5*l + 6*l. Which is smaller: b or l?
l
Suppose 2*y + 4 = 4*j, 5*j + 17 = -3*y - 0*y. Let u = -10/693 - -821/200970. Which is smaller: j or u?
j
Let u(t) = -t**2 - 8*t - 7. Let z be u(-6). Let r be -25*-8*z/(-25). Let i be 3/(-9) - r/3. Which is bigger: i or 10?
i
Suppose 3*o + 4*r = 13, -3*o - o + 2*r + 10 = 0. Suppose 4*d + 48 = o*d. Let x = d - -51. Is 21/8 equal to x?
False
Suppose -10*r + 75 = 5*r. Let j = -2 + r. Are j and 11 non-equal?
True
Let l(t) = -91*t - 4078. Let c be l(-58). Is c greater than or equal to 1197?
True
Suppose 0 = 99*h - 87*h - 216. Let i be 21/2*(h/(-135))/(-1). Is i greater than -1/3?
True
Let t = 194 - 196. Let j(l) = -24*l**2 + 4*l + 3. Let a be j(t). Is a bigger than -98?
False
Let z = -14/8437 + 65291/34262657. Is -1 smaller than z?
True
Let c = 115/4 + -29. Let y = 5.4 - 3.6. Let f = 6.8 - y. Is f smaller than c?
False
Let h be (-5)/((-25)/(-15)) - (-2 - 2). Let o be ((-12)/(-4) - 2)*-49. Is h less than or equal to o?
False
Let k = -257.4 + 254.4. Is 17 at most k?
False
Let x(z) = 3164*z + 19092. Let r be x(-6). Suppose -4*p + 2*f + 422 = 0, -4*f = 3*p - 453 + 120. Which is smaller: r or p?
p
Let s = -5417 - -21669/4. Is s >= -4?
True
Let s(r) = -3*r**2 - 16*r - 54. Let g be s(-6). Is -66 > g?
False
Let a = -151 - -131. Let k be (2 - 0)*10/a. Which is smaller: -18 or k?
-18
Let v(j) = 479*j + 7390. Let x be v(0). Which is smaller: 0 or x?
0
Suppose -1500 = -2*m - l, 4*m + 6*l + 3733 = 9*m. Which is smaller: 5252/7 or m?
m
Let f be 0/(6/36*6*-1). Suppose -q + 3*n + n + 355 = f, -n + 1130 = 3*q. Is q at least 374?
True
Suppose 0 = -35*m + 125*m - 116010. Are m and 1291 equal?
False
Suppose 0*z - 4*z = 0. Let j be (-3786789)/(-2220) - 3/(24/(-2)). Let b = j + -1706. Which is bigger: b or z?
b
Let r = -758 + 772. Let m be (-2)/4*r/(-7). Which is greater: 1/23 or m?
m
Suppose 0 = 12*y - 21*y + 576. Let m = -62 + y. Let n be -60 - (m + (-2 - -3)). Which is bigger: -64 or n?
n
Let d = -1136/527 - -34/31. Suppose 3*u = -4*z - 31, -742*z - 5*u - 41 = -746*z. Is d != z?
True
Let m be (3/2 - (-102)/(-12)) + (-48010)/(-6858). Which is smaller: m or 0?
0
Let a be -4*(4/16)/((-7)/119). Let u(v) = 4*v**3 + v**2 + v. Let g be (4/(-6))/((-16)/(-24)). Let t be u(g). Which is greater: t or a?
a
Let z(p) = -p + 10. Let u be z(7). Suppose -5*y - u = -2*y, 3*y = 4*t + 21. Let h be (t/(-9))/((-2)/15). Which is smaller: -9 or h?
-9
Let c = 13 - -6. Let p = -17 + c. Suppose -d = 3*d - i - 18, -p = 2*d + 5*i. Which is smaller: 14 or d?
d
Let f = 3249.1 - 3249. Which is greater: f or -3710?
f
Suppose 6 = -3*q - 4*d + d, 4*d = -q + 1. Let f = 3 - q. Let p be (-16)/f + -12 + 15. Which is smaller: -1/2 or p?
-1/2
Suppose 3 - 75 = -8*a. Suppose -4*j = -q - 3, j - q = 2*q + a. Suppose 2*p - 5*m - 21 = j, -2*p - 5*m = 3*p - 35. Are p and 10 unequal?
True
Let s = -903/275 - 227/25. Let c be ((-11)/(-4))/((-140)/560). Which is smaller: s or c?
s
Let c(k) = k**3 - 9*k**2 + 11*k + 22. Let o be c(7). Let a = -78 + 40. Let n be a/247*3/2. Is o not equal to n?
True
Let g(r) = -6*r + 194. Let l be g(32). Suppose 0 = 5*t - 5*w - 805, -l*t = w - 152 - 170. Are 162 and t equal?
False
Suppose 0 = -12*v - v - 2*v + 15. Is 2/1561 <= v?
True
Let g be (2/(-4) - 1)*(-1 - 3). Suppose g*m - 21 = 21. Suppose 0 = -3*l + 4*k + 3 + 10, -3*k = -5*l + m. Is l less than or equal to -6/11?
True
Let d(i) = -3*i**2 + 9*i + 2. Let p be d(4). Let x = p + 17. Let n(t) = -4*t + 24. Let g be n(x). Do -1 and g have the same value?
False
Suppose 21*h = 19*h + 16370. Suppose -46*g = h + 8099. Which is smaller: g or -355?
-355
Suppose 0 = 2*w + 3*w + 38577 - 5612. Is -6593 > w?
False
Suppose 3*f + 23*f + 312 = 0. Let p(i) = -i**3 - 9*i**2 + 18*i - 12. Let l be p(f). Are l and 204 nonequal?
False
Let h = 0.75 - 0.3. Let w = -1.8 - -2.35. Let