r h?
85/7
Let s(k) = 524*k**3 + 2*k**2 - 1. Let r be s(1). Is r bigger than 0.1?
True
Let x(t) = -2*t**2 + 22*t + 10. Let h be x(12). Are h and -18 nonequal?
True
Suppose 0 = -2*w, 0 = -4*d - w - w. Are -1/180 and d non-equal?
True
Let y be 6/(-9) - (-116)/138. Let c(b) = b**3 - 2*b + 5. Let o be c(0). Suppose -3*m = 10*m - o*m. Which is smaller: y or m?
m
Suppose -65 = 45*z - 200. Is z != 54/13?
True
Let z = -6 + 6.1. Let q = -68 + 67. Which is smaller: z or q?
q
Let v(w) = 2*w + 16. Let o be v(-7). Suppose 40 + o = -3*a. Is a at least 0?
False
Let y = 48 + 69. Let i be (-162)/y - 6/(-4). Let o(h) = -h - 3. Let a be o(-3). Which is bigger: a or i?
i
Suppose 0 = -4*y - 2*p - 2*p + 36, 0 = y - 5*p + 21. Let v be -7 + 2 + (-8)/y. Let j(h) = h**2 + 6*h - 1. Let t be j(-5). Which is smaller: v or t?
v
Let x(k) = -k**3 - 13*k**2 + 12*k + 63. Let t be x(-13). Is -94 at most t?
True
Let k(s) be the third derivative of -s**6/120 - s**5/60 - 39*s**2. Let l be k(-1). Let w = 795/7 - 113. Is w bigger than l?
True
Let t(c) = -c**2 + 9*c + 8. Let d be t(9). Let a be 14*(1 - 4/d). Is 5 not equal to a?
True
Let j = -1142 - -55956/49. Is j > -7/4?
True
Let c = 97 + -89.5. Which is greater: c or 0.1?
c
Let t = 704/9 + -78. Let z = 20.98 + -21. Which is greater: z or t?
t
Let k = -999109/297 - -3364. Which is bigger: 0 or k?
0
Let j be ((-1)/35)/((-31)/248). Which is smaller: -1 or j?
-1
Let p(s) = s + 3. Let x be p(3). Let n be ((-2)/3)/((-2)/x). Let t be (-7)/6*(-27)/42. Which is smaller: t or n?
t
Let d = -310 + 313. Which is greater: 1/49 or d?
d
Suppose -4*i - 25 = -k, i + 3*k - 13 + 3 = 0. Is i != 5?
True
Suppose 0 = -97*y + 17*y + 80. Let w = 957/76 + -51/4. Is y smaller than w?
False
Suppose 8*o - 20 = 6*o. Suppose 7*m = o*m - 126. Is 43 greater than or equal to m?
True
Suppose -4*x - 4 + 0 = 0. Suppose 5*c - c = 5*h + 38, 4*c = h + 14. Let w be (h/(-4) - x)/2. Which is greater: w or 1?
w
Let b be 51/7 - 8/28. Let t(x) = 2*x - 13. Let q be t(b). Which is smaller: q or 4/17?
4/17
Let d = -57.13 + 58. Let h = d - 1.87. Which is bigger: h or 34?
34
Let o be 0 - -6 - 5/10*6. Let y be (0 - 1) + (2 - 3) + -1. Which is smaller: o or y?
y
Let c = -0.09 + -1.11. Let i = c - -9.2. Let t = -8 + i. Do t and -10 have the same value?
False
Let w be (-6)/28*-7*12/(-10). Is 0 greater than w?
True
Let d be 3*14/18*152/28. Let q = -25/2 + d. Is 1/4 >= q?
True
Let h = 151.7 - 153. Let d = h - -1.4. Which is greater: d or 57?
57
Suppose 17*o = -12*o + 58. Do o and 58 have the same value?
False
Let r(u) be the second derivative of u**4/12 + 7*u**3/6 - 9*u**2/2 + 2*u. Let x be r(-8). Which is smaller: 2/119 or x?
x
Let o(i) = -573*i**2 + 3*i + 2. Let b be o(-1). Let y = -13199/23 - b. Which is smaller: 0 or y?
0
Let k(a) = 2*a**3 + 8*a**2 + 9*a + 5. Let r be k(-2). Let v(f) = f**3 + 4*f**2 - f - 3. Suppose 0 = 3*j - 0*j + 12. Let s be v(j). Which is greater: s or r?
r
Let h be 16293/2715 - (20 + -14). Do 1 and h have the same value?
False
Let s = -130 + 544. Which is bigger: s or 1244/3?
1244/3
Let z = -4 + 10. Let k be 2/16 + 125/(-40). Let t(n) = 2*n**2 + 4*n. Let m be t(k). Is m equal to z?
True
Let d(w) = -w**3 - 5*w**2 - 2*w + 7. Let s be d(-4). Let k be (4/(-6))/s*(-15)/(-335). Is 1 less than or equal to k?
False
Let x = 86 - 57. Let g(h) = -h - 6. Let j be g(-6). Is x not equal to j?
True
Suppose 4*l = -8, 0 = 6*i - 10*i + 2*l. Which is bigger: 1/26 or i?
1/26
Let b = 27 - 49. Let h be ((-28)/12)/((-2)/(-18)). Which is smaller: h or b?
b
Let i be ((-785)/(-15) - 3)*231/(-14). Is i smaller than -813?
True
Let y = 0.5 + -0.56. Let g = y - -2.06. Let i = 3.678 + -1.678. Is i less than or equal to g?
True
Let j = -5263/3 + 2559573/1459. Is 1 greater than j?
True
Let p be 0 - (-3 - 12/9*-3). Suppose 0 = d - 4*k + 104, 2*d + 5*k = -3*d - 570. Let r be (-2)/(-1) - d/(-72). Is r <= p?
False
Let j = -31 + 29. Let v(n) = 13*n**2 + 4*n + 4. Let a be v(j). Let q be (-8)/a - (-11)/30. Are 0.2 and q equal?
True
Let i = -195984/82907 - -2/7537. Is -3 at most i?
True
Let d = -30 + 23. Let t be 3 + 76/(-28) + 2/d. Which is greater: -1/4 or t?
t
Let s be ((-12)/(-36))/((-2)/(-42)). Is s greater than 5?
True
Let y be (-299)/(-65) + 4/10. Suppose -3*o + 7 = -4*c, -y*o - 4*c = -2*c - 3. Let w = -5 - -2. Which is greater: o or w?
o
Suppose -14*q - 16 = -18*q. Suppose 14 = -g - 2*n, -q*g - n = -4*n + 1. Are -1 and g non-equal?
True
Suppose -3*h + 2478656 = 5*b, 4*h - 3*b - 4469281 + 1164387 = 0. Let x = h - 399066188/483. Let z = -48/23 - x. Is 0 at most z?
False
Let w = -9623/124 + -888/31. Let i = w - -323/4. Which is bigger: i or -25?
-25
Let r = -1100 + 7704/7. Let c = 1 - 3. Let f be (0 - 0)/(-1 - c). Which is smaller: f or r?
f
Let c be 0 - 0 - (-546)/24. Let g = 23 - c. Which is bigger: -2/5 or g?
g
Let g(m) = -m**2 - 7*m - 10. Suppose -2 = 7*n + 33. Let q be g(n). Which is bigger: q or -2?
q
Let n = -42 - -62. Let c = -1098/11 + 2625/22. Which is bigger: c or n?
n
Let h = 218051 - 2837215/13. Let d = h - -196. Suppose -52*b = -42*b - 10. Which is greater: d or b?
b
Suppose -843*t - 260 = -848*t. Is 56 > t?
True
Let f = 403 + -402. Is -1/426 at most as big as f?
True
Let g be 9/(81/30)*-3. Let l = g - -6. Let o be (-2)/l - (-117)/(-26). Which is greater: -2 or o?
-2
Let p = -5/12552 + -91783/665256. Let k = p - 869/6360. Let t = k - -3/40. Which is smaller: 0 or t?
t
Let g be 3/((-162)/633)*-39. Let x = -456 + g. Suppose 13*f - 4 = 11*f. Is f less than x?
False
Let p be (-3)/5 + 4/(-10). Let m(l) be the first derivative of l**3/3 - l**2/2 - 2*l + 26. Let a be m(p). Do a and -11 have the same value?
False
Suppose 20*w = 11*w + 1494. Let g = 168 - w. Let n = 8.17 + -0.17. Is n != g?
True
Let q(d) = -d**3 + 6*d**2 - 7*d + 2. Let f be q(5). Let h be f/28*(1 + (-488)/12). Is 12 at least as big as h?
True
Let s = 18 - -26. Let c = s + -73. Which is bigger: 2/7 or c?
2/7
Let g = 44 - 44.34. Let f = -0.34 - g. Is -2/17 greater than or equal to f?
False
Let h be ((-12)/(-16))/(-2 - 6/(-8)). Which is greater: h or -1?
h
Let p(v) = v**3 + 19*v**2 + 21*v - 14. Let o be p(-18). Let f = 7 - o. Let q be (48/f)/((-6)/15). Which is bigger: -1/5 or q?
-1/5
Let n = 14/65 - 228/455. Suppose 5*j = 20, 3*m + 2*j - 9 - 2 = 0. Let o(r) = -2*r**3 + 2*r**2 - 1. Let h be o(m). Is h smaller than n?
True
Let c(n) = -10*n**2 - n + 2. Let t be c(1). Which is smaller: t or -7?
t
Suppose 0 = -27*f + 30*f - 36. Let h(k) = -4*k - 3. Let g be h(-4). Which is greater: f or g?
g
Let g be (-8)/(-2) - (-82 - -5). Let n be ((-54)/g)/(2/3). Is 3 >= n?
True
Let b = 427/188 + -1/47. Let d be (278/12 - 0)/(-10). Let s = b + d. Is -1/4 >= s?
False
Let z = -37.941 - 0.059. Let g = 38.18 + z. Which is smaller: g or 2/5?
g
Let f = -223 + 2895/13. Let m be (5/(-10) - 1)*(-2)/(-3). Which is greater: f or m?
f
Let k(x) = -45*x + 130. Let m be k(3). Is -5 at most m?
True
Let z(b) = -13*b - 2. Let x be z(1). Let t = -14 - x. Which is greater: 2/25 or t?
t
Let k be (-5)/(-10) - (-782)/4. Suppose 5*x - 132 = -3*p + 28, 4*p - k = 2*x. Is 51 greater than or equal to p?
True
Suppose -6*f + 12*f = -222. Let t = -40 - f. Is -3 less than or equal to t?
True
Suppose -5*q = -4*m - 253, 17*q + 2*m = 18*q - 53. Suppose -5*g + z = -254, -3*g + 103 = -g + z. Are q and g equal?
False
Suppose 5*b + 93 = 4*b. Are -93 and b unequal?
False
Suppose 2*k - 2458 = -5*r - 0*r, -5*k - 3*r = -6107. Are 1218 and k nonequal?
True
Let s(g) = -4*g**2 - 10 + 7*g**2 - 9*g + g**3 + 3*g**2. Let k be s(-7). Let t = 6 + k. Is t at least -1/4?
True
Suppose -m + 2*b = 392 - 135, -4*m + 5*b = 1034. Let c = -3919/15 - m. Is 0 >= c?
True
Suppose a + 3*a - 1948 = -i, 4*i - 2424 = -5*a. Which is greater: 487 or a?
a
Let b be 2*25/(-10)*10020/375. Which is smaller: b or -133?
b
Let v = -338 + 341. Which is bigger: -3 or v?
v
Let x = 299 - 302. Let j be (-10)/4*(-3)/(-5). Is x <= j?
True
Let b(p) = p**3 - 6*p**2 - p + 46. Let g be b(5). Are g and 26 non-equal?
True
Let t = 0.1467 - -0.0533. Do t and 4/85 have different values?
True
Let r = 557/36 - 7/12. Let j be (-31100)/1665*(-8)/(-10). Let t = r + j. Which is bigger: 1 or t?
1
Let a be (-14)/(-8) + (-13)/(-52). Suppose 1 + 6 = s + 5*n, -5*s = a*n - 12. Let h be 10 - (-2)/(s/(-2)). Is 6 at most h?
True
Let i(x) = x**3 - x +