-359.0455. Let u = 359 - y. Which is smaller: u or -180?
-180
Let j(c) = 2*c**2 + 24*c - 3291. Let v be j(-47). Which is smaller: 7/38 or v?
v
Suppose -3*k + 39 = 4*y - 4*k, -5*y = -5*k - 60. Let l be ((-2)/70)/(57/y + -6). Which is greater: -1 or l?
l
Let o(g) = -131*g + 5321. Let z be o(65). Is -3193 greater than z?
True
Let k be (-4 - -73)/(((-72)/(-7))/(-2) + 5). Which is greater: k or -4342/9?
-4342/9
Let a = -282.479 - -0.479. Let c = -282.2 - a. Which is smaller: c or -5/74?
c
Let y(t) = -5*t**2 + 3*t + 3. Let s be y(3). Let z = -2/9055 - 38619569/27165. Let p = 1390 + z. Which is smaller: s or p?
s
Let o = 3/184 + -653/552. Suppose 4 = -f + 1. Is f equal to o?
False
Let y(s) = 2*s**3 + 21*s**2 + 13*s + 6. Let j be y(-9). Is -1/5 at most j?
True
Let d = -17.23 - -17.13. Let x = -244 + 506. Is d < x?
True
Let g = 1206.8037 + 1.1963. Does g = 0.1?
False
Let b = 3105308387/962 + -3227971. Let s = 7/26 - b. Let v = 1 - 2. Which is bigger: v or s?
s
Let l = 24617 - 12767. Is 11851 less than l?
False
Suppose l - 1923 = -3*p, 4*p + 52*l - 2569 = 49*l. Which is greater: p or 634?
p
Suppose 11*c = 9*c + 20. Let t = 71 + -57. Let q = t - c. Which is smaller: q or 3?
3
Let c = 541111/15610 - 24/1115. Is 34 smaller than c?
True
Let k = 3.76 + -5.36. Are k and -378 equal?
False
Let v = -44 - -56. Suppose -2*s + v = 2. Suppose -z - 3*z = 5*h + 380, -s*h + 70 = -z. Which is smaller: 2/3 or z?
z
Suppose 204*f + 17971 = 180*f - 19037. Which is smaller: f or -1?
f
Let x be (1 + -4 - -2)*1/(-1). Which is bigger: x or 98/395?
x
Suppose -3*x = r + 5, 5*x - 11 = -r - 16. Let c(t) = t**2 + 3*t. Let u be c(-5). Let g be 26 + r/(u/4). Is 23 equal to g?
False
Let o = 6064 - 6084. Let y be (-2)/(-3) + 347/18. Let c = o + y. Is c > 1?
False
Let g = 50 + -51. Let r = -2/107 + -5708/3745. Is r > g?
False
Let d be (0 - -14)/(9/9619). Let g = d - 14944. Which is smaller: 19 or g?
g
Let h = 6028 + -6019. Is h less than 174/17?
True
Let u = -1/3921 - 7549/1148853. Is u less than -1?
False
Let c be (56/(-6))/((-13)/(-26)). Suppose 6*r = -58 - 50. Is r > c?
True
Suppose 4*r + 77 = -211. Let h be 382/(-472) - 18/r. Let v = h - 253/708. Which is bigger: -1 or v?
v
Let u(k) = 2 + 30*k**3 - 33*k**3 - 24*k + 28*k. Let t be u(-1). Is -6/31 less than t?
True
Let d = -4089 - -4065.2. Which is bigger: 1.1 or d?
1.1
Suppose 0 = 95*z - 24*z + 169*z. Which is greater: 8/53 or z?
8/53
Suppose -2*w + 5 = 7. Let p be (7 - (-153)/(-18))/(2634/(-4) + 0). Is p less than w?
False
Suppose -2 = -g, 12*g - 14 + 20 = 3*m. Suppose 4*w = -16, -w - 40 = -4*q - 0*w. Is q bigger than m?
False
Let d = -3.809 - -1.009. Let f = 22 - 22. Which is smaller: d or f?
d
Let m = 53.4 + -58. Let a = -17.69 + 15.09. Let c = m - a. Is 4 < c?
False
Suppose -2*c + 5*c - 12 = -2*l, -2*l + 4 = -c. Suppose l*y = 2*y - 8. Let g = 19 + y. Is g smaller than -1?
False
Let n = 304 + -29. Let r be 150/n*(-3)/10. Is r greater than or equal to 1?
False
Let o be -1 + (-516)/(-1240) - (3 + (-306)/85). Are 16 and o equal?
False
Let b(u) = 36*u + 16. Let l be b(1). Suppose 98 + 52 = 3*p. Is p equal to l?
False
Suppose -5*g + 6 + 4 = h, 0 = -4*g - 6*h + 34. Which is greater: -4/1791 or g?
g
Suppose 0 = -l - 2, -4*l - 310 = 5*f + l. Let m be 20/f + 233/(-3). Is 1 <= m?
False
Suppose 319*i + 3935 = 314*i. Let c = i + 793. Let p = -17 - -29. Which is smaller: c or p?
c
Suppose 0 = -3*r - 0*r - 5*m + 15, -r - 5*m + 15 = 0. Suppose z - 17 + 0 = r. Let x(g) = -6*g - 41. Let f be x(-10). Which is smaller: f or z?
z
Suppose 505 - 8272 = 139*m - 678. Which is smaller: -13 or m?
m
Let a = 2141 + -2140.9. Let z = 0.002 - 4.202. Let g = 2.2 - z. Which is smaller: a or g?
a
Let q = 2 + -1.6. Let z = q + -0.4. Let v = 34.59 - 34.39. Which is bigger: v or z?
v
Let j = -1.1 + 7.7. Let w = -0.5 + j. Let c = 6.03 - w. Are -1 and c non-equal?
True
Let x = 54 + 6. Suppose -4*u + 140 = x. Let r be (u/(-24))/5 - 170/6. Is r not equal to -29?
True
Let z = 2552/805 + -187525122/59152205. Which is bigger: z or 1?
1
Let i = 38134653205432 - 120810578039110111/3168. Let v = i - 1046622. Let t = -2/99 - v. Which is smaller: 0 or t?
t
Suppose 0 = -52*r + 35*r + l - 6, 4*r - 24 = -4*l. Is -8/429 smaller than r?
True
Let v be 1 + 1 + (-3 - -5). Suppose -2*p = -9*w + v*w + 23, p = -4*w + 8. Suppose -w*h - 3*o + 98 = -127, -5*h = -5*o - 355. Does h = 72?
False
Let d(j) = 17 - 5*j + 4*j - 4*j - 6*j - j**2. Let u be d(-12). Do u and 26/5 have the same value?
False
Let n = -5647 - -9888. Do 4240 and n have the same value?
False
Suppose 2*y + 17 = 5*j, -4*j = 4*y - 5*j + 61. Which is bigger: y or 4/89?
4/89
Let v(n) = -18*n. Let u be v(1). Let x be ((-21)/(-56))/(u/8). Let s = -2/71 + -128/497. Is x at least s?
True
Let h be -8*4/24*-1. Which is smaller: 146 or h?
h
Let q be (294/(-273))/(228/39). Suppose p = -p + 2. Which is bigger: q or p?
p
Let c(z) = -z**2 + 3*z + 18. Let j be c(6). Suppose -4*o = -5*g + 3*g - 50, 5*g + 25 = j. Let n(l) = -l + 13. Let b be n(8). Which is smaller: b or o?
b
Suppose 6*q - 2*c + 4*c - 4 = 0, c = q + 2. Is -45/47 at least as big as q?
False
Let l = -434 - -432. Let u be 112/280*-145*1*l. Which is smaller: 115 or u?
115
Let b be (-7 - 304/(-40))*(-2)/(-753). Is -1 at least as big as b?
False
Let f = -107 - -747/7. Let g(x) = -x**3 + 21 - 10465*x + 7*x**2 + 4*x**2 + 10453*x. Let r be g(10). Which is smaller: f or r?
f
Let j = -3195 + 3193. Is -309/2 bigger than j?
False
Let b = 480 - 484. Is b != 28.7?
True
Let d(p) = 3*p**2 + 18*p + 5. Let w be d(-6). Let v be (-48)/(-80) + 153/(-5). Let k be (-3)/(-12) - (-2 - v/(-8)). Is k less than w?
False
Let p be (8/12)/((-30)/(-81)). Let b = 224 + -221. Is p bigger than b?
False
Suppose 0 = -34085*n + 34111*n + 494. Suppose 0 = 5*c - 20 - 75. Suppose -2*k - 17 = c. Is k <= n?
False
Let g = 35389/7 + -5056. Are -459/5 and g unequal?
True
Let w be 6 + 6/(-4 - 2). Suppose -106 = -w*r - 101. Let p be 83/33 - (-2)/(-11). Is p >= r?
True
Suppose -20*f + 22*f = 34. Suppose -5*i + f = 7. Suppose d + 19 = i. Is -18 <= d?
True
Let b = -3089864 + 210107001/68. Let i = -636/17 - b. Which is bigger: 17 or i?
i
Let r be 16/(-72) - (-20)/9. Suppose r*k + 48 = -10*k. Are k and -12 unequal?
True
Let l = 154 - 168.1. Let s = 9.2 - l. Let j = s + -23. Which is greater: -0.3 or j?
j
Let h = 924/613 + -265289/22681. Which is bigger: -9 or h?
-9
Let a = 0.2 - 0.2. Let w = a - -3. Let k = 16957 - 16947. Which is smaller: k or w?
w
Let s be (3/6)/((-5201)/(-1736) - 3). Let g be (217/s)/((-2)/(-40)). Does g = -35?
True
Let r(a) = a + a - 36 + a**2 - 9*a - 21. Let f be r(15). Do 63 and f have different values?
False
Let v be 21/28 - ((-39)/12 + 4). Suppose v = 5*d + 3*d - 32. Which is smaller: d or 16?
d
Let l = -1009 - -1019. Let v = 1387 - 9637/7. Do v and l have different values?
True
Let s(v) = v**2 + 11*v + 3. Let u be s(-7). Let q = -6 - u. Let n be 7*((-108)/(-28) + -1). Is n bigger than q?
True
Let b = -5 + 9. Let t = -0.1412 + 0.1412. Is t equal to b?
False
Suppose -2*w + 3226 = -3*w. Let r = -16208/5 - w. Suppose 327 = -9*o + 192. Does o = r?
False
Let a = 2807 - 70154/25. Which is smaller: a or -2?
-2
Let g(q) = -6*q + 2. Let v be g(-1). Let n be (6/(-12))/(2 - 18/v). Let l be ((-18)/(-27))/(n - (-6)/27). Is 2 greater than or equal to l?
True
Let m = 3861.3 - 3861. Is 485 equal to m?
False
Suppose 18*p - 89 = -323. Let t be 11/1 - (p - -15). Which is greater: 68/9 or t?
t
Let h(m) = 10163*m + 40660. Let s be h(-4). Let j = -23 + 32. Which is greater: j or s?
j
Let k(i) = i**3 - 45*i**2 - 107*i - 395. Let o be k(50). Does 6755 = o?
True
Let k(h) = -h - 36. Suppose -4*i = -5*n + 19, 0*i - 4 = -n + i. Suppose -n*d = 37 - 4. Let m be k(d). Are -26 and m equal?
False
Let y = -25494 - -76517/3. Let o = -0.8 + 1. Which is greater: y or o?
y
Let a be 11899/12551 + 1/7. Is 0.02 equal to a?
False
Let m(f) = -f**3 - 14*f**2 - 35*f + 4. Let l be m(-5). Let r be (-79)/(-9) - l/207. Which is greater: r or -3?
r
Let m = -6125/807162 - -2/5849. Which is greater: 0 or m?
0
Let t = 41.8 - -88.2. Let z = t + -133. Which is greater: z or 0.1?
0.1
Let h be (-8 + (-169)/(-26))*14. Do h and -109/5 have the same value?
False
Let f be (2/3)/(3/((-1377)/(-18))). Suppose 532 = -f*h + 3*h. Which is smaller: h or -41?
-41
Let x = -