r t?
t
Suppose -3*f - 2*i = 1835, 68*i + 1807 = -3*f + 73*i. Which is greater: 0.3 or f?
0.3
Let w(s) = -2*s**2 + 16*s + 21. Let u be w(5). Let t = 337 - 283. Which is greater: t or u?
t
Let s be 132/(-7) - (-19)/(-133). Let n be 15 + s + 2 + -2. Which is smaller: n or -2/3?
n
Let n(r) = 4*r**2 - 20*r - 19. Let b be n(-3). Are b and -30 equal?
False
Let p = -834.96384 + -0.03616. Is -0.4 not equal to p?
True
Let t = 35.9894 + -36. Let v = -0.80521 + -0.19479. Which is greater: t or v?
t
Let k(d) = d**3 + 3*d**2 - 8*d - 10. Let u be k(-4). Suppose -7*w - 2*n - 5 = -u*w, -5*n = 5*w + 10. Let v be w/(3 - (-115)/(-10)). Which is smaller: v or 3/5?
v
Let f be 16/(-40) - (83/5 + 2). Which is smaller: f or -314/17?
f
Let z = 10877 + -10876.9. Which is greater: z or 28890?
28890
Let a = 2276 - 2022. Which is greater: -2/11 or a?
a
Let f be 10*(-2)/(-16) + 55/(-33). Let w = 1/3 - f. Let o = -3.04 + 0.04. Is w >= o?
True
Let j = -1 - -1. Let y = 32423/33745 - 39/1985. Which is bigger: j or y?
y
Let s be (5 - 6)*(1 - 2). Let w be ((-12)/3 - 1)/s. Let l = -65 + 64.9. Is w at most l?
True
Suppose -103*m + 18*m + 9204 = -7*m. Does 124 = m?
False
Let n(k) = -k**3 + 9*k**2 + 22*k - 8. Let d be n(11). Suppose 3*g = 6*g - 3. Let u be g + (1 - 3) + 1. Is u bigger than d?
True
Let l(j) = j - 19. Let h be l(6). Let a be h - (-6 - 4) - (-104)/38. Is -1 at least as big as a?
False
Let w be (-3467)/(-1)*(-30)/30. Is -3467 < w?
False
Let z = 42314157/1783 + -23732. Is -1 > z?
False
Suppose 50 = j + j - 2*o, 5*j = 4*o + 128. Suppose j = 12*a - 20. Suppose -a*c + 10 = -x, 7*c - 8*c + 1 = 0. Which is greater: x or -3?
-3
Suppose -1024*l = -1031*l + 3654. Let p(d) = -3*d**3 + 6*d**2 + 2*d + 8. Let c be p(-5). Which is greater: c or l?
c
Let b(c) = 3*c + 31. Suppose 0 = -5*q - 2*m - 52, -m - m + 48 = -5*q. Let w be b(q). Suppose 0 = 3*z - 5*z. Is z at most w?
True
Suppose -3*w + 3 = 3*l, -5*l + 6 + 0 = 4*w. Suppose -29 = -l*g + n, 62 = 5*g + 2*n - 33. Which is smaller: 16 or g?
16
Let p(h) = h**3 + 36*h**2 + 32*h - 104. Suppose 222 = -21*i - 513. Let t be p(i). Is t at most as big as 2/263?
False
Let f = -17 + 20. Let a be 4*(-4)/(-16) + f. Let p be ((-44)/(-12) - a)/(-1). Is 0 greater than or equal to p?
False
Let x(p) be the third derivative of -p**6/120 - 7*p**5/60 - p**4/3 - 7*p**3/3 - 174*p**2. Let i be x(-6). Which is bigger: i or -50/19?
i
Suppose 70*j - 4073 + 1483 = 0. Let b = -1.5 + 1.3. Are j and b non-equal?
True
Let c be ((-1)/3)/(1/3). Suppose 5*l + 2*u = -36, -2*l = 2*l - 2*u + 18. Let h be (-3 - 0) + -116*l/264. Is c >= h?
False
Suppose 20305 = 55*f - 6150. Do f and 482 have different values?
True
Let n = -318 - -324. Suppose 3*v + 11 = i - 3, n = 5*i + v. Is i < -13?
False
Suppose -4*o = -19*o + 15. Let x = -1094535/209 - -5237. Are x and o equal?
False
Let f = 6102 - 6100.643. Which is bigger: -2/7 or f?
f
Suppose -8*y = 4*y - 324. Let a = -37 + y. Let z be (-4 - -3)*14/a. Which is smaller: 1 or z?
1
Let m = 53.6 - 53. Let q = 421 - 417. Which is smaller: m or q?
m
Let u be ((-1127)/69)/((-2)/(-12)). Let o be 3 - ((-32)/7 + (-28)/u). Which is smaller: o or 7?
7
Suppose -9*v + 80 = -1. Suppose -14*d + 11*d + v = 0. Suppose -q - d = 0, 0*q = -5*l - 4*q + 113. Do l and 25 have the same value?
True
Suppose 35 = -25*z - 15. Which is smaller: -23/12 or z?
z
Let w = 3.717 - 4.273. Which is bigger: w or 2?
2
Let x = -69443 - -69494. Let c be (-2*13)/(2/(-4)). Which is smaller: x or c?
x
Let j = 49 + -43. Let p be 172/28 - j/42. Suppose -7*b + 19 = -p*b. Which is bigger: b or 18?
b
Let f = -230041 - -4639236846/20167. Which is smaller: f or -1?
-1
Let k = -247745 + 1738582/7. Let j = -625 + k. Which is smaller: 1/4 or j?
j
Let p = -26 - -23.1. Let w = 3 + p. Let b = -131.2 + 130.92. Is w less than or equal to b?
False
Suppose -3032 = 6*k + 2*k. Let h = -87 - k. Which is greater: 293 or h?
293
Let k = 3835391/1812 - 6350/3. Are -1 and k nonequal?
True
Let f = -0.003 + -129.997. Let o = f + 108. Which is bigger: o or -1?
-1
Suppose -5*d = -2*d + 18. Let b be (d/10)/(81/(-90)). Let v be (2 + 12/(-9))*(5 + -2). Which is smaller: v or b?
b
Let x(m) = m**3 - 4*m**2 - m + 5. Let p be x(4). Let f be -10 + (-12045)/308 + 6/(-8). Let q = 49 + f. Which is bigger: p or q?
p
Let n = 14290110 - 8230622. Let j = 4702163521/776 - n. Let f = j - -5/97. Which is bigger: f or 2?
2
Let o = 1.488 + -1.488. Let h = 16.2 + 1.8. Is h not equal to o?
True
Let w(u) = 5 - 3 - 3 + u. Let r be w(-2). Let z be 32/3 + ((-33)/9 - r). Which is bigger: 7 or z?
z
Suppose -4*u - 4286 = 3186. Let v be 2/(-5) + u/23850*-6. Let p = v + -1/75. Is -1 not equal to p?
True
Let z = 198 - 144. Suppose z = -3*n + 3*h, -24*n + 19*n - 88 = -3*h. Is -10 at least as big as n?
True
Let t = 150.787 - -0.213. Let q = 213.8 - t. Let v = -63 + q. Do v and -11/4 have the same value?
False
Let j = -140068/9 - -15562. Which is greater: -2 or j?
j
Suppose 0 = -3*j - 2*v + 901, -2*j - 21*v = -18*v - 609. Let a be 298 - 0 - (-11 + 12). Is a greater than j?
False
Suppose 4*g + 23*r = 25*r + 21762, r = -2*g + 10883. Let b = -1708471/314 + g. Which is smaller: 0 or b?
0
Suppose 11*x - c = 7*x + 5000, -3*c = -5*x + 6236. Is x at most as big as 2?
False
Let v = 24291 - 24307. Is 333 less than or equal to v?
False
Let s be (-306)/(-24)*(3 + 1). Let l = 38 + -34. Suppose -l*c + 60 = -144. Are c and s unequal?
False
Let a = 134/819 + 6967/8190. Is 2 > a?
True
Let i be 9/(99/(-1034)) + 7. Which is bigger: -7 or i?
-7
Suppose 64*p = 12*p + 260. Suppose 5*m = -5*z, -5*z - 12 = -2*m - p. Is 2/877 > m?
False
Let w(d) = -d**3 + 63*d**2 - 123*d + 21. Let k be w(61). Suppose -3*z + 3*g = -2*z - 1, 4*z + 3*g = 19. Which is bigger: k or z?
z
Let g be 1*11/22*4*22. Let u(v) = -v - 7. Let f be u(-6). Is f smaller than g?
True
Let i be (-72)/(-54) - (-4750)/(-30). Is i greater than -163?
True
Let s = 11.12 - -723.88. Let z = s + -726. Is 3 at least z?
False
Suppose 71*z = 78*z + 7. Which is smaller: -13/37 or z?
z
Let p = -20.29 + 21.39. Suppose 20 = 5*r - 4*v, -v + 20 = 4*r - 5*v. Let w = -2 + r. Which is bigger: w or p?
p
Let l be (-15)/5 + ((-2670)/190 - 4*1). Which is smaller: l or -21?
l
Let p = -0.4 + 1.06. Let h = -34.66 + p. Let f = 34.1 + h. Which is smaller: 2/33 or f?
2/33
Let t(w) = 3*w - 30. Let j be t(8). Let c be (j/8)/((-2094)/(-16)). Which is smaller: c or -1?
-1
Let o = -1837 - -1327. Is o greater than -1?
False
Let a(u) = -u**2 - 4*u - 3. Let h be a(-2). Let r = 214423/1801506 + 1/42893. Is r != h?
True
Let c be 2/8 + ((-14)/784)/((-3)/10470). Is 63 less than c?
False
Let w = -0.07 + -591.93. Let j = w - -566. Do -5/6 and j have the same value?
False
Let m be 6 - (-20 + 10 + -10356 + -3). Is m less than 10374?
False
Let u = -27982978/5 - -109269919285848/19524355. Let k = u + 193939323064/42953581. Let b = k + -4508. Which is smaller: b or 8?
b
Let w be -5 + 8 - (-1 + 2). Let n(f) = 6*f - 10. Let t be n(w). Let b be (3/7)/(t/(-2 - 2)). Is b at most as big as -2?
False
Let h = 0.989 - 1.0718. Let g = -56.5828 - h. Is 0.1 > g?
True
Let b be (-1 + 0)*(-25 + 26) - (0 - 2). Is b bigger than 9/557?
True
Let c be (-72 + 65)*18/14. Let j be ((-144)/20)/(c/(-480)). Is -384 at least as big as j?
True
Let m = 7.1 + -1.2. Let o = -2.1 + m. Let x = -0.8 + o. Do x and -6 have the same value?
False
Let s(v) = -14*v - 350. Let j be s(-25). Which is bigger: -6/821 or j?
j
Let b be (1389 + -1388)*(-27 - 1). Suppose -4*u - 145 = -33. Do b and u have the same value?
True
Let b = -15029 + 781509/52. Is 6/7 smaller than b?
False
Let y(x) = -824*x - 4944. Let v be y(-6). Is 3/7072 greater than or equal to v?
True
Let o be ((-558)/4)/(-10 + (-30)/(-2) + -40). Which is smaller: o or 5?
o
Let u = 0.106 + 14.094. Let d = u + -14.25. Is -2/15 smaller than d?
True
Suppose -32*v = -232 - 120. Let y be 0/(-33) + (0 - v) + -1. Is 1/2 bigger than y?
True
Suppose -q + i = 2, 7 = 18*q - 2*i + 11. Does q = -2/399?
False
Let n(y) = y**2 - 13*y + 29. Let f be n(10). Let l = -294 + 444. Is l < f?
False
Let v = 238/69 - -5/23. Is 0.04 bigger than v?
False
Let g(z) = -34*z**2 + 357*z + 714. Let w be g(-2). Is -196 greater than or equal to w?
False
Let u be (-137690)/13769*(8/(-10) + 0 + 1). Let k = -6 + 6.006. Which is bigger: u or k?
k
Let m be (90/2)/(-3*(-4)