
False
Let r = 4035041385 - 133134996793/33. Let g = r - 647598. Let z = g - -164/3. Is z equal to -9?
False
Let v = -58 - -61. Let l be (1 + v)/(-4 - -2). Let d be 0/8 + l + (-1)/(-1). Which is smaller: d or -17?
-17
Suppose -2452 - 10594 = -v - 4*g, 2*v = 3*g + 26147. Is v >= -1?
True
Suppose 1422 = -5*v + 17*u - 14*u, -5*v + 2*u - 1418 = 0. Is v equal to 6?
False
Suppose 3 - 12 = 5*f + 4*c, -3*c - 4 = f. Let i be (-2)/2 - 267008/752. Let a = i - -356. Which is bigger: f or a?
a
Let d = 6528 + -6041. Is 493 greater than d?
True
Let h = 1422 - 1354. Is -29 not equal to h?
True
Let n be (5/(-15))/((-1)/33). Suppose -39 = -n*w - 6. Which is smaller: w or 35/12?
35/12
Let p = 182 - 210. Let w be 273/p + 9 + (-3)/(-12). Is w at least as big as 143?
False
Suppose 10103 = 12*n - 1429. Which is smaller: n or 959?
959
Suppose -9*h + 6*h = 3*a - 3408, 2*a = 8. Which is smaller: 0.2 or h?
0.2
Suppose 5*u + 90 = -5*m, 28*m + 3*u = 31*m + 18. Which is greater: m or -206/17?
m
Suppose -103*r + 1196 - 333 = -270. Is -147 less than r?
True
Let m(h) = 3*h**2 - 5*h - 4. Let w be m(8). Suppose 58 = -3*y + w. Suppose -5*r = -5 + y. Are -4 and r equal?
False
Let o = -19650 - -19724.8. Is -0.1 less than or equal to o?
True
Let z = -1096 - -984.9. Let s = z + 127. Let i = s + -16. Is i at most 2.2?
True
Let k(g) be the first derivative of g**4/4 + 5*g**3/3 + 3*g**2 - g - 80. Let m be k(-4). Is -68/9 < m?
False
Suppose 0 = 9*n - 10*n - 3. Which is greater: n or 805?
805
Let g = 387 - 165. Let b = 162 - g. Which is bigger: 0.2 or b?
0.2
Suppose 111*f + 39*f + 18727 = 89*f. Which is smaller: -304 or f?
f
Suppose -5*z + 40 = -5*m, 0 = 2*z + 2*z - 3*m - 32. Suppose z*q = 12*q. Suppose 2*t - 2*h = -q*t - 2, 1 = -t + 2*h. Which is bigger: -2 or t?
t
Let l = 21 - 69. Let z be 1226/(-26*(-3)/l). Let x = z - -754. Is x at most as big as 0?
True
Let s(z) = -11*z - 67. Let u be s(-7). Suppose u*h + 108 + 212 = 0. Which is smaller: h or -33?
-33
Let s be ((-24)/(-8) - 28)/((-9)/198). Which is smaller: 547 or s?
547
Suppose 25*n - 3*v = 24*n + 424, -v = -32*n + 14043. Which is smaller: -28 or n?
-28
Suppose 0*o - 427 = -3*o - 433. Which is smaller: -291 or o?
-291
Let m be 7/42 + 2*(-742033)/(-4560). Let l = -1628/5 + m. Which is greater: 0 or l?
l
Let c(f) = f**2 - 66*f + 1061. Let m be c(36). Which is smaller: m or 0.04?
m
Let o be (9/(135/(-50)))/(4/(-6)). Suppose -x - 2*h = -0*h + 2, 8 = -2*h. Let v be (12 - 11)*x/1. Which is greater: o or v?
v
Let g be ((-4)/(-70))/(60/(-75)). Let d(r) = r**3 + 7*r**2 + 3*r - 12. Let q be d(-6). Suppose q*s + 1 = 7. Is s less than g?
False
Let k be (-73)/((-918)/(-450) + -2). Is -1825 < k?
False
Suppose 0 = 2*h + 11 - 9. Let v be (-168)/18*(-6)/(-4). Which is bigger: h or v?
h
Let f = 15 - -1.2. Let l = f - 17.6. Which is bigger: l or 6?
6
Let k = -98 + 50. Let v = 2055.8 - 2055.7. Is k bigger than v?
False
Suppose 9 = -3*y - 0*y. Let f = 6460 - 6463. Are y and f non-equal?
False
Let b = -15 + 16.6. Let o = 1.41 - 0.35. Let d = o + -1.16. Which is greater: b or d?
b
Let x = 6437 - 988. Which is greater: -1/2 or x?
x
Let w = -1 - -1. Let k = 23137285/186 - 124394. Which is smaller: w or k?
w
Let w be (-4)/(-6) - (-4)/3. Let f be (9 + -17 - -8)/(9/(-3)). Suppose w*b - z = z - 22, -3*b + z - 39 = f. Which is smaller: b or 2/5?
b
Let p = -454.572 - -455. Let n = p + -0.528. Which is smaller: 51/7 or n?
n
Let f be (-4)/6 - (-100)/6. Let d be (-10)/2*2/f. Let l(k) = -3*k + 54. Let u be l(18). Which is greater: d or u?
u
Let z = -15023 - -19280. Do z and 0.1 have the same value?
False
Let y = 3/5896 - -6709639/17688. Let p be 0 + ((-250034)/(-654) - 3). Let s = p - y. Is s at most 1?
True
Let z be (20 - -10)/3 + -9. Is z smaller than -223?
False
Let o(j) = -3*j**3 + 6*j**2 + 9*j + 12. Let r be o(-5). Let t = 413 - r. Which is bigger: -77 or t?
-77
Let f = 342688.99 + -342689. Let g = 0.1 + -0.2. Let w = g - -0.2. Which is smaller: f or w?
f
Let o = -0.038 - 28.862. Let g = o - 13.1. Which is smaller: -0.1 or g?
g
Let j = -4.14 + 49.74. Let p = 18.3 + -62.3. Let t = j + p. Is t bigger than 1/3?
True
Let q be 4 + -2 + (-18)/5. Suppose -7*g + 42 - 82 = 33*g. Which is smaller: q or g?
q
Let j = 9.56 - 9. Let s = j - -24.44. Let r = s + -25.2. Do -24 and r have the same value?
False
Let s = -167/3545 + 1420921/30192765. Is -1 <= s?
True
Let r(d) = -14*d**2 + 4*d - 19. Let s(p) = -11*p**2 + 3*p - 20. Let z(n) = 4*r(n) - 5*s(n). Let b be z(7). Which is greater: b or -15?
-15
Let w = -69.22 - -69. Let n = -10.12 - w. Let b = n - -9.8. Which is smaller: 0.03 or b?
b
Let v = 2.75 + -430.75. Let q = -446 - v. Is q bigger than -4/11?
False
Let q be (3 - (-12 - -15)) + 12/14. Let a be (9/(-4))/((-36)/(-192)). Let v be (2*(-1)/a)/(6/(-24)). Which is smaller: q or v?
v
Let z = -1 + 0. Let b(x) = x**3 - 17*x**2 - 230*x - 103. Let f be b(26). Which is greater: z or f?
f
Let n be ((-18)/(8/4))/((-13)/(-104)). Do n and 20 have different values?
True
Let t be (0 + (-1 - -1))/(-1). Let f be -2*160/335 - (-7 - 36/(-6)). Which is smaller: t or f?
t
Suppose -91*h = -59*h - 3680. Is 114 bigger than h?
False
Let u(m) = -m**2 + 9*m - 17. Let f be u(5). Suppose -f*j + 42 = -21. Is j bigger than 27?
False
Let w = -267 + 536. Let z = w + -273. Which is bigger: 1/2 or z?
1/2
Let d = -60 - -9. Let z = 30 + d. Let m = -4 - z. Is m equal to 17?
True
Let y(u) = 68*u**2 + 54*u - 242. Let o be y(5). Which is smaller: 1730 or o?
o
Let n = 5070 + -5072. Are n and 844 equal?
False
Suppose 5*o = 5*s - 40, 4*o + 4*s - 4 + 44 = 0. Let d be (5 + 4)/(o/(-426)). Is 426 bigger than d?
False
Let g(r) = 35 + 254*r**2 - 16*r - 19 + 27 - 253*r**2. Let f be g(6). Which is bigger: f or -0.2?
-0.2
Suppose 5*l = 6*l - 148. Suppose 149*u = l*u + 7. Suppose q - u + 30 = 0. Is -22 greater than or equal to q?
True
Let w be (-12840)/(-42) + 2/7. Suppose 0 = -25*x + 8*x + w. Are x and 20 non-equal?
True
Let q be (-26)/(-2) + (-231 - -210). Let p = 3973 + -35821/9. Which is greater: q or p?
p
Let y be (-2)/16 + (-429)/9240. Is -1/6 > y?
True
Let w(c) = c**3 - 63*c**2 - 565*c - 213. Let f be w(71). Which is greater: -9/379 or f?
f
Suppose 3*u = 5*a + 115, 8*u - 5*a - 195 = 3*u. Which is smaller: 549/14 or u?
549/14
Let j = 3768 - 3633. Which is bigger: -23 or j?
j
Let a be (0 - 106)/(-2)*3. Which is smaller: 174 or a?
a
Let o be (-48)/(-21) - -2 - 4. Let l(t) = t + 5. Let c be l(5). Let g be 6/60 + 14/c + -2. Which is smaller: g or o?
g
Let o be 6600/(-462) - ((-4)/16 - (-3)/(-84)). Is o at least -1?
False
Let t = -5049441064169/9458919 - 302/1050991. Let g = t - -533236. Let r = 592 + g. Is 0 at most as big as r?
False
Let u = 348.5175 - 0.7975. Let q = 348 - u. Is 0.1 at most as big as q?
True
Let r = 226457/60630 + -7/4042. Suppose -5*w + 3 + 12 = 0. Which is greater: w or r?
r
Let x be (48/(-7484) - 0) + -9 + 8 + 1. Is 1 less than or equal to x?
False
Let d = -5879 + 5257. Is d < 4?
True
Let u be (4 - 3)/8*-102. Let o = 53/4 + u. Which is greater: o or 0.01?
o
Let z = -4712 - -4835. Do 131 and z have the same value?
False
Let d = -11.54 + 11.6. Let u(r) = 19*r + 27. Let t be u(-2). Which is bigger: t or d?
d
Suppose 2*a + 12 = 5*r, 8 = a - 4*r + 17. Let k be a/(12/2 - 1). Is k smaller than -20/7?
False
Let p(g) = 35*g**2 - 2*g - 7. Let r be p(2). Suppose -130*y - 12 = -r*y. Which is greater: 9 or y?
9
Let r be ((-6)/8)/((-1155)/154). Which is bigger: 1104 or r?
1104
Let k be 3*472/(-84) - (-54)/126. Which is greater: -2/5 or k?
-2/5
Suppose 3*a = o + 81, -5*a - 1217*o = -1214*o - 163. Which is smaller: a or -187?
-187
Suppose 21*n = -14*n + 175. Are n and 149/31 equal?
False
Let j be 2 + 26 + (-12)/6. Suppose 0 = t - j - 0. Suppose -29*q = -t*q + 75. Is -26 at most q?
True
Suppose w + 53 = 2*n, 107 = -4*w + 5*n - 114. Let i be (-167)/(-4 + 12/4). Suppose -2*s + i = -3*r, r + 5*s = 20 - 104. Is r at least w?
True
Let n = 3465/34 + -39757/68. Does n = -482?
False
Suppose -k - 8 = t, 0*t - 16 = 2*t - 3*k. Let d(v) = 3*v + 1. Let l(j) = -3*j + 32. Let u(b) = 5*d(b) + l(b). Let y be u(-4). Is t < y?
False
Let l(p) = -27*p**3 + 5*p**2 - 2*p - 2. Let a be l(1). Let q = -1.25 - -1.25. Which is smaller: q or a?
a
Suppose 24*u - 945 = 21*u. Which is bigger: 2 or u?
u
Let u(t) = -t**3 - 5*t**2 - 5*t - 6. Let k