 than or equal to 1/6?
False
Let o = -7243 + 6646. Is -1 <= o?
False
Suppose 0 = 3*p - 0*p - 1218. Suppose 12*c + p = -2*c. Let n be (-562)/18 - 4/(-18). Is c at most n?
False
Let v(r) = 42*r - 437. Let y be v(14). Suppose -153*q = -y*q - 8. Is q smaller than 15/4?
False
Let y(v) be the third derivative of v**5/30 + 59*v**4/24 - 53*v**3/3 + 223*v**2. Let k be y(-30). Which is smaller: -227/3 or k?
k
Let r = 8592/45353 + 6/1463. Suppose -7*c + 11*c = 3*g + 116, 4*g = -c + 29. Suppose -c*f = 5*f. Which is smaller: r or f?
f
Let j = 328 - 974/3. Let i = -104/33 + j. Which is smaller: -1/16 or i?
-1/16
Suppose 0 = b + 2*j - 25 + 4, -3*b = -j - 84. Let h be (-321)/(-170) + -2 - b/(-135). Is h less than 0?
False
Let d = -66 - -934. Let p = d - 825.9. Let l = p + -42. Is l less than 0.4?
True
Let z be (95/165 + 18/(-270))/(2/(-15)). Do -0.3 and z have the same value?
False
Let h = -5008 + 5278. Which is smaller: 273 or h?
h
Let n(w) = -465*w + 109. Let y be n(1). Which is greater: -362 or y?
y
Let o = -15767/4 + 7849/2. Which is smaller: -17 or o?
o
Suppose -2*n + 35 + 350 = -z, -3*n + 769 = -2*z. Let l = z + 547. Suppose 5*p - 77 = 2*c, -5*c + 0*c + 3*p - l = 0. Which is bigger: c or -32?
c
Let n be (4/(-3))/(-2) - (11 + (-646)/57). Is n less than or equal to -6/1019?
False
Suppose 0 = -2*j - 4*q - 36, -3*q = 2*j - j + 16. Let b = 5 + j. Let h be (-4484)/247 + -5*(-6)/195. Is h at least b?
False
Let u be ((-46)/(-2))/(14/(-28)). Let c(w) = -w**2 - 3*w - 6. Let z be c(5). Is u at least z?
True
Suppose 4*j + 2*o - 14 = 0, -4*o = -2*j - o - 5. Let w be (0 - 1)/(j/(-2)). Let l = -30601/7 - -4373. Is l at most w?
False
Suppose -20 = 4*v, -4*v = 3*c - 7*c + 64. Let s(a) = a**3 - 9*a**2 - 18*a + 13. Let q be s(c). Are q and 167/3 unequal?
True
Let b = 63869 - 63874. Let y = -1 + 1. Which is greater: y or b?
y
Let b = 1798 - 1792. Let j be (-14)/(-6) + (-2)/(-3). Suppose 3*k = -j*k - b. Is k at least -2/233?
False
Let w be 3*(-1 - (-87)/9). Let i = w + -6. Let h(u) = 16*u + 67. Let z be h(-3). Which is greater: i or z?
i
Suppose 165 + 99 = 2*n + 2*d, d - 531 = -4*n. Let p = 258 - n. Does p = 123?
False
Let s be (18/(-27))/((-2)/3). Let r be 9/8 - s - 105/(-56). Do 0.06 and r have different values?
True
Let f = -0.053 - 5.847. Let y = f - -6.11. Let m = 3/53 - 115/159. Are y and m equal?
False
Let a = 9821 - 9817. Which is smaller: a or -164?
-164
Let q be (1 + (-13)/6)*(2 + 14774/(-7385)). Which is bigger: 0 or q?
q
Suppose 5*t - 33 = -13. Let z be (4 + 816/(-198))/(t/42). Let c be ((-4)/(-16))/(3/(-12)). Which is smaller: z or c?
z
Let p = -649/2604 + -1/1302. Is 8481 less than p?
False
Let a(j) = 3*j + 22. Let u be a(-3). Suppose u = -0*h - 13*h. Is 1/116 bigger than h?
True
Let f = 2.73 - 1.58. Let d = f - 1.27. Do -2/3 and d have different values?
True
Let i = -0.7378 - -0.6378. Is i greater than -567/4?
True
Let i be (832/(-12))/(-4)*(-5 - 61/(-32)). Is i not equal to -55?
True
Let z(p) = -159*p - 318. Let v be z(-2). Is -3/359 greater than or equal to v?
False
Suppose 0 = 10*q - 260 + 270. Let d be 12/3*(-10)/860. Which is bigger: d or q?
d
Suppose 2*q + 287*q = -47194 - 50488. Suppose 2*k + 1 = -675. Is q at least k?
True
Let d = -85.72 - -84.72. Which is bigger: 42/37 or d?
42/37
Let d(y) = 8*y**2 - 43*y + 43. Let q(x) = -x**2 - 26*x - 87. Let c be q(-4). Let o be d(c). Is 99/13 less than o?
True
Let z = 53/1389 + -85811/1884873. Which is bigger: z or 1?
1
Let d(w) = w**2 - 5*w - 8. Let z be d(6). Suppose 0 = 3*x - 29 + 11. Let q be 87/(-58) - (-1)/x. Is q at most z?
False
Let j be 9/((-189)/(-35)) + (-2)/(-6). Let n be 2760/25 - j/5. Let m be 10/(-15)*(n/(-14) + 1). Is m greater than 4?
True
Let o be 10 + 10/(160/(-158)). Which is bigger: 65 or o?
65
Let k(v) = 42*v**2 + 25*v - 365. Let d be k(8). Which is smaller: 10091/4 or d?
10091/4
Suppose 0 = -2*s - 2*a + 162, -5*s - 2*a = -348 - 60. Suppose m = -137 - s. Is m less than or equal to -219?
True
Let y(p) = 2*p**2 - 10*p + 26. Let j be y(4). Suppose 0 = 2*q + 5*x + 30, 4*x + j = -2*q + 2*x. Let g be 1*-2 + (-9)/4. Is q greater than g?
False
Let t = -1147 - -139. Let n be (t/(-288))/((-2)/((-8)/(-2))). Let y be (6 - 1)*(-2 - -1). Is n smaller than y?
True
Let v = 2601139/233971 + 4/13763. Is 11 at most v?
True
Let f = -1018 - -1010.61. Let h = f - -7.39. Is h at least as big as 0.077?
False
Let k(c) = 2*c - 43. Let l be k(19). Let y be 9/(-5) - (-1)/l. Let a be (-9)/(-2) + 1/y. Is 14/5 != a?
True
Let l = -10291/3346 + 1/239. Which is smaller: -4 or l?
-4
Let r = 1886 - 1885. Let l = -6 + 5. Which is smaller: r or l?
l
Let n be (-20)/2 - (-3424)/428. Which is smaller: n or 0.169?
n
Let w be (-16)/(-20)*1*5. Suppose 3*u + 12 = -w*c, -u = 10*c - 5*c + 15. Which is smaller: u or 1?
u
Let j = -10604999/4040 - -2625. Is 1 >= j?
True
Let q be (8 - -1) + 24 + -25. Let u be 50/q + 7/(49/(-42)). Is u > 1?
False
Let o = 29.2 - -3.8. Let i = -3448 - -3448. Is o bigger than i?
True
Let s = -5998 + 5918. Suppose -2*l + 10 = 3*l, -a - 5*l + 10 = 0. Suppose 0 = -a*t + 4*t + 316. Which is smaller: t or s?
s
Let f(r) = -3*r + 70. Let g be f(30). Let v(m) = -m**3 - 20*m**2 - 3*m - 42. Let y be v(g). Suppose 0 = 2*a + 3*a - 95. Which is smaller: a or y?
y
Suppose 5*c = -4*r - 24 - 57, -3*c = -4*r + 55. Suppose 3*q - 52 = -2*g, 0 = 3*q - 6*q - g + 53. Let u = -21 + q. Is c equal to u?
False
Let y = -439 - -1586. Is -1 bigger than y?
False
Let v(j) = 26*j + 1. Let w be v(0). Let q(d) = d + 5. Let x be q(-2). Is x at least w?
True
Suppose 2093 = 5*z - 577. Let m be 1/(-6) + 77/z. Let n(b) = -b**2 - 4*b + 60. Let p be n(-10). Is p not equal to m?
True
Let o = 24232 - 24233. Is o at most 2951?
True
Let p = 139.094 - 139. Let y = -5.294 + p. Which is smaller: -0.2 or y?
y
Let g = -5419 - 331. Is g >= -5749?
False
Let h = -22 + 60. Suppose 3*w - h = 1. Suppose 4*y - w = 4*d - 61, -4*y = -3*d + 51. Which is smaller: -13 or y?
y
Let r(x) = x**3 + 36*x**2 - 687*x + 52. Let o be r(-50). Does o = -6566/11?
False
Let p = -409.8792 - -410. Let d = p + -0.0208. Let v = -1 - -1.024. Is d <= v?
False
Let t = 405 - 2402. Which is smaller: t or -1995?
t
Let g = -234 + 245. Let v(y) = y**2 - 6*y - 31. Let o be v(10). Suppose h = s - 4*s, 0 = -4*h - 3*s - o. Which is greater: g or h?
g
Suppose -6*b + 56594 = -15064. Which is greater: b or 11942?
b
Suppose 8 = -4*u + 4*z, 3*u - 6*z = -z - 10. Suppose -4*g - 16 = -u*g. Let x be (g/(-6))/((-24)/108). Are 2 and x nonequal?
True
Let n(m) = 10*m - 1152. Let o be n(102). Which is greater: -59 or o?
-59
Let p be -9*7/(-21) + (-19553)/(-957). Let l = -89/35 - -10009/385. Let t = p - l. Is 1 greater than or equal to t?
True
Let w = -2/803 + 15269/4818. Let c be (-11)/7 - 24/56. Let k be ((-4)/2)/(c/3). Is w smaller than k?
False
Let n(o) be the first derivative of -o**4/4 - 13*o**3/3 + o**2/2 + 14*o - 68. Let s be n(-13). Which is smaller: 2/115 or s?
2/115
Let h be -2 - 50092/20 - 2*21/(-70). Which is smaller: -2507 or h?
-2507
Let a = -3059 + 3112. Which is greater: -2 or a?
a
Let s = 37.964 - 38. Let z = -0.784 + s. Let n = z + 1.3. Is -1 at most n?
True
Suppose 34 = 4*l + 5*a - 18, 2*a = 4*l - 24. Let s be (30/21 + -2)/(1089/(-15246)). Are l and s equal?
True
Let t = -3507 + 3509. Let r(s) = -s + 7. Suppose i = 2 + 6. Let l be r(i). Do t and l have the same value?
False
Suppose 16*f + 24 = 28*f. Let b be (6 - (-30)/18) + (f - 2). Is 7 greater than or equal to b?
False
Let b(m) = 18 + 2 + m + 0. Let f be b(-6). Let y(g) = -g**2 + 13*g - 3. Let x be y(f). Is x <= -14?
True
Let z be (-4*6/24 - -5) + 162195/(-40545). Which is bigger: z or 0?
0
Let w = -6939/260 + 107/4. Which is bigger: -14 or w?
w
Let m(x) = -x**3 - 22*x**2 - 23*x - 516. Let d be m(-22). Let l be (10 + -2)/(1 - 2). Is d at most l?
True
Suppose 99*j + 11161 = -4679. Is -160 greater than or equal to j?
True
Let a = 0.11 - -0.39. Let u = a + -41.5. Let y = -40.86 - u. Which is greater: y or 2?
2
Let h be (-42327)/(-7056) - (-10 - -16). Which is smaller: h or 0.2?
h
Let g = -161.32 + 161.22. Is -3/9883 smaller than g?
False
Let g = 605 + -623. Let s be g/(-1)*-8*5/(-120). Which is smaller: s or 0?
0
Suppose 3*v + 0*v - 2*q + 116 = 0, 0 = 3*v - 3*q + 120. Let x = 171 + v. Let f be x/10*(2 - 0). Do f and 27 have the same value?
Tr