u be 66/(-10) + (-6)/(-15)*-1. Let r = u + 85. Is r < 78?
False
Let m = -3609 - -249014/69. Do -1 and m have the same value?
False
Suppose -2*r + 8 = m, -5*m + 14 = 2*r - 18. Let v be 537/(-18) + (-7)/m + 1. Which is smaller: -28 or v?
v
Suppose 17 = 4*w - 3*u, -3*w + 50*u = 46*u - 11. Let y be (645/w)/((-4)/(-1) - 3). Which is bigger: 0 or y?
y
Suppose 0 = -84*l + 87*l. Suppose l = -d + 203 + 68. Is 270 <= d?
True
Let l be (-549)/48 - (-24 - -12). Which is smaller: -4 or l?
-4
Let z = -15190 - -15193. Let r be 39*(-3)/27*3. Which is greater: r or z?
z
Let s = 16.9652 - -0.0348. Let u = -73.8 + 85. Let k = u - 11. Which is greater: k or s?
s
Suppose -5*r - 50 = 5. Let q = -210 - -212. Suppose q*x - 61 = -79. Is x less than r?
False
Suppose 78 = 3*h - 24. Let q = h - -50. Let w be (1 + -2)/(q/16). Which is smaller: w or -1?
-1
Let c = -11387/5 + 2277. Let d = 0.7 + -0.735. Let o = 34.965 - d. Is o less than c?
False
Let w = 3.0298 - 1.5708. Which is smaller: w or -3/8?
-3/8
Let k = 168356 - 14646799/87. Which is bigger: k or 2?
2
Suppose -2*o + 7182 = -4*l, -5391 = l + 2*l + 3*o. Let b be 28/(-70) + l/10. Let h be (-2 + (-356)/b)*-3. Which is smaller: -1 or h?
-1
Let h = 0.35 - -0.05. Let c = h + -2.4. Let s = -119 + 123. Is s <= c?
False
Let g be -4 + (-2 - (-6)/2). Let z be 2/3*(-55 + 1)/g. Let l be (4/3)/(z/30). Which is smaller: l or 2?
2
Suppose -j - 43 = -2*n, -2*n - j = -38 - 3. Let k be 500/14 + (-5 - (-111)/n). Is 34 at most as big as k?
True
Let i be (1/(3 - 4))/((-5)/10). Suppose 5*x = -i*f - 0*x + 106, -3*f - 3*x + 141 = 0. Which is smaller: f or 44?
f
Let x be (6 + 510/(-13 + 7))*-1. Let p = 111 + -29. Is x less than or equal to p?
True
Let w = 184 - 196. Let x be (-4 - 46/w)/(2/(-8)). Which is smaller: -20 or x?
-20
Suppose 22*k - 11100 = 56*k + 1684. Which is bigger: -377 or k?
k
Let g = -0.04928 - 505.95072. Do 7 and g have different values?
True
Let y(u) = -u**2 - 5*u + 11. Let t be (-6)/(-24)*(10 - 2). Let w be y(t). Is w at most 1?
True
Suppose 0 = -2*p + 4, -2*p + 24 = 4*b + b. Suppose 0 = -b*s + 6 + 6. Suppose 4*w + 11 = g, -g + 2 = -s*g. Which is smaller: 3 or w?
w
Let o be -4 + ((-3)/9 - (76/(-12) - -6)). Is o at least -145?
True
Let p(n) = n**2 - 12*n - 172. Let a be p(-10). Let d = -55 + 103. Is d <= a?
True
Let f be (3 - 1)/((-2)/3). Let r = 0.9186 - -3.0814. Which is smaller: f or r?
f
Let m be (-2)/(-3) + 343/1. Suppose 2*t + q - 397 = 275, -2*q + 2016 = 6*t. Let f = m - t. Is 7 at most as big as f?
True
Let b = 3241 - 3216. Is b less than 15?
False
Let n = 2937/20 - 3629/40. Let y = n + -231/8. Which is bigger: 28 or y?
28
Let t = 2/3317 - -18788/1847569. Which is bigger: t or 0?
t
Let o = -1880 - -1879. Which is smaller: -5/603 or o?
o
Suppose -2725 = 5*q - 5*n, 5*q - 2*n + 2716 = -0*n. Which is smaller: -2709/5 or q?
q
Let l = 15.9 + -15.87. Let g = 10 - 11.8. Which is greater: g or l?
l
Let k be (-36612)/22 - (-80)/440. Is -1662 bigger than k?
True
Let q(z) = 3*z**2 + 51*z + 27. Let i(k) = k**2 + 16*k + 9. Let f(t) = 7*i(t) - 2*q(t). Let p be f(-7). Is p >= -94/7?
True
Let l be 0 + 5 + -14 - (-261)/14 - 10. Let w be ((-7)/(-2))/((-2)/(-4)). Suppose a - w = -2*v, 3 - 5 = a - v. Which is greater: l or a?
a
Suppose -7*l + 0*l = -l + 2*l. Which is smaller: -1/5010 or l?
-1/5010
Suppose 3*d - 12 = 6*d. Suppose -5*r + 15 = -3*r + v, -3*v = 3. Suppose -5*y = -2*l + 24, -5 + r = -y + l. Which is greater: d or y?
d
Let y be -1 + (-2 - (0 + -8)). Let v(r) = -r**3 - 8*r**2 + 12*r - 5. Let q be v(-9). Let u be (-2 - q/(-12)) + 4. Is y smaller than u?
False
Let k = -7862 - -7896. Is k < -90?
False
Suppose -3*m - q - 101 = 0, -2*m = 3*m + 2*q + 170. Suppose 70*o - 73*o - 15 = 0. Let g be 22/(-5) + (m/o - 6). Is g at most -8?
False
Let q = -4/1355 - 106/813. Which is bigger: -1172 or q?
q
Let m(g) = 11*g - 242. Let k be m(22). Let n(s) = -s**2 - 8*s - 26. Let a be n(k). Is -28 at most a?
True
Let t be (108/(-45))/(33/1880*-2). Let q = t - 64. Are 3 and q equal?
False
Let x = -415811 - -11373678281/27353. Is 1 less than or equal to x?
False
Let l be (-1548)/20*(-90)/1350. Which is smaller: l or 4?
4
Let x(j) = 9*j**2 + 7*j + 3. Let c be x(4). Suppose c*s - 24 = 163*s. Is 25/13 smaller than s?
True
Let c be 22873/(-108) - 5/20. Let b = 419 - 631. Let z = b - c. Which is smaller: 0 or z?
0
Suppose -413 = -n - 4*z, -2*n + 15*z = 19*z - 846. Let x = n + -232. Which is smaller: 203 or x?
x
Suppose 0*o + 2*d = 3*o, 0 = -o - d. Let l = -135 - -136. Let i be (7 - (-763)/(-119)) + (1 - l). Is i < o?
False
Let o = 232 + -229. Let u be (380/15)/(2/7). Let a = 274/3 - u. Which is smaller: o or a?
a
Let y = 9 - 36. Let c = y - -26.96. Let j = 4.04 + c. Which is smaller: j or -0.5?
-0.5
Let n = 3 - -62. Let y be 2/n*15/348. Let d = y + -9053/3770. Which is smaller: -3 or d?
-3
Suppose -126 = -20*z + 23*z. Suppose 1220*n = 1224*n + 5*m + 170, -m - 202 = 5*n. Which is smaller: z or n?
z
Let h be 189/(-126)*12/(-945). Let x be -1*((-12)/24)/(1/(-2)). Is h != x?
True
Suppose -3*f - 530 = 5*p + 2*f, -5*p + 4*f = 485. Let c = 128 + p. Let w(g) = -g**3 - 6*g**2 - 9*g + 9. Let d be w(-5). Is c at most d?
True
Let i be 8 - 12*(-7)/(-28). Suppose -4*t + 214 = -i*m - 94, 5*t + 3*m - 385 = 0. Is t at least as big as 77?
True
Suppose -232*a + 222*a - 1960 = 0. Let d = 110 + a. Which is bigger: d or -88?
d
Let t = 27.967 - -0.033. Let i = 11 + t. Let f = i + -39. Do 2/3 and f have the same value?
False
Let v = -88.28 + 86.28. Is v >= -927?
True
Let n(p) = -13*p**2 - 18*p - 21. Let t(v) = 23*v**2 + 35*v + 42. Let c(o) = -7*n(o) - 4*t(o). Let h be c(-10). Which is smaller: h or 30?
h
Suppose -a + 563 = 3*u, 3*a + 0*a + 181 = u. Let d(n) = 32*n**2 - 32*n - 4. Let b be d(3). Are b and u equal?
False
Let x(a) = a**2 + 9*a + 6. Let c be x(-9). Suppose 0 = 6*t + 9 - 21. Suppose -3*f = 4*b + 9, t*b - 2*f + c = -2. Which is smaller: b or 8?
b
Let x = 414 - 406. Let f(c) = -5*c - 59. Let s be f(x). Which is smaller: -100 or s?
-100
Let n(s) = -4*s + 17. Let r be n(-3). Let l = 891 - 861. Which is greater: l or r?
l
Suppose 2*q = 2*g + 8, -q + 5*g - 3 + 7 = 0. Let u(y) = -y**3 + 37*y**2 - 64*y - 205. Let w be u(35). Which is smaller: w or q?
q
Let n(f) = 4*f - 855. Let d be n(63). Which is smaller: -602 or d?
d
Let z be 40*1779/(-3)*5/(-2). Let h be z/(-318695)*124/10. Let b = 2/4903 - h. Is 1 greater than or equal to b?
False
Let m(r) = r**3 - 3*r**2 - 197*r + 602. Let t be m(3). Suppose d = 5*y - 1, 0*d - 5*d + y = -91. Is t bigger than d?
False
Let p be ((-32)/(-240))/(2/66*2). Let v = -4.166 - -3.166. Which is smaller: v or p?
v
Let j(b) = 8 + 7 + b**2 + 19*b + 2*b. Let i be j(-20). Let h be 15/2 + i/(-10). Which is smaller: h or 6?
6
Let z = 18486 + -18240. Let q = 196 + 50. Is q smaller than z?
False
Let m be (208/12 + 0)*-3. Let j be ((-3)/(-2))/((-39)/m). Suppose 0 = -5*r + 2*c - 3, j*c - c = 5*r - 1. Which is greater: -1.7 or r?
r
Let q = -168.57 - -168.67. Which is greater: 11605 or q?
11605
Let p = -2.8 - 11.2. Let z = p - -22. Let r = -9615 - -19231/2. Is r at most as big as z?
True
Let d = -6880.56 + 6883. Is d less than -2?
False
Suppose -13*m + 11*m - t - 529 = 0, 509 = -2*m - 5*t. Let f = m + 273. Do 19/3 and f have the same value?
False
Suppose -3*u - 12 = 0, 3*u + 370 = -2*r - 150. Is r < -267?
False
Suppose -15*h + 7*h + 19566 = 10*h. Which is bigger: h or 1088?
1088
Let c be (-1 - 1)/((-22)/33). Let g be ((-4)/(-3))/(4/c). Let d be (-7 - -6)/((42/4)/3). Which is greater: g or d?
g
Let k = 1229 + -1557. Is -324 < k?
False
Let y be 0/(-4 + 6/3). Let c be 5 + (0 - 2) + y. Let h = -27073/8 + 3386. Which is bigger: c or h?
c
Suppose 6*i = 2801 + 169. Suppose 5*o - 2*o - i = -5*k, 0 = k + 5*o - 99. Is k bigger than 99?
False
Let f be (98/21)/((-31192)/(-288)). Which is smaller: f or 0?
0
Let m be 8/2 - ((-12 - -1) + -2). Suppose 5*c - 8 = m. Suppose c*y = u - 9, -2*u = -7*u + 5*y + 5. Are 1/71 and u non-equal?
True
Let x be (-5 + -3)/8*11. Let t = -4 - -6. Let q be (t/x - (-217)/(-77))/(-3). Which is smaller: -3/8 or q?
-3/8
Let s = -2036293 - -34633244/17. Let p = s + -957. Let a be (4/(-4))/(-2 + 1). Which is greater: p or a?
a
Let d = -10 + 22. Let u = 50 - -76. Suppose -630 = -d*c - u. Is 85/2 smaller than c?
False
Let c(b) = 596*b - 735. Let m