= 0. Let q be (-2)/(2/(-4) + 0). Suppose 492 = q*y + 2*y. Which is smaller: y or c?
y
Let r be 5 - (597/(-3) - -3). Suppose -9*n + 741 = r. Let x = n - 53. Which is bigger: 8 or x?
8
Suppose 0 = -4*x - 4*f, 8 = -4*x + 4492*f - 4488*f. Which is smaller: x or -9/26?
x
Let j(g) = g**3 - 10*g**2 + 7*g + 22. Let z be j(9). Let s be 72/(-26) + 0/((-28)/z). Does -4 = s?
False
Suppose w + 6*w = -35. Let n(x) = -2*x - 14. Let z be n(w). Suppose 9*u - 4*u + 20 = 0. Is u at most as big as z?
True
Let y be ((-2)/(28/(-231)))/(42/328). Let r = y - 855/7. Let j = 29/7 - r. Is j bigger than -3?
True
Let k = -470/11 - -20177/473. Let d(u) = u**2 + 9*u + 11. Let q be d(-8). Suppose -4*l = -f - 7, q + 2 = f + 2*l. Which is greater: f or k?
f
Let t = -18.76 + 17.797. Let i = t - -0.293. Is i smaller than 0.1?
True
Let c(t) = -6*t - 19. Let g be c(6). Let a(j) = 14*j - 56. Let s be a(0). Which is smaller: g or s?
s
Let s(c) = 7*c + 50. Let k be s(-7). Let j be (k/((-2005)/10))/(-1). Which is greater: 0 or j?
j
Let h = -443 - -799. Let b = h - 323. Is b != 34?
True
Suppose -4*a + h - 2*h + 5 = 0, -4*a + 3*h - 15 = 0. Let o = 0 + a. Let b = 20/3253 - -12672/55301. Is b smaller than o?
False
Let z = 151.87 - 152. Which is smaller: z or 20/7?
z
Let v = -10 - 27. Let x = 43 - 78. Let r = x - v. Is r greater than 0.9?
True
Let b(s) = -2*s**2 + 1560*s - 98106. Let a be b(69). Let k = -14 - -28. Which is smaller: a or k?
a
Suppose k = 5*c - 60, 4*c - 5 - 64 = 5*k. Suppose 3*r = -1 - c. Let o be (-4)/1 - (-2)/(-4). Which is smaller: o or r?
o
Let m be 40/150*(-153)/680. Is m greater than or equal to -1?
True
Suppose -5*p - 28 = -2*a, 5*p + a + 712 = 666. Which is greater: -568/73 or p?
-568/73
Let g be (-3 + 6 + (-7)/2)*-58*1. Is g < 53?
True
Let q be (-17 - -2) + 70/5. Suppose 5*w - 9 = 3*h, 4*h + 2*w + 12 = -0*w. Which is bigger: q or h?
q
Let i(x) = -145*x - 534. Let s be i(-15). Does 1639 = s?
False
Let q = 396.2 + -396.3. Is 5/22 < q?
False
Suppose -179*s + 178157 = 467906 + 501789. Is -4421 bigger than s?
True
Let h = 0.062 - -313.938. Let k = h - 315.3. Is k at most as big as 6?
True
Suppose -24*d + 17*d = 553840. Let s be 1/(-2) - 39112/d. Let i = s + 6/115. Is i at least 0?
True
Let m = -9169 - -9346. Which is bigger: m or 2.6?
m
Let w be (-119 - -4)*(18/15 + (-790)/(-25)). Which is smaller: w or 2/9?
w
Let f be (-3)/(-18)*6 - 9 - -5. Let v be f - (8 + -8 + -1). Which is smaller: 6 or v?
v
Let t be 10/45*45/6*-1626. Is t at most as big as -2711?
False
Let d = 36.8 - -227.2. Let a = -133 + d. Is a equal to 0?
False
Let d(m) = 57*m**2 + 4*m + 1. Let h be d(3). Let l = 512 - h. Which is smaller: -10 or l?
l
Let z = 344.3 + -362. Let w = z + -1.3. Let j = 19 + w. Is -2/69 < j?
True
Let i = 8789 + -5354. Is i > 3434?
True
Let t = -1.58 + -4.22. Which is bigger: 1/6 or t?
1/6
Let j = -4307511/140540 - -613/20. Which is smaller: 0 or j?
0
Let y be (2*(-13 + (-10980)/(-48)))/(1/(-4)). Which is smaller: -1724 or y?
y
Suppose 0 = 4*t - 34 + 30. Let l be (-5)/2*t - (-3645)/1386. Is 1 > l?
True
Suppose -46*g = -37*g - 324. Let c be (4/g)/((-33)/(-6)). Which is smaller: c or 1?
c
Let m = 468/361 + 425485/2888. Let p = -149 + m. Which is smaller: -34 or p?
-34
Let q = 124.77 - 126. Let f = 33642 + -33640.77. Let j = f + q. Which is bigger: 3/5 or j?
3/5
Let l be (1 - 2) + 60/51. Let f = 310 - 442. Let m = -133 - f. Are m and l non-equal?
True
Let j = -546 - -546.13. Let r = 0.03 - -0.1. Let l = j + r. Which is greater: l or 1?
1
Let g be 3/(-18) - 0 - (-555)/90. Suppose 431*k - 437*k - g = 0. Which is smaller: 0.9 or k?
k
Let h(i) = i**3 + 65*i**2 - 274*i + 4750. Let m be h(-70). Suppose 0 = -5*j - 30 + 10, 4*n - 4*j = -2268. Which is bigger: m or n?
m
Let r(n) = -n + 11. Let k be r(6). Suppose -160 = -k*l - 11*l. Which is bigger: 7 or l?
l
Let l be 4*5/(-3)*9. Let y = -113 + 115. Is y less than l?
False
Suppose 0 = 2*s + 88 + 304. Let b be ((-30)/(-35))/((-7)/s). Which is greater: b or 22?
b
Let m(y) = -72*y**2 + 2*y + 4. Let i be m(-2). Let h be (-2035)/8 - 108/i. Do h and -1/2 have the same value?
False
Suppose 9*v = -2*v - 336435. Let d = v + 274993/9. Is -29 smaller than d?
False
Let g be 84/(9 - -3) + -20. Which is smaller: -119/9 or g?
-119/9
Suppose 0 = 2*j + 3*j - 100. Let l(h) = 3*h - 27. Let f be l(j). Suppose -4*c = 5*w + f, -4*c - 39 = w - 10. Is c at least as big as -10?
True
Let m be (-7)/2*(-7 + 15). Let f = 154.9 + -169. Let t = f - -14. Is t greater than m?
True
Let m = 0.55186 - 0.06286. Which is bigger: m or -2?
m
Let c = 37.256 - 14.256. Is -2/331 bigger than c?
False
Let q = -310 + 634. Let o = -2269/7 + q. Which is smaller: o or 1?
o
Let f(i) = -41*i + 482. Let l be f(12). Which is smaller: l or -60?
-60
Let s be 5/(-4) - (-198)/(-8). Let t = s - -24. Which is smaller: t or 41?
t
Let x = -12487 + 12479. Are 152 and x unequal?
True
Let s(a) be the third derivative of -163*a**4/24 - 23*a**3/6 + 89*a**2. Let r be s(-2). Which is smaller: 304 or r?
r
Let t(b) = -2*b**2 + 51*b + 78. Let y be t(27). Suppose 3*c + 1685 = 407. Let q be (y/c)/(-2 - 10/(-4)). Which is bigger: -1 or q?
q
Let k = 6736/9 + -188563/252. Suppose 3*h + 1 + 1 = y, 0 = 3*y - 3*h. Is y != k?
True
Let t be 3/(-1)*14/(-6). Let j be (1/1)/((-2)/(-4)). Are t and j non-equal?
True
Let c = -184.388384 + 0.277384. Let m = -184 - c. Let k = m + -0.011. Is k not equal to 1/8?
True
Let f = -37051354/933465 + -2/71805. Let z = f + 199666/5031. Which is bigger: z or 0?
0
Let l(z) = 2*z + 7. Let i be l(14). Suppose -i = -3*q + 4*o - 29, -2*o - 6 = -3*q. Which is greater: 10/3 or q?
10/3
Let k be ((-10)/3 + 2)/(8/12). Let b be ((-8)/6)/(k/(-15)*-5). Let f be (396/8)/(-9)*b. Is f less than or equal to -11?
True
Let i be 1/(2/3708)*(-1067)/2134. Which is smaller: i or -924?
i
Let v = -3.882 - -3.982. Which is bigger: v or 2796?
2796
Suppose -200 = -8*l - 152. Suppose -6 - l = -4*b, s - 15 = -b. Let t = 0.6 - 0.1. Which is greater: s or t?
s
Let t be 8 + 1*(-1 - 2). Let l = 210 + -98. Suppose -98 - l = t*n. Does n = -41?
False
Let y = -2929 - -2958. Is y at least -38/7?
True
Let v(a) = a + 2. Let n be v(6). Let h(c) be the first derivative of c**4/4 - 7*c**3/3 - 3*c**2 - 7*c + 389. Let d be h(n). Is 17/2 greater than d?
False
Let i = -137 + 1270. Is i greater than 1127?
True
Let d = -1603 + 1526. Let h = -0.18 + 0.48. Which is bigger: h or d?
h
Let c = -4.311 - -0.071. Let p = 7.9 + c. Let x = p - -1.34. Which is smaller: x or -6?
-6
Let x = -1068 + 750. Let t be 956/x + (10 - 8 - -1). Is t equal to 0?
False
Let h(i) = 145*i + 320. Let y be h(0). Let s be (2 - 12/(-18))*120. Are s and y equal?
True
Let n = -0.4027 - -0.0027. Let d = n + 1.4. Is d at most as big as 514?
True
Let i = -118.428 - -1.728. Let c = -20.6821 - 0.0179. Let r = c - i. Which is greater: -1/4 or r?
r
Let b = -36 + 92. Suppose -55*f + b*f = 1. Which is bigger: f or -2/7?
f
Let r(u) = -167*u + 3280. Let x be r(19). Is x greater than or equal to 122?
False
Let k be 2/(-2) - (3 - (-3 + 6)). Which is greater: 1/15295 or k?
1/15295
Let x be (2/(-4))/(-2 + (-243)/(-122)). Let m = x + -60. Let z be (9/(-15))/(1/(-5)). Are z and m non-equal?
True
Suppose 22*g = 24*g - 8. Let x be ((-92)/46)/(g/(-50)). Is x smaller than 8?
False
Let y(j) = j - 73. Let r be y(17). Let m = 0.81 + -34.81. Let i = 35 + m. Which is smaller: i or r?
r
Let f = -350/101 + 3056/707. Which is bigger: 38 or f?
38
Let d be (-62)/4*(14 + 0). Let q(t) = -523*t - 32119. Let v be q(-61). Are d and v equal?
False
Let c be (-10360)/(-640) + -2 + -11. Is 2 at most as big as c?
True
Let g = -9031 + 9031. Does g = 46?
False
Let b(i) = i**2 - 3*i - 18. Let a be b(6). Suppose a = 5*x + 4*m + 23, x + 3*m = -2*m - 13. Let j be (4/x)/2*3/2. Which is smaller: 3/62 or j?
j
Let q(j) = -j**3 - 5*j**2 + 12*j + 1. Let y be q(-7). Suppose -b = y - 20. Suppose 9 = -m - 6*t + 5*t, b*m - 2*t = -52. Which is smaller: -43/4 or m?
-43/4
Suppose -2*c = -10*c + 40. Suppose 0 = -c*s + 2*v - v + 10, s + v = -4. Suppose -5*n + 24 = 2*g, n + 5*g - 13 = s. Which is bigger: 2 or n?
n
Suppose -b + 10 = 2*t, 3*b - 27 + 2 = -5*t. Let r be 29 + (-4 - -1) + b. Suppose 0 = -6*o - r - 22. Is -8 less than o?
False
Let a = 8.892 + 13.402. Let o = a - 22.2. Which is bigger: o or 1?
1
Let h be (-2)/6*(-1)/(-3). S