-10*y - 6 = -t*y. Which is smaller: y or 1/110?
y
Let u(i) = 2*i**2 + 2*i - 7. Let z be u(-3). Let j be z/1 + 31031/(-6169). Is j smaller than 0?
True
Let q = 1813087204/817065 + 248/12195. Let m = -2219 + q. Which is greater: m or -1?
m
Suppose 23*p - 25*p = -5*v - 675, -v - 129 = -p. Let g = -322 + 183. Does v = g?
True
Let b be 18/(-15)*1350/120. Let t be (21/2)/(3/4). Let u = 1 - t. Which is greater: u or b?
u
Suppose -266*z = 186 + 80. Are -6/3725 and z non-equal?
True
Let p(i) = -120*i - 810. Let v be p(-5). Is v < -219?
False
Let s = -0.692 + 29.392. Let v = -19.7 + s. Which is greater: v or -1/7?
v
Let v(r) = r**3 + r**2 - r + 2. Let f be v(0). Let l = f + 0. Let u be 4048/1089 + (1 - 39/27). Is u > l?
True
Let j be 4/(16/10)*1952/2745. Which is smaller: j or -0.051?
-0.051
Let n be (-1758)/(-10) - (1 - (-6)/(-5)). Suppose -16*k + 3398 = 550. Is k smaller than n?
False
Suppose 12 = 3*b, -5*w + 3*b + 21 = 38. Is -15/341 less than w?
False
Let j = -169.8 - -170.62. Is 13 <= j?
False
Let h = 79 - 34. Suppose -13*w - 520 = -13. Let b = w + h. Is b bigger than 7?
False
Let v = -2.76 - -4.03. Let y = -1.37 + v. Is y bigger than 37?
False
Suppose -9*i = -8*i - 6. Let k be (-120)/i*(-1)/18. Is 2 at most k?
False
Let d(m) = 9*m**3 - 3*m**2 + m + 1. Let x be d(1). Let w be 9*x/(32/(-20)). Which is smaller: w or -1?
w
Suppose 8 = 73*x - 71*x, 0 = s - 4*x - 8. Is s <= -5?
False
Let h be -1*42/(-9)*9. Let r be 4 + ((-6)/3 - (-16)/(-8)). Is h greater than r?
True
Suppose 50717*j - 5112 = 50788*j. Let x be 448/(-6) + 4/6. Is x >= j?
False
Let y = 374.879 - 375. Let x = 0.065 + y. Which is bigger: x or -4?
x
Suppose 0 = 2*w + 4, 300*x - w = 302*x - 696. Which is bigger: 352 or x?
352
Let j = -2235 - -2238. Which is greater: -366 or j?
j
Let z = -1639562727026/16633572699 - -3424001/34707. Let g = -2/8123 + z. Which is bigger: g or -1?
g
Let f = -318 + 323. Suppose -j + f*k + 2 = 2*k, 4*k = -j + 16. Let d be 2/(-5) - 54/(-10). Which is smaller: j or d?
d
Let f = -1496/7 - -2991/14. Do 0 and f have the same value?
False
Let h(j) = j + 13*j**2 + 3*j - 14*j**2 + 31. Let t be h(8). Which is greater: t or -9?
t
Suppose 0*q = -3*q + 4*i - 546, 905 = -5*q + 5*i. Let r = q - -2672/15. Suppose -16 = 4*s - 5*w, -32*w + 29*w + 13 = s. Which is bigger: s or r?
s
Suppose -v = 4*v - 285. Let p = -22103 - -22162. Is v at most as big as p?
True
Let o = 9480 + -9476. Is o greater than 312/103?
True
Let g = -44 - -55. Suppose -g*v + 4 = 81. Let h be (-2)/10*(-186)/(-6). Which is smaller: h or v?
v
Let l = -0.17 - -1.77. Let r = 1803.22 + -1803. Which is greater: r or l?
l
Let h(v) = -v**3 + 26*v + 10. Let p be h(-6). Let m(c) = -21*c - 11. Let g be m(-4). Is g less than p?
False
Let n = -121.704 + 121. Let v = n - -62.104. Let b = 61 - v. Does b = -3?
False
Let v(m) = -m**3 + 25*m**2 + 12*m - 310. Let n be v(25). Let z = 16 - 97/6. Are n and z unequal?
True
Let m be -3*(15 - (-1589)/21). Is m at least -1?
False
Suppose -39*b + 62*b = -2277. Let a be (-2 - -1)*(89 + 64/8). Are b and a non-equal?
True
Let x = 568 - 967.5. Let o = x + 400. Is -0.051 at most o?
True
Suppose -9*t - 30 = -3*t. Let z(q) = -7*q**2 + 2*q - 10. Let x be z(t). Let w be (-146)/x - 24/30. Which is smaller: w or 1?
w
Suppose -3*o + 532 = 4*c, 879 = -19*o + 24*o - c. Which is bigger: o or 15?
o
Let u be 4/98*(-6 + 4382/728). Is u bigger than -1?
True
Let l = -643 - -644. Is l at most -2/539?
False
Let o = 0.48 + 4.72. Suppose -8*n - 5*k = -10*n + 7, -4 = 4*k. Is o greater than or equal to n?
True
Let b be (-20)/(20/5) - (-591)/129. Let h = 4/215 + b. Which is greater: -1/11 or h?
-1/11
Let l(a) = -9*a**2 - 34*a + 129. Let b(k) = -2*k**2 - k + 1. Let v(j) = -5*b(j) + l(j). Let p be v(21). Which is smaller: p or -0.3?
p
Suppose -49*j + 52*j + 3 = 0. Let i(s) = s**2 - 5*s. Let u be i(6). Let k be u/8*16/(-54). Is j at most as big as k?
True
Let r = 8834 - 14318. Are r and -5484 unequal?
False
Suppose 3*o - 55*p = -26*p - 30*p + 191, p - 5 = 0. Let g be (2/5)/((-1)/(-80)). Suppose 0 = -r + 2*u + 23 + g, -u - 248 = -4*r. Which is greater: r or o?
r
Let i = 329.88 - 327. Let z = i - 8.88. Is z bigger than -0.3?
False
Let g be -3318*((-35)/2)/7*(-6)/75. Which is smaller: -663 or g?
g
Let v = -12451 - -12452. Is 2/1447 at most v?
True
Let v = -1.809 - -1.009. Which is smaller: v or -11/8?
-11/8
Let y = 19.1342 + 0.8658. Are -198 and y nonequal?
True
Let g be 60/(-36) - -129*6/27. Let s be 36*g/12 - -1. Are 83 and s nonequal?
True
Suppose -45 = o - n, 5*o + 434*n = 435*n - 241. Which is smaller: -41 or o?
o
Let n = -0.0412 - -287.0412. Let g = n + -286.578. Let y = 0.022 - g. Which is smaller: y or 0?
y
Let x(n) = 50*n + 851. Let l be x(-18). Which is smaller: l or -55?
-55
Let q = -151.052 - -151. Let y = q - -0.152. Let m = -1 - 2. Which is greater: y or m?
y
Let y be (-9 - -1)*(-6 - 115/(-20)). Suppose -10 + 42 = 8*n. Suppose -n*f + 2 = -y*f. Which is smaller: 16 or f?
f
Suppose 75*q = -5*g + 73*q + 7, -4*g = 4*q - 20. Which is greater: -1/7261 or g?
-1/7261
Let p be 0/(((-8)/10)/(152/(-380))). Let r = -98.783 - 0.217. Is p not equal to r?
True
Suppose 6*i = -0*i + 24. Suppose 2*c + 70 = -2*p, 0 = 2*p - i*c + 35 + 53. Let o = -84 + 46. Is o at least p?
True
Let h = -10 - 9. Let t = -17 - h. Let s(g) = -2*g**2 - 1. Let z be s(t). Which is smaller: z or -8?
z
Let c = -7813048/203 - -38488. Is 1 bigger than c?
True
Let g be (-4)/3*(23/1 + 1398/(-60)). Let m = 0.03 + 2.97. Which is smaller: g or m?
g
Suppose -7*x + 73 + 1649 = 0. Suppose 6*w = x - 48. Which is greater: 32 or w?
w
Let w(c) = -2*c**3 + 41*c**2 - 25*c + 96. Let k be 84/280 - 197/(-10). Let v be w(k). Let s be (0/((-2)/(-2)))/2. Is v greater than or equal to s?
False
Let c(h) be the second derivative of -7*h**4/3 + h**3/6 + 7*h**2/2 - 6*h. Let t be c(-3). Is -249 < t?
True
Let o = -350342228/75645 + -5/15129. Let v = o - -4655. Which is smaller: 25 or v?
v
Suppose -180 = 4*f - 0*f. Let l be 13 - ((-167)/(-7) + 18)*(-28)/(-20). Which is smaller: l or f?
l
Suppose -13*w - 30*w + 31992 = 0. Suppose w*o = 746*o - 2. Are o and -4/53 nonequal?
True
Suppose 229*t + 6 = 228*t. Let p be (-30)/18 - 79*t/288. Which is bigger: p or 2?
2
Let o = 266/897 + -151712/614445. Which is smaller: o or -1?
-1
Let q = 40 + -66. Let z = 1097 + -1024. Suppose -78*v - 5 = -z*v - f, 0 = 4*f. Does v = q?
False
Let k(q) = -5*q - 33. Let i be k(-7). Let j be (-224)/(-48) - i/(-6). Suppose j*v + 14 = -6. Is v greater than or equal to -18/5?
False
Let p = -20953 + 146002/7. Let c = -593/7 - p. Which is bigger: -0.1 or c?
c
Let h = -0.0192 - 251.9808. Let f = h - -252.06. Do 1.2 and f have different values?
True
Let p(b) = -13*b + 58. Let j be p(4). Let h be j/(-15)*5/(-266). Which is greater: 0 or h?
h
Let a = 61 + -21. Suppose 5*v + 0 = a. Suppose 6*h = v*h - 32. Which is bigger: h or 17?
17
Let u = -80 - -78. Let f be -5*1*(-3 - (-4 + u)). Let k = 9 + f. Is k less than or equal to -17/3?
True
Let z be 1*(-7)/980*-14. Is 202 at most z?
False
Let m = -67 + 65. Let k be (40/(-70))/(m/(-7)). Is k greater than or equal to -20/7?
True
Suppose 312*v - 199*v = -332446. Do -2940 and v have the same value?
False
Let t = 1278 - 1226. Is t less than 155/3?
False
Let y be (-198)/(-891) + 14/18. Let w be 78/(-21) - -4 - (-33)/(-112). Is w at least y?
False
Let k be -4*(1 + (-24)/32)*(-1)/(-5). Which is smaller: k or -63?
-63
Let a = -5340 - -5339. Which is smaller: a or 11/320?
a
Let t(w) = w**3 - 4*w**2 + 10*w - 10. Let p be t(3). Suppose 89 = 20*v - p. Are v and -10 equal?
False
Let m be (-32)/7530*(15 + 1449/(-84)). Are m and 1 non-equal?
True
Let j(m) = 32*m - 110. Let v(b) = -31*b + 113. Let s(a) = 6*j(a) + 7*v(a). Let c be s(5). Suppose -7*y + 60 = -3*y. Is y at least as big as c?
True
Let f be (-2 - -1)/((-2)/34). Suppose -582 = -22*s + 7272. Suppose 6*n + 261 = s. Is n equal to f?
False
Suppose 4*u + 4*x = 8, 0*x = 2*u + x - 3. Suppose 0 = 98*n - 97*n + 5*v - 36, 3*n = 4*v + 241. Which is smaller: n or u?
u
Let o(u) = -112*u + 512. Let m be o(5). Is -56 bigger than m?
False
Let p = 0.4 - 0.2. Let b = -6207 - -55877/9. Which is bigger: b or p?
b
Let k(x) = x**3 + 5*x**2 - 17*x - 17. Let s be k(-7). Suppose 2*v - s*m + 46 = 0, 108 = -0*v - 4*v + 4*m. Let h = v - -30. Which is grea