 152/(-48) - (-5)/2. Are 2/213 and u non-equal?
True
Let p = -758/7 - -107. Suppose -3*l - l = -5*c - 5, -3 = -2*l + 3*c. Which is greater: l or p?
l
Let b be (2/2 - 5) + -1. Suppose 0 = -5*f - 5*m + 15, 2*m = 5*f - m + 9. Suppose f = -3*c - 23 + 5. Which is bigger: b or c?
b
Let c(d) = -5*d**3 + 16*d**2 + 3*d - 3. Let x(f) = 11*f**3 - 33*f**2 - 7*f + 7. Let r(b) = -9*c(b) - 4*x(b). Let p be r(12). Is 12 greater than or equal to p?
True
Let d(p) = -p**2 - 14*p + 86. Let v be d(5). Is -0.5 less than v?
False
Let c be 2/7 + 52/14. Let b = c - 6. Let t = -1192 - -1193. Is t less than or equal to b?
False
Let u be (-6 - -4)/(4/6). Let m = 9 + -5. Let s be ((-6)/4)/(5 - m). Is s at most as big as u?
False
Let d = 22 + 11. Let z = d + -33. Is z less than -0.048?
False
Let z be (-20)/130 - ((-59370)/78 + 1). Is z > 760?
False
Suppose -35 = 4*y + 61. Let s be y/8 + 3*-3. Let d be 27/15 - s/(-15). Which is bigger: d or -1/33?
d
Let f(o) = -4*o - 22. Let w be f(-5). Let v be (w/22)/((-10)/(-30)). Which is bigger: -1 or v?
v
Suppose -n = 3*n - 5*h - 30, 2*n = -h + 22. Does -9 = n?
False
Let f = -646 + 122. Which is smaller: f or -1?
f
Let x(l) = 5*l**2 - 2*l - 5. Let r(w) = 4*w**2 - w - 6. Let j(m) = 4*r(m) - 3*x(m). Let z be j(-4). Let h = 1.8 + -2. Which is greater: z or h?
h
Let y(z) = -3*z**2 - 26*z - 14. Let t be y(-8). Is t < 32/11?
True
Suppose -3*v - 96 = -9*v. Let g = -14 + v. Which is bigger: 0 or g?
g
Let p = 7 + -12. Let a = 4373.1 + -4373. Is a less than or equal to p?
False
Suppose k + 4*o = 3*o - 9, -2*k - 3*o - 21 = 0. Let y be k/3 + -1 - -4. Is 1/26 not equal to y?
True
Let k be (-27605)/(-18390) - 3/2. Which is smaller: 0 or k?
0
Suppose z + 65 + 29 = x, 2*x + 2*z - 172 = 0. Is -2 greater than x?
False
Suppose 5*h - 3*j - 22 = 0, h - 5*h = 4*j + 8. Let u be (h + (-384)/188)/(-1). Which is greater: 1 or u?
1
Let y(v) = -2*v**3 + 28*v**2 - 6*v + 58. Let f be y(14). Is -23 greater than f?
True
Let p be -1*2/(-4)*-30. Let f = p + 43. Which is greater: f or 30?
30
Let y be 9/(4/(8 - 4)). Let c(u) = -u + 2. Let n be c(y). Let o = -1 + -5. Which is bigger: n or o?
o
Suppose -c + 36 = -3*c. Let p be ((-10)/6)/(24/c). Which is smaller: 0 or p?
0
Let r = 7/9 + -73/90. Which is smaller: r or 0.03?
r
Let r = 2.031 + -0.031. Let n = 91 + -76.3. Let j = n - 16. Which is smaller: j or r?
j
Let c = -2559853/422 + 6066. Is c greater than 0?
False
Suppose 32 - 7 = 5*h. Suppose g - 5 + 2 = 0, 0 = -j + h*g - 19. Suppose -2*q + 10 = -4*q. Which is smaller: j or q?
q
Let z be 0 - (-5)/(5/39). Suppose 3*s = -5*j - z, -2*j + j = -s - 13. Suppose -21 = 2*r + 5. Is r >= s?
True
Suppose -4*c - 3*z + 35 = 0, c + 0*z - z = 0. Suppose s - 5 = 0, -4*i + 0*i - 5*s = -61. Let n be (42/i)/((-4)/(-6)). Is n greater than or equal to c?
True
Let g = -0.14 - 1.86. Let f = -45.3 - -45. Are f and g non-equal?
True
Let i be 8/(-9)*(-15)/(-10). Which is smaller: i or -5?
-5
Let s(k) = k**2 - 9*k - 39. Let d be s(7). Is d at least -3?
False
Let a be ((-6)/(-12))/(6/96). Is -11 at most as big as a?
True
Let n be (-4)/(-12) - 6/18. Suppose 0 = -2*b + b - 10. Let h be (b/6 + 1)/(-2). Is n less than h?
True
Let m(y) = -y**2 - 10*y - 7. Let q be m(-9). Suppose -q*h - 4*h + 18 = 0. Let z be (-3 - (-260)/84)*h. Is z equal to 0.03?
False
Let h be (1/(-1) - 1) + (-31)/(-31). Let w be (-2 - h)*1*6/(-309). Let n be 2/4 + 1/(-2). Is w at least as big as n?
True
Suppose 5*n = -0*n. Suppose n = s - 6*t + 2*t - 20, -s = 5*t + 16. Let l be 3/9 - 10/(-6). Which is smaller: s or l?
l
Let o = -2/4051 + -3749/611701. Is -1 not equal to o?
True
Let m = 448 + -299. Which is bigger: -1/2 or m?
m
Let h be -1 - ((-24)/14 + 1). Suppose 0 = 2*d + d + 2*d. Is d less than or equal to h?
False
Suppose -62*j + 58 = -4. Let u = 2.06 + -0.06. Which is bigger: j or u?
u
Let t be (-36)/51*(-68)/8. Which is smaller: t or 34/7?
34/7
Let a = -2289 - -1351. Which is smaller: a or -939?
-939
Suppose -6 = -3*o - 0. Let y(d) = -2*d**3 - 4*d**2 + 2*d + 2. Let i be y(-3). Let t(q) = 2*q - 30. Let v be t(i). Which is bigger: o or v?
o
Let u(j) = 3*j - 3. Let t be u(-5). Let v(m) = -m**3 + 6*m**2 - 6*m + 36. Let c be v(6). Let h be c/(-3) - (-8)/t. Which is greater: h or 1?
1
Suppose 2 = -4*a + d, 0 = 6*a - a - 4*d + 8. Let q be 9/(-6) - (-2 + 1/2). Suppose -18 = i + 5*k - q*k, 5*i - 5*k = 30. Which is smaller: a or i?
a
Let u(n) = 19*n**2 + n - 2. Let a be u(1). Let c be ((-834)/a)/(35/2). Let z = c + 44/15. Are z and -2 equal?
False
Let r = 464005/11934 - 661/17. Is -1 bigger than r?
False
Let h = -108 - -76. Let n = 25 + h. Which is greater: -9 or n?
n
Let r = 2510/143 + -188/11. Let h = -643 + 644. Which is greater: r or h?
h
Let v be (((-40)/(-5) - 2) + -5)*-4. Which is smaller: -13/3 or v?
-13/3
Let s = -376 + 1872/5. Let z(f) = f**3 - 3*f**2 - 9*f - 6. Let b be z(5). Which is smaller: b or s?
s
Suppose -5476*j = -5508*j. Let a = 183/3151 - 2/137. Which is greater: a or j?
a
Let d be (-280)/(-24752)*(-8)/30. Does -1 = d?
False
Let y = 1622 + -1623. Let z = 4193/32 - 131. Which is smaller: y or z?
y
Let f be ((-2)/(-26))/((-525)/825). Which is smaller: 0 or f?
f
Let h = -6.81 + 7. Let s = 1.41 + h. Let j = s - 0.6. Which is smaller: j or 1.1?
j
Let b = -103.203 + 0.203. Which is smaller: -0.2 or b?
b
Let p(c) be the second derivative of -c**4/12 + 5*c**3/2 - 9*c**2 - 9*c. Let m be p(13). Let k = -12 - m. Which is bigger: 1 or k?
1
Let t = -749 + 747. Which is greater: 234 or t?
234
Let c = 1812 - 1812. Let l = 119 + -1306/11. Is c bigger than l?
False
Let z = 6 - 8. Let x = -11 - z. Let h = 48 - 242/5. Is h less than or equal to x?
False
Let f = -0.491 - -0.49. Let t = 33.999 - f. Are t and -1/2 unequal?
True
Let z = 24 + -22. Let u be 3/(-117)*(z + -14). Which is smaller: 1 or u?
u
Let h(l) = -l**3 + 19*l**2 - l + 19. Let b be h(19). Let v = b - -2. Is -3 less than v?
True
Let c(w) = -3*w - 39. Let t be c(-13). Suppose t = -30*a + 27*a. Which is greater: a or 5/18?
5/18
Let u = -95/3 + 31. Let j(x) = x - 21. Let n be j(14). Let o(q) = q + 6. Let m be o(n). Is m at most u?
True
Suppose -6*y + y = -55. Suppose -2*g + 4*k + 310 - 106 = 0, 5*g - 5*k = 525. Let j be g/(-10)*-1 + 2/10. Is y > j?
False
Let o be (1 - 5)*13/(-26). Suppose i - 5*i + x + 19 = 0, 0 = -5*i + o*x + 20. Is i bigger than 2?
True
Let r = -10273654 + 47433460108/4617. Let a = 4/243 - r. Which is greater: 0 or a?
a
Let g = -97 + 97. Suppose 3*d = -g*d + 78. Is 25 at most as big as d?
True
Let x = -0.405 + 131.405. Which is smaller: x or 1?
1
Let c be 2 + -1 + -16 + 15. Which is greater: 9/83 or c?
9/83
Let o be (-185)/(-20) - ((-3)/(-12) + -1). Suppose 12*a + 50 = -o. Which is smaller: a or -6?
-6
Suppose -2*w + 2034 = 3*w - 2*q, 2*w - 813 = q. Let y be (-24)/w*(1 - -1). Which is greater: 1 or y?
1
Let t(y) = 4*y + 8. Let w be t(-4). Let k be -1 - 1 - 1 - 3. Which is smaller: w or k?
w
Let a(n) = -n + 13. Let f be 21/(-12)*(-1 + 0 - 7). Let m be a(f). Let o = -262/603 + -2/201. Which is smaller: o or m?
m
Let w = -224 - 304. Let c be -1 - (w/164)/3. Let l = 111/164 + c. Which is smaller: l or 1?
l
Suppose 2*n - 62 + 154 = f, -5*n - 230 = -4*f. Is n less than or equal to -50?
False
Let q = 149 + -94. Let n = -9473 + 9473. Which is bigger: q or n?
q
Let z = 13914/11 - 1260. Is 6 > z?
True
Suppose 3*y = 9, -2*y - 9 = -s - 4*s. Let m be (s - -3)/((-4)/2). Let w be (-1 - 2) + (-7)/m. Is w <= 0.1?
True
Suppose 0 = 3*m - 5*k + 2909, 4*m + 969 = 3*m + k. Let t be 4/(-14) - m/2996. Let z = t + -349/749. Is 0 >= z?
True
Let w = -0.121 - -0.071. Let c = 0.081 + w. Which is bigger: c or 1/2?
1/2
Let z(n) = -3*n + 6. Let k(t) = t. Let c(i) = -2*k(i) - z(i). Let v be c(5). Does v = 3/32?
False
Suppose u + u - 14 = 0. Let b(k) = k**3 - 7*k**2 - k + 6. Let r be b(u). Which is bigger: -4/11 or r?
-4/11
Let o be (-3)/(-4) + (-120)/32. Suppose 0 = 4*w + 17 - 13. Is o at least w?
False
Let p(s) = 6*s**3 - 5*s**2 + 6*s - 121. Let k(h) = h**3 - h**2 + h - 24. Let u(w) = 11*k(w) - 2*p(w). Let f be u(0). Which is smaller: f or -64/3?
f
Let q = 24 - 17. Suppose 2*s - q*s - 5 = 0. Let a = -2/57 + -104/285. Which is greater: s or a?
a
Suppose -58*r = -68*r - 500. Is -60 greater than or equal to r?
False
Let a = -93817/75 - -1251. Which is smaller: -1 or a?
-1
Suppose 0 = -2*