 - 21 = 3*v, 4*v = -g*y + 2*y + 38. Which is greater: -10 or y?
-10
Suppose -22 = -0*j - 2*j. Let s = 278 - 62. Let u = s + -215. Is j != u?
True
Suppose -t - 12 = q + 4*t, 2*t = 2*q. Let v be 1/((-951)/(-237) + -2 + q). Which is smaller: v or 80?
v
Suppose -25*q + 21*q = -32. Suppose -q*w - w = 216. Let j be (-6)/2*4*(-6)/w. Which is smaller: j or -5?
-5
Let k = 64 + -131. Let u = k + 55. Let j be u/(0 + (-110)/(-25)). Is -4 less than or equal to j?
True
Suppose -684 + 665 = b. Let f = 44 + -65. Which is bigger: b or f?
b
Let m(w) = -7*w - 9. Let i be m(8). Let a = 32 + i. Let k be 4 + a/5 - -3. Which is greater: k or 7/4?
7/4
Suppose 0*z - 3*z = -300. Let i be -1 - 55/(-20) - 127437/(-1284). Which is greater: i or z?
i
Let w = -665/33 - 321/11. Which is greater: w or 7?
7
Let j be (-2 + 2)*8/(-24). Let y be (9/18)/((-1)/(-4)). Suppose j = r - y*r - 2*r. Is -3/14 > r?
False
Let h = -1983/20 - -407/4. Is h at most 2?
False
Suppose 4*i + 4 = -3*x, -3*i + 3*x - 1 = 2. Let d be (60/(-8) - 2)*-6. Which is greater: i or d?
d
Suppose -3*h = 4*l + 16 - 0, -3*h = -3*l - 33. Let k = 0 - -3. Which is bigger: l or k?
k
Let t = 0.1 + 0. Let x = -0.03 + t. Let a = -19764 + 19765. Which is smaller: a or x?
x
Let w be (-6)/8 - (1 + 60/(-16)). Suppose -375 = -5*f + 5*v, -w*v - 133 + 536 = 5*f. Let n = f - 71. Is 8 bigger than n?
False
Let v(q) = q**2 - 14*q + 19. Let b(c) = 4*c**2 - 57*c + 77. Let z(n) = 2*b(n) - 9*v(n). Let a be z(5). Is 132/7 smaller than a?
False
Let v(g) = 2*g**3 - 10*g**2 + 2*g - 8. Let p be 3*1 - 2/(-2 - -1). Let o be v(p). Suppose -o*n + 8*n + 6 = 0. Are n and -1/14 non-equal?
True
Let x = -79 - -78.576. Let s = 0.054 + x. Let h = -0.57 - s. Is h at most as big as -3/4?
False
Let r = 6302 - 29650912/4705. Which is smaller: r or 1?
r
Let g = -29810 - -2593442/87. Is g less than -1?
False
Suppose 3*v + 6*c = c + 72, -5*v + 5*c = -120. Let j = 515 + -1474/3. Which is smaller: v or j?
j
Let m be 2/8 - 190/(-8). Let j = -271194 + 271223. Are j and m equal?
False
Let o = -91 - -151.8. Let h = o - 61. Which is smaller: 1.1 or h?
h
Let h be 6/(-12)*(45 + 3/3). Let a be (h/4 + -1)/(36/99). Let t = 37/2 + a. Is 2/9 less than t?
False
Let z = -5762/5 - -1158. Is z not equal to -2/9?
True
Let v = -151 + 199. Suppose 61*x - v*x = 1274. Is 98 > x?
False
Let d be ((-34)/136)/((-31491)/(-12)*1/(-1)). Is -1 at most as big as d?
True
Let g = -28 - -28. Let a be (-102)/(-30) + (-3 - g). Let p = -6 + -25. Which is greater: p or a?
a
Let l(r) = -28*r**2 - 12*r + 20. Suppose -81*w + 8 = -77*w. Let a be l(w). Which is smaller: a or -118?
-118
Suppose 0 = 5*r + 5*h - 9325, r + 4*h - 1991 = -147. Does 1871 = r?
False
Suppose -y = y - 3*q - 11, -5 = 5*q. Suppose 0 = y*i - u + 4*u - 28, -i + 3*u - 8 = 0. Suppose -i*l = -l. Which is greater: l or 1/46?
1/46
Let w = 3 - 1.2. Let l = -1.7 + w. Suppose -7*m - 1 = -15. Which is bigger: m or l?
m
Suppose -375 = -4*m - 3*x, -x = 1 - 2. Let y = 278/3 - m. Which is bigger: y or -29?
y
Let h be 18/4*((-5)/(-3) + 1). Suppose -h*t = -15*t + 240. Is t <= 82?
True
Suppose -22 = 2*l + 5*i, 377*l - 44 = 381*l - 2*i. Which is bigger: l or -20?
l
Let t = 107.2 + -106.2. Which is smaller: t or -795?
-795
Let j be (-31)/((-496)/(-96)) + (-1714)/16. Is j greater than -114?
True
Let v(k) = -k**2 - 13*k + 4. Let s be v(-7). Let a = 46 - s. Let z(c) = c**3 + c**2 + c - 6. Let f be z(a). Is f at least as big as -5?
False
Let u be ((-8)/(-8))/(0 + (-5)/745). Is 6 > u?
True
Let v be (20/25 - (49/(-35))/7) + 617. Is 615 > v?
False
Let s = -71.65 - -3.65. Let y = s + 60. Which is bigger: -19 or y?
y
Suppose 38*i + 7*i + 163*i + 4368 = 0. Is -24 < i?
True
Let m(k) = -k**3 - 15*k**2 + 16*k. Let n be m(-16). Suppose -f + 2*x - 26 - 30 = n, -5*f + 2*x = 264. Is 0 <= f?
False
Let a be 15036772646/(-2710) - (3 + 5)/(-4). Let v = 5548622 + a. Let z = 2/271 - v. Which is smaller: 1 or z?
z
Suppose -4*t + 4 = -2*t. Let i be -15 + 7/4*4. Let z be (21/9)/(i/(-8)). Is t >= z?
False
Let v(i) be the third derivative of i**5/60 + 7*i**4/12 - 7*i**3/3 - 73*i**2 + 2*i. Let x be v(-15). Let s(y) = -y - 4. Let a be s(-6). Which is bigger: a or x?
a
Let j be 1/(-2)*-6*3. Suppose -8*t + 216 = -664. Suppose -23*s + 12*s + t = 0. Which is smaller: j or s?
j
Let l(s) = -s**2 - 23*s - 97. Let m be l(-11). Suppose -b + 724 - m = 5*r, -r + b + 139 = 0. Which is smaller: 139 or r?
r
Let m(d) = 4*d**2 + 26*d - 10. Let q be m(-7). Suppose 0 = -q*j - 3*u + 76, 4*j - 4*u + 6*u - 76 = 0. Is 21 >= j?
True
Let h be 2 - (0 - (-2517)/343)*12/44. Is 1 equal to h?
False
Let o be -5 - ((-2370)/2376 - 4). Let w be 3 + ((-12)/(-2) - 12) + 3. Which is smaller: o or w?
o
Let m be ((-13255)/(-99))/1 + 2/18. Which is smaller: 137 or m?
m
Let n be -3*(-6)/(-27)*(-15)/2. Suppose 3*o = -0*o + 5*q + 198, 0 = n*q + 15. Is 61 at most o?
True
Let d = -4.1 - -2.1. Let q = -25 + 25. Let h = d - q. Is h greater than -34?
True
Suppose -9*x - 6 = -11*x. Suppose x*b = 2*j + 3 + 62, j + 52 = -5*b. Let n = j - -39. Which is smaller: -4 or n?
-4
Suppose -2*p = -3 - 1. Let l be 13 + (-186)/23 + (440/506)/10. Which is smaller: p or l?
p
Let d(b) = -28*b - 12. Let h be d(-5). Suppose z - h = 47. Let k be (-30)/z*2/6. Is -2/5 not equal to k?
True
Let i = -118 + 120. Is i at least as big as 2570?
False
Let j(g) = 6*g - 8. Let t = -43 - -45. Let n be j(t). Suppose 0 = -o - b - 4 + 13, -2*b = -n*o + 6. Which is smaller: 2/3 or o?
2/3
Let f be (42/(-84))/(470/45). Is 1 greater than f?
True
Let l = -6480 - -6480.2. Does l = -3656?
False
Let j(a) = a**2 + 54*a + 155. Let o be j(-3). Is 161/58 greater than o?
True
Let t = 38 + -34. Suppose 0*b = -t*b + 8. Suppose 8*a = b*a. Is -1/43 at least a?
False
Let a(g) = -g + 16. Let n be a(19). Let b be n/(-7) + (-96)/28. Let z be (-15)/30*-1*(-4)/b. Which is smaller: -6/17 or z?
-6/17
Let p = 955810 - 17645208414/18461. Which is smaller: p or -1?
-1
Let t be (-297)/72 + 1/8. Let j = 7 + t. Is j less than -9?
False
Let t = -672 - -676. Suppose h + 5*v = 10*v + 20, 4*v + 16 = -t*h. Which is greater: 2/395 or h?
2/395
Let d be (-4494236)/(-9780) - ((0 + 1)/3 + -1). Which is greater: d or 460?
d
Let l be (-216)/(-12)*2/15. Let h = 2 - l. Let u = 1/15 + h. Which is greater: u or 0.1?
0.1
Let f = 16.62 - 16.4. Let p = f + -0.52. Is p less than or equal to 8?
True
Let f = 8.057 + -3.857. Which is smaller: f or -0.05?
-0.05
Suppose 0 = 5*h + 14 - 149. Let a(o) = 4*o**3 - 23*o**2 - 6*o + 49. Let q be a(6). Let k = h - q. Which is greater: -23 or k?
k
Let g = 2694237891/59642 - 90347/2. Is g at least -1?
True
Let g = -41 - -44. Suppose -h = g*h + 16. Let p be (-3 - h) + (0/(-2) - -7). Is p equal to 8?
True
Let q(l) = 4*l + 3. Let s be q(0). Suppose 4*b = -4*p - 16, -20 = -s*b + 5*b + 5*p. Do b and -12 have the same value?
False
Let w(v) = -v + 3. Let j be w(-11). Let i(y) be the third derivative of -y**5/60 + 5*y**4/8 - 5*y**3/2 + 7*y**2. Let n be i(j). Which is smaller: 1/11 or n?
n
Let v = -2378 + 2071. Which is bigger: 3/4 or v?
3/4
Let z = -0.9 - -0.86. Let k = z + -2.86. Let n = k - -1.9. Which is greater: -7 or n?
n
Let q = 26 + -23. Let k be (-1)/4*(1 + q). Is k at most -117?
False
Let f(c) = -c**3 + 29*c**2 + 25*c + 154. Let x be f(30). Let y be -7*x/((-168)/177). Is y less than -2/3?
False
Suppose -5*r + 4*i - 380 - 229 = 0, -1085 = 9*r + 4*i. Is r equal to -5/9?
False
Let c be 14/63 - (-6 - 4676/(-63)). Is 18 equal to c?
False
Let k = 14564/7067 + 40/191. Is k <= 2?
False
Suppose -5*r - 5 = -4*c, -35*r + 1 = -5*c - 36*r. Does -1/513 = c?
False
Let y(o) = o**2 - 10*o + 2. Suppose 35 = 2*t + 5*n, -t + 0*n + n = -7. Let c be y(t). Suppose p + c*p = 8*p. Which is smaller: 1/15 or p?
p
Let k = -40 + 55. Suppose -v + 5*p = -5 - k, 2*v - 22 = p. Suppose v*q = 5*q + 65. Which is bigger: 15 or q?
15
Suppose 2*g + 11*r = 7*r + 22, g - 21 = -4*r. Are g and 19/9 unequal?
True
Suppose 18*p - 15640 = 47*p + 39*p. Which is smaller: -228 or p?
p
Suppose 0*l - 13*l = 1456. Let u be 6 + (2 - (-892)/l). Suppose -3*b + 5*j + 5 = 0, 4*b - 5*j + 2 = 7. Which is greater: b or u?
u
Let m(h) = h**2 - 7*h + 7. Let j be m(6). Let y be (66/(-99))/(2337/(-9)). Which is bigger: y or j?
j
Let u = -8/633 + -16739/27852. Is u at most -2?
False
Let d = -348.78 - -352. Let y = d - -1.58. Which is sm