6)/(-5) + 4/(-2). Let t = p + -81/55. Let d(g) = -g**3 - g**2 + 1. Let n be d(-1). Which is smaller: n or t?
t
Suppose -13 + 1 = -3*k, -2*k = 4*i - 4. Is i greater than 0?
False
Let k = -5.3 + 4.9. Which is smaller: -45 or k?
-45
Let h(f) = -f + 13. Let j be h(16). Let x be (-12)/57 + j - -3. Suppose 0 = 2*w + 5*r + 8, -3*w + 2*r = -0*w - 7. Is x bigger than w?
False
Let f = -1241 + 1332. Which is smaller: 90 or f?
90
Let l be 8/10*(-180)/(-6). Let b = -25 + l. Which is bigger: b or 3/10?
3/10
Let t = 184/497 - 6/71. Let n = 10 - 10.7. Let d = n - -1. Do d and t have different values?
True
Let m be ((-13)/3 - -3)*3. Let x = -5 - m. Let v = -10/3 - -3. Which is smaller: x or v?
x
Suppose 140*u + 17 = 157*u. Is u bigger than -9/25?
True
Suppose -d + 5*i + 970 = 0, 19*i = -4*d + 22*i + 3948. Which is greater: d or 991?
991
Let t = -9 - -3. Let o = -72 - -79. Let u = t + o. Is u less than 2/69?
False
Let x = -0.25 + 13.25. Let c = x + -13. Which is bigger: 0.7 or c?
0.7
Let t = -90 - 41. Is t at most -131?
True
Suppose 5*n - 350 = 4*y, -5*y + n - 257 = -2*y. Let d = -232/3 - y. Is d at least -0.2?
True
Let h be 12/36*21 + 3/(18/(-80)). Let g be (-1)/(2 + (-26)/14). Which is smaller: g or h?
g
Let o = 112.888 + 0.112. Let w = o - 111.8. Which is smaller: -1 or w?
-1
Suppose -4*j = -v - 15, -3 - 5 = -j - 4*v. Let u be 12/4 - j - 16/(-6). Which is bigger: -10 or u?
u
Let s be -3 + 4 + (-36)/15. Let t be 10/30 + 1/(-3). Which is smaller: s or t?
s
Suppose -4 = 6*k - 2008. Is k >= 334?
True
Let r = 6 + -5.8. Let x(o) = o - 8. Let b be x(7). Which is bigger: b or r?
r
Let a = 2.06 + -0.06. Let o = -38 + 9. Let b = o + 29.04. Do b and a have different values?
True
Let q be 5 + (-4)/(-2) + -7. Suppose q = 3*o - 15*o + 96. Which is smaller: o or 42/5?
o
Let v = -8473/5 + 9011/5. Which is greater: 107 or v?
v
Let b be 3 + -6 + (-303833)/7. Let a = b + 43495. Let u = -87 + a. Is 0 > u?
False
Let k(u) = -7*u - 67. Let l be k(-7). Let b be 2/(-3) + 165/(-9). Let w = l - b. Is 2/9 >= w?
False
Let x = 1632/575 + -57/23. Let p = x - 228/425. Which is bigger: 0 or p?
0
Let k = -56.85 - -0.85. Let y = -55 - k. Is 34 greater than y?
True
Let c(s) = -2*s + 1. Let d be c(-3). Suppose d*r = 4*r + 39. Let l be (-140)/(-65) - 2/r. Which is smaller: l or -3?
-3
Let g = -322 - -2902/9. Which is greater: g or -1?
g
Suppose 0 = -6*m - 7 - 23. Let t = 5 - 2. Suppose 0*g = t*g + 18. Is m at least g?
True
Let o = 17 + -15. Suppose 24 = -o*s + 5*p, -4*p + 2*p = 8. Is s smaller than -23?
False
Let j = -3.025 + 3.05. Which is smaller: -2 or j?
-2
Let m(h) = -3*h + 2. Let u(y) = -y**2 - 4*y + 3. Let d be u(-4). Let s be m(d). Let i be (5 - 12) + 1 + -2. Is s > i?
True
Let r = 7 - 1. Let w be (-12)/(r + -2) + 1. Let b = 21 - 24. Is w greater than or equal to b?
True
Let p = 36.9 - 36. Are -0.05 and p equal?
False
Let n = -3 - -11. Suppose n*v = 6*v. Is v > 0?
False
Suppose -q + 2*q - 3 = 0. Let h(s) = -s**2 + 8*s - 2. Let p be h(7). Suppose p*v - 3*m = -17, 5*v = -q*m + 3 + 4. Is v at most as big as -3?
False
Let i = 0 + 28. Let r = 27.8 - i. Let m = -0.1 - r. Does m = -2?
False
Suppose -6*v = 3*v - 27. Suppose 0*c = -v*c + 6. Is 6 <= c?
False
Suppose -4*l + 10 = 2. Let d be (l/(2*-3))/((-3)/9). Which is smaller: d or 1/8?
1/8
Suppose 0 = 5*t - 3*k - 31, 5*t + 0*t - 55 = -5*k. Suppose -4*s - 4 = -t, -3*w + 10 = -2*s. Is w != 14/5?
True
Let h = -159 - -151. Which is smaller: h or -13?
-13
Suppose 4 = -4*y, -2 + 9 = -2*h + y. Let g be (5 + -4)*(-696)/144. Which is smaller: g or h?
g
Suppose 0 = j - 4*x + 2*x - 9, -4*j - 5*x = 16. Which is smaller: j or -4/31?
-4/31
Let l(z) = 6*z - 3 - 7*z**2 + 9 + 1 - 1. Let u be l(-3). Do -147/2 and u have different values?
True
Let y = -9/38 + -1/76. Which is bigger: 222 or y?
222
Let t be (-1)/(-4) + 180/(-400). Let q(h) = 2*h**2 + 3*h. Let d be ((-4)/10)/((-4)/(-20)). Let u be q(d). Which is greater: t or u?
u
Suppose -62 - 1258 = 40*l. Is 0.2 bigger than l?
True
Let o = -2/11 - -15/22. Is 2/35 less than o?
True
Let x = 1.3 + -1.4. Let t = 3.71 - 4. Let l = t + -0.01. Is l >= x?
False
Let u be ((-7)/(35/20) + 2)/1. Suppose 3*k + 2 = -1. Are k and u nonequal?
True
Let u(g) = -4*g - 2. Let l be u(-5). Suppose 0*o - 4*o = 3*c + l, 3*o = 9. Let i be (-345)/(-27) - c/45. Which is smaller: i or 14?
i
Let y = 16272/7 - 2319. Is y at most as big as 5?
False
Let y(p) = p - 15. Let z be y(13). Which is smaller: 4.62 or z?
z
Let h be (-6)/39 - 324/(-2275). Suppose -2*s = -0*s - g + 2, -4*g + 15 = -s. Is s smaller than h?
False
Let y = 1261 + -1240. Is 14 != y?
True
Let a = -6208/9 + 690. Is a smaller than -306?
False
Let b = 0.07 - -26.93. Let y = b + -27. Let v = 7 - y. Is v >= -2?
True
Let p(u) = u**2 - 9 + 2*u + 7 + 0*u**2. Let a be p(0). Is -2 greater than a?
False
Let g(t) = t**2 - 3*t + 12. Let i be g(6). Suppose m = -m - 2*x + 62, 4*m - 133 = -x. Let k = -4 + m. Do i and k have different values?
False
Suppose c + 2*t - 5 = -24, 57 = -3*c + 3*t. Let y = 401 + -837/2. Which is greater: c or y?
y
Suppose -4*v + 174 = 2*x, -4*v - 5*x + 195 = 6. Let i = v + -35. Which is smaller: 39/7 or i?
39/7
Suppose -m + 5*l - l - 100 = 0, 2*m + 4*l + 140 = 0. Let r = -882/11 - m. Let q(i) = -i**3 - 10*i**2 - 11*i - 19. Let o be q(-9). Which is smaller: r or o?
o
Let z be (-1183)/(-952) - 2/17. Let q be (-6)/27 + 2*(-2)/(-18). Is q at least z?
False
Let w be 5 + 594/(-120) + (-2)/(-10). Let t = 0.17 - -1.53. Let d = -1 + t. Are w and d equal?
False
Let h = -177/35 - -118/7. Let s = -76484 - -1529339/20. Let x = s + h. Which is bigger: -4 or x?
-4
Let r = 13 + -9. Suppose -5 + 49 = r*g. Let s = 10 - g. Is s != 0.05?
True
Suppose m = s + 2, -4 = -s - 3*m - 2. Is s less than or equal to -2/3009?
True
Let d(o) = -91*o - 13. Let v be d(-7). Let m be 2/6 - (-1232)/v. Which is smaller: 2 or m?
2
Let l(j) = j**3 + j**2 + j + 2. Let d be l(0). Suppose 2 - 4 = -d*v. Let m be 1/(-6) - (-4)/6. Which is smaller: v or m?
m
Let y = 0.0132 + 24.8868. Does 0.1 = y?
False
Suppose 4523 = -35*b + 218. Is b at most -125?
False
Suppose 6 = 2*j - u + 31, 65 = -5*j + 3*u. Let m be (9/(-45) + 9/20)*-41. Which is smaller: j or m?
m
Let a = -305 + 304.99. Is -0.1 at least as big as a?
False
Let s = 2.7 + -5.7. Let f = s + 3.8. Is 0 less than f?
True
Suppose -2*g = 3*z - 10, 2*z - 1 = -3*g + 4. Let q(m) = -14*m**2 - 7*m - 1. Let l be q(-4). Let s = l + 1382/7. Which is bigger: g or s?
s
Suppose 75*x + 0*x = 34650. Is x greater than or equal to 463?
False
Let b(y) = y + 1. Let d be b(-4). Let v be 1 + 12 + d + 1. Let s = v + -10. Which is greater: 0 or s?
s
Suppose -2*t - 3*f + 139 = 0, 2*t + 4*f - 54 = 80. Which is smaller: t or 76?
76
Suppose -p + 6*p - 10 = 0. Suppose 0 = 4*v - 4, 0 = -5*k + 4*v - 0*v + 716. Let l be ((-2132)/k)/(-13) - (-1)/(-4). Which is smaller: p or l?
l
Let h be (2/(-3) - 1/(-15))*-5. Let y(t) = -6*t - 5. Let c be y(h). Which is bigger: c or -25?
c
Let p be 6/(10/(-5)) - (-2 + 99). Which is smaller: -101 or p?
-101
Suppose 8 = 5*p - 17. Suppose p + 10 = 3*o. Let q(g) = 3*g - 16. Let t be q(o). Is 3 greater than or equal to t?
True
Suppose 0*d - 5*d = -60. Suppose 24 = 11*n - 8*n - 2*c, 2*n - 16 = 5*c. Which is greater: d or n?
d
Let n(r) = -r**2 + 14*r + 49. Let d be n(17). Is -21/16 less than or equal to d?
False
Let b = 715.58 - 712. Is -1 greater than or equal to b?
False
Let p = -3/17620 + -2850913/17620. Which is smaller: p or -161?
p
Let t = 0.56 - -1.44. Do -2/51 and t have different values?
True
Let f(w) = -2*w**2 - 6*w - 5. Let a be f(-2). Are -34/69 and a unequal?
True
Let f(r) = r**3 - 2*r**2 - r + 1. Let z be f(2). Let i(u) = -3*u**3 - 2*u**2 - 2*u - 1. Let a be i(z). Does 2 = a?
True
Suppose -33*y - 1525 = -38*y. Which is bigger: y or 0.1?
y
Suppose 0 = 44*m + 3*m + 329. Is m > -0.97?
False
Suppose 0 = -3*y + 36 - 12. Suppose 0 = -k + 3*m - 1 - 4, -2*m + y = -3*k. Is -7/4 less than k?
False
Let c = -28.8 + 28.77. Does -1/4 = c?
False
Let c be ((-1)/2)/((-1)/(-28)). Let s = 28 + c. Let x = -6 + s. Is 3 greater than or equal to x?
False
Let n = -1 + 4. Let w be n/(-9)*0 - (2 - 1). Let m be (1 - 0)*-1 + 3. Are w and m nonequal?
True
Let p(l) = l**2 - 55*l + 558. Let b be p(13). Which is bigger: b or -3?
b
Let i = 907 + -1809/2. Does 4 = i?
False
Suppose 170