et g be (-26)/p + (-5)/(15/4). Which is smaller: -0.6 or g?
-0.6
Suppose 0*j = 5*j. Let t be -5*(-3 - (-1224)/420). Which is greater: t or j?
t
Let s be 17 - (1/1 - (-3)/3). Let g be (-1)/(-4) + s/(-60). Is g at least as big as 1/4?
False
Let i = 51/350 + 7/50. Is 119 greater than i?
True
Let w = -38.6 + 2.6. Let p = 36 + w. Is 2/15 smaller than p?
False
Let n = -134.0588 - -0.0588. Is 0.1 at least as big as n?
True
Suppose 5*w = -3*l + 2236, 0 = 3*l - 4*w - 3124 + 933. Is l less than 736?
False
Let d = 37 - 133. Let z = -95.78 - d. Which is smaller: -1 or z?
-1
Let h be 6/(-33) - (-216)/(-22). Let a(m) = m**3 + 5*m**2 + 3*m + 7 - 2*m**3 + 0*m. Let f be a(6). Is f less than or equal to h?
True
Let r = 2150 + -2139. Let u be ((-4)/(-3))/(1/3). Suppose -2*v + u*m + 24 = 0, -5*v + 3*m = -m - 54. Which is bigger: r or v?
r
Let f be (-448)/(-231) + 2 + 12/(-3). Let u = -3 + 3. Which is bigger: f or u?
u
Let d be ((-3)/18)/(-6 - 205/(-35)). Is 0 >= d?
False
Let g be 3 - 0/(0 + -1). Let n be (-221)/(-34) + g/1. Suppose 0 = k + 5, 0*c = 3*c - 5*k - 58. Does n = c?
False
Let g be 1/(-3) - (-24038)/72162. Let a = 9057475/5159583 + g. Let r = a - 21/11. Is r bigger than 0?
False
Let l = 2299 - 2410. Is l less than or equal to -109?
True
Let m = 104 - 101. Is -0.18 not equal to m?
True
Suppose -213*j + 218*j = -330. Are -73 and j non-equal?
True
Let t = 5.14 - 0.84. Let b = t - 2.3. Which is smaller: b or -2?
-2
Suppose 11*o + 255 = 6*o. Let k = o + 50. Suppose -2 = 2*c - 0*c. Is c at least k?
True
Let v(y) = y**3 - y + 1. Let j(n) = 5*n**3 + n**2 - 3*n + 4. Let x(p) = j(p) - 4*v(p). Let m be x(-5). Let k be 1 + m/57 - -1. Which is bigger: 0 or k?
k
Let h(y) = 5*y - 50. Let p be h(6). Is p < -29?
False
Let x be (4/6)/(6/(-9)). Let d = 0 - x. Let q be (-3)/(66/4)*(16 + -17). Do d and q have the same value?
False
Let n be (2 + 556/(-282))*4/(-8). Is n less than 1?
True
Let y be 274/10 - -1*8/(-20). Suppose y*l = 25*l + 14. Is -2 > l?
False
Let v be (3*17 - 2) + (-1 - -2). Let f = v - 51. Which is smaller: -5/11 or f?
f
Let i = 3.8 + -3.34. Let q = i + -0.06. Let y(h) = h**2 - 6*h - 10. Let r be y(7). Which is bigger: q or r?
q
Let g(c) = 4*c + 9. Let u be g(-2). Let f = 0 - 3. Which is bigger: u or f?
u
Let s = 12.2 + -20.5. Let z = s - -8. Which is bigger: -3 or z?
z
Let o = -19 - -29. Suppose -26*y = -25*y + z - 5, 8 = -4*z. Is y < o?
True
Let r = 0 - -1. Let m = 0.1 - 0.1. Let x = r + m. Is -1 at least as big as x?
False
Suppose 9*p = 12*p + 813. Which is bigger: -272 or p?
p
Let j = -531 - -532. Are j and -85 non-equal?
True
Let d be ((-1)/(-30))/((-6)/(-9)). Let s = -13 - -27. Suppose -12*y + s*y = 0. Is d less than or equal to y?
False
Let f be (2/7)/((-6)/(-9)). Let h be 8/(-7) + (-30)/(-14). Is f bigger than h?
False
Let k = 40 + -11. Is k less than 13?
False
Let p be ((-1)/2)/((-26)/12). Suppose -j + 0*j + 15 = -r, 4*j = 2*r + 56. Let a(m) = 2*m - 25. Let k be a(j). Which is greater: k or p?
k
Let z = 0.6 + -3.5. Let f = 2.1 - z. Which is smaller: f or -1?
-1
Let l(v) = -v + 3. Let k be l(7). Let o be (-45)/(2/k + -1). Is 29 less than o?
True
Let z be 20/11 + (6 - (-448)/(-77)). Do 14 and z have different values?
True
Let j be (-1024)/(-96)*(1*-4 - -1). Does -161/5 = j?
False
Let p(m) = -m - 4. Let g be p(-6). Suppose 0 = -t + g*o - 2, 4*t - 3 - 2 = -5*o. Is t greater than 0?
False
Suppose -9 = o - 2*k, 3*o + 2*k - k - 8 = 0. Suppose o = 2*x - 0*i - i, 0 = -x - 2*i + 3. Suppose x - 4 = 3*p. Is p equal to 1/19?
False
Let t = -0.582 + 0.382. Which is bigger: t or -180?
t
Let t be (3/3)/1 - 2. Let d be 15084/15076 + -3 + 3 + -1. Let m = d + -30174/41459. Are m and t nonequal?
True
Suppose 4 = 4*v + 2*l, 5*v - l - 18 = -6. Let c = 12 - v. Let b be 5/3 + c/(-15). Is 1/7 at least as big as b?
False
Suppose m + 4*m - 5*u - 5 = 0, 3*m - 4 = 4*u. Is -1/124 less than m?
True
Suppose -3 = -4*g + 1. Suppose 0 = 4*x + r - 12, -14 = -4*x - x - r. Is g greater than x?
False
Let q(t) = 3 + 7*t**2 + 2*t**2 + t**3 - 5*t**2 - 4*t. Let j be q(-5). Let y = 1/32 - 131/96. Does j = y?
False
Let c = 9 - 883/98. Is c greater than -1?
True
Let x be 1 + 8/(-5) + 18/630. Let l be 2/(-3) - (-2)/3. Suppose -3*m + 15 = -l*m - 3*o, -10 = 2*m + 2*o. Which is smaller: x or m?
x
Let f = -246.61 + 248. Let m = 1.49 - f. Which is bigger: m or -0.037?
m
Let d(f) = f**3 - 13*f**2 - 16*f + 12. Let u be d(14). Let v be (-17)/1 + 2/1. Let t = u - v. Which is smaller: 1 or t?
t
Let y = 69 + -66. Suppose -6*v = -y*v + 3, 44 = h + 5*v. Are h and 49 non-equal?
False
Let w = -60 + 51. Let m(p) = p**2 - 5*p - 5. Let f be m(5). Let z(g) = -g**3 - 6*g**2 - 3*g + 2. Let a be z(f). Is w bigger than a?
False
Let g = 29 - 25. Suppose k - 2*k + 8 = 5*o, k + g*o - 7 = 0. Is k <= 3?
True
Let c(i) = -i**2 - 5*i + 1. Suppose 12 = -2*o - o. Let a be c(o). Suppose 10 = a*f - 30. Is 4 equal to f?
False
Suppose t = 4*t + 3. Let l = 135 + -134. Let o be (t/l - 0) + 0. Which is bigger: 1/6 or o?
1/6
Let a(n) = 10*n + 10. Let u be a(0). Suppose -648 = u*s - 2*s. Is s equal to -82?
False
Let l = -1/20058232 - -1329941014555/541572264. Let w = l - 2456. Which is smaller: w or -1?
-1
Let p be 166/(-1245) + 317/465. Which is bigger: 1 or p?
1
Let j be -1*(5 + (-3 - 1 - -2)). Which is smaller: j or -68/23?
j
Let u = 1331 + -192. Which is smaller: u or 1138?
1138
Suppose 0 = 2*k - 3*x + 11 + 26, 3*k + 3*x + 63 = 0. Let o be (-2 - -7)*k/(-25). Suppose 0 = 3*f - f - 2*t + o, 1 = -5*f + 2*t. Which is greater: -2 or f?
f
Let a(k) = -5*k**2 - 5*k - 9. Let n(y) = 3*y**2 + 3*y + 5. Let x(l) = -4*a(l) - 7*n(l). Let t be x(0). Let w be 2 + t + 1 + -15. Which is bigger: w or -10?
-10
Let u = -2983 + 5837/2. Which is greater: u or -64?
-64
Let m be (-92)/143 - 288/(-624). Which is smaller: m or -18?
-18
Suppose -2*o + 3*r - 43 = 0, -4*o - r - 97 = 4*r. Is o smaller than -93/4?
False
Let d = -3 - -2. Let h = -1267 + 1273. Which is bigger: h or d?
h
Suppose 5*d - 12 = d. Let i be (2/(-3))/(1256/(-6558)). Let p = 3/157 + i. Are d and p non-equal?
True
Let l(j) = 9*j - 14 - j**2 - 6*j + 9*j + 2*j. Suppose -52 = -2*a - 2*a. Let q be l(a). Which is greater: q or 1?
1
Let r = 3171.459 - 3170. Let l = r + -0.289. Let o = l + -0.17. Which is greater: o or 0.08?
o
Suppose 0 = 13*j - 1306 - 904. Suppose 10*v - j - 80 = 0. Is v < 23?
False
Let h be 2*4/24*39. Let p(i) = -2*i + 28. Let w be p(h). Let u = -2 + 4. Are w and u unequal?
False
Suppose -4*m - 11 = 3*a - 0*m, 0 = a - 2*m - 3. Suppose 0 = 2*y + 2*y - 96. Let o be (-4)/(-6)*y/(-18). Which is smaller: a or o?
a
Let m(c) = 4*c**3 + c. Let x be m(-1). Let a = -129 + 131. Suppose -3*h - 8 + 21 = -a*b, -5*b - 3*h - 22 = 0. Is b greater than x?
False
Suppose -z - z + 8 = -3*u, 62 = 5*z + 3*u. Let m = z - 9. Is m less than 1/16?
False
Let d = 6 + -5.92. Let l = d - 0.02. Let v = l - -0.04. Which is bigger: v or -2?
v
Let q be 7*(12/(-14))/(-3). Suppose 0 = -5*t + b + 12, -b + 9 = q*t - 0. Let f be (3 - t)/(-3 - -2). Is 2/31 less than or equal to f?
False
Let t = 0.0009 - -212.9991. Is t greater than 0.1?
True
Let w = 139 - 305. Is w < 1/3?
True
Let u = -1 + 0. Suppose -k = 264 - 267. Which is greater: k or u?
k
Let u = 241 + -241.97. Let l = u + -0.13. Let r = l + 2.1. Is r less than or equal to -13?
False
Let z = 0.317 - 11.317. Let y = -1.46 - 8.84. Let w = z - y. Which is bigger: 1/4 or w?
1/4
Let k = -291 - -289. Which is bigger: k or 0.33?
0.33
Let c(y) = y**2 + 3*y - 18. Let s be c(4). Which is greater: 100/9 or s?
100/9
Let l be 3/(-2) - 34/(-4). Let a be (-1 - 0)*2/l. Let k = 178 + -185. Is k < a?
True
Let x = -437 + 428. Which is smaller: x or 0.06?
x
Let w = 888 - 889. Let v = -10 - -7.1. Do w and v have the same value?
False
Let w(y) = 3*y - 13. Let t be w(4). Suppose 0 = 3*o - o - p + 19, 5*o - 2*p + 48 = 0. Let s = o - -8. Which is greater: s or t?
t
Suppose j - 3*d = 45, -4*j + 5*d + 131 = -j. Let l = 42 - j. Is -1/43 bigger than l?
False
Let i(p) be the second derivative of -p**3/6 - 3*p**2 + 11*p. Let s be i(-6). Let u = -1725/7 + 246. Which is greater: s or u?
s
Suppose 0 = 15*d - 11*d - c, -2*c = 4*d. Is d <= -40/41?
False
Let l be -3*(-7)/(-14)*46. Let a be (2/5)/(18/(-3060)). Are l and a unequal?
True
Let i = 12556/3 + -4185. Suppose 0 = d - 2*t - 6 + 15, -3*d = 2*t 