*d - 20 = 0, 4*d = 2*a + 11 + 7. Which is smaller: a or t?
a
Let v = 446 + -462. Which is smaller: -20 or v?
-20
Let o = -254 + 254. Is 4/53 at least as big as o?
True
Let j = -42.98 - -43. Let w = 0.12 - j. Let y = -1 + 3. Is y bigger than w?
True
Let p(v) = 2*v**3 + v. Let o be p(-1). Let u = -1474 + 2945/2. Is u bigger than o?
True
Let r be (11/132)/(6/(-1377)). Which is smaller: -19 or r?
r
Let h be (-8 - -4) + (-1 + 1)/2. Let v(f) = -3*f - 6. Let m be v(h). Is m <= 5?
False
Let l(r) = -r - 13. Let u be l(-11). Let m be u/(-1) + (1 - 1). Suppose -2*v = -1 - 1. Are v and m unequal?
True
Let j = 4 - 5. Let h(c) = -4*c**2 + 27*c + 1. Let b be h(11). Let m be (-3)/12 + b/(-552). Which is greater: j or m?
m
Let q = -73336859/414645 + -4/82929. Let h = q + 177. Which is bigger: h or -1?
h
Let d(t) = -t**3 - 30*t**2 + 62*t - 65. Let f be d(-32). Let s(k) = k + 1. Let v be s(-4). Is f bigger than v?
True
Let c be -4 + (1 - 1) + 4. Suppose c*s + 48 = -4*y + 2*s, 4 = -s. Which is smaller: y or -15?
-15
Let w(i) = 2*i + 10. Let h be w(-8). Let v = -6 - h. Let d = -24 - -26. Is v >= d?
False
Suppose -m = -4*m. Suppose -12*i + 15*i - 15 = 0. Suppose n - i = 3*f, 0 = 4*n + n - f - 11. Which is smaller: n or m?
m
Let u be 60/16*(-4672)/(-48). Is u greater than 366?
False
Let t be (126/15 - 8)*(2 - 42). Which is bigger: t or -117/8?
-117/8
Suppose -2*i - 1 = 3. Let c = 28 + -20. Suppose c*f = 20*f + 12. Is f less than or equal to i?
False
Let q be (-32)/(-256) + 18/(-16). Let g(d) = 3*d + 1. Let a be g(1). Let m be (-1)/((-6)/a*3). Which is smaller: q or m?
q
Let o be (-2)/(-5) + ((-2)/5 - 0). Let i be 15/7*2/3. Which is smaller: i or o?
o
Let m(q) = q**3 - 4*q**2 + q. Let d be m(4). Let u(v) = -2*v - 4 + d*v - v. Let w be u(8). Which is smaller: w or 0.1?
0.1
Let u(y) be the third derivative of y**4/12 + 2*y**3/3 + 34*y**2. Let v be u(0). Is v at most as big as 0?
False
Let i = 65 + -64.9. Which is smaller: 2.15 or i?
i
Suppose -44 - 4 = 3*i. Let r be 140/(-12)*(-7)/(-5). Which is smaller: r or i?
r
Suppose -112*v + 102*v - 10 = 0. Does 347 = v?
False
Let a = 0.3 + -2.3. Let r = -57 + 61.7. Let s = -4.75 + r. Is a bigger than s?
False
Suppose 0*o = -o + g - 11, -1 = -g. Let h be (o/15)/(26/36). Let m(x) = x**3 + 3*x**2 - 5*x - 6. Let j be m(-4). Which is smaller: h or j?
j
Let m(b) = b**3 + 30*b**2 + 26*b - 63. Let u be m(-29). Let p(g) = -26*g. Let k be p(-1). Which is smaller: u or k?
u
Let p = -5/12 - -425/1164. Are 0 and p non-equal?
True
Let g = 70 - 75. Let x be 54/(-30) + 1/g. Let m = 1/202 - 2023/606. Is m less than x?
True
Let i be ((-9)/1437)/((-2)/2 - 2). Let t = i + 947/5269. Which is smaller: t or 1?
t
Let o be -16*(-1 + 10*(-3)/6). Which is smaller: o or 97?
o
Let h(d) = -d**2 - 5*d + 3. Let f be h(-5). Suppose 2*c - c = f. Let s = 2 - c. Which is smaller: s or 1?
s
Let k = -39 + 55. Let n = k - 17. Let q be (-22)/24 - n/(-3). Which is greater: q or 1?
1
Let v be (-5 + 5 - -2)*12/3. Let b be (v + -4)*(-7)/(-4). Which is smaller: 6 or b?
6
Let q = 170 + -172.94. Let g = -0.06 + q. Let f = g - -3. Is 0.08 less than f?
False
Suppose -5*g + 4*q - 7*q = 4, -3*g + 3*q = -12. Let k = -98 + 1273/13. Are k and g non-equal?
True
Let x be -1*2 + (15 - 9). Suppose 0 = 4*u - q, u + 2*u - x*q = 0. Let s be (u*2/4)/(-2). Which is smaller: -1/29 or s?
-1/29
Let i = -11.004 + 11. Let j = i - -2.004. Let x be 1/(-1) + (-6)/(-4). Which is greater: j or x?
j
Let n = -15 - -13.7. Let k = -184.4 - -183. Let q = n - k. Which is smaller: 2 or q?
q
Let n = -4.9 + 4.9. Suppose 4*a = 16 - 4. Let f be a/(-36) - (-4)/(-24). Which is smaller: n or f?
f
Let v = 67 + -134. Let i = v - -38. Is -29 at least as big as i?
True
Let s(t) = t**3 - 5*t**2 + 2*t - 2. Let g be s(5). Let x = 11 - g. Suppose -24 = x*i - i. Is i > -11?
False
Let w(d) = -2*d - 4. Let o be w(4). Let z(l) be the third derivative of l**5/60 - l**4/4 - l**3/3 - 56*l**2. Let m be z(4). Is m bigger than o?
True
Let z = 5/9 + -53/63. Let t = -24.6 - -20. Let i = -3.4 + t. Is i not equal to z?
True
Let a be 258/28 - 2/(-7). Suppose 2*k - 44 = s - 5*s, -5*s + 25 = -5*k. Let o = s - a. Which is smaller: -1 or o?
-1
Let j(d) = d**2 + 3*d - 5. Let s be j(3). Suppose s*o + 65 = 18*o. Is -0.2 equal to o?
False
Let r(y) = 59*y - 484. Let k be r(8). Which is bigger: k or -13?
k
Suppose 123*x = 42*x + 1863. Which is smaller: 37 or x?
x
Let z be ((-2)/(-5) + (-63)/45)*-2. Suppose -2*p - 3*p = -z*f + 165, 0 = 4*p + 4*f + 132. Which is bigger: -32 or p?
-32
Let s = -85 + 37. Suppose -3*w = 23 - 11. Let o be (w - -6) + s/22. Which is smaller: o or -0.1?
o
Let d(b) = 595*b - 34. Let z be d(1). Is 562 greater than or equal to z?
True
Let h be (-42)/15 - (-2 - 2). Suppose 4*f - 10 = -2. Suppose 4*t + 2*w = 4, 2*t + f*t = -4*w. Is t at most as big as h?
False
Let f = 88 + -81. Let l be 4/1 - f - 2. Which is smaller: -6 or l?
-6
Let n = 51 + -41. Let v = 9.81 - n. Is -2/7 at most as big as v?
True
Let b = 20 - 6.3. Let u = 13.676 - b. Which is smaller: u or 0?
u
Let l = -728 + 16747/23. Which is greater: l or 0?
l
Suppose -2*l = -5*x + 5, -x = -5*l + 8 + 14. Let n(i) = -i**2 - 3*i + 2. Let u be n(-3). Suppose -x*d = u*d + 5. Which is greater: d or -2/7?
-2/7
Let p = 7 + -2. Let k(s) = s**2 - 7*s + 6. Let v be k(6). Suppose v = -4*y + o - 23, 0 = -p*y + 2*y - 2*o - 31. Which is bigger: y or -6?
-6
Suppose -5*c = -10*c - 20. Let z(d) = d**3 + 3*d**2 - 3*d + 4. Let f be z(c). Is f less than or equal to 6?
True
Let h be (1 - 5) + (-305)/(-61). Is -1/367 >= h?
False
Let j be (-154)/(-56) - (-14)/(-8). Let w be (-156)/(-399) - 2/7. Which is smaller: j or w?
w
Let d = -31 + 35. Let p be d/(-22) + (-280)/(-88). Let q be (-2)/p - 12/36. Is q greater than -4?
True
Let d(r) = r**2 + 11*r + 16. Let o be d(-10). Let u be (-5)/(-8) - 8/64. Is u >= o?
False
Let z = 574 - 574. Is -1/484 less than z?
True
Let w = 0.548 + -1.548. Which is bigger: w or 2/2473?
2/2473
Let u = -1152 + 1151. Which is greater: 649 or u?
649
Let c be (5/(-15))/(1/57). Is -141/7 greater than or equal to c?
False
Let t = 37 + -33. Suppose -4*y + 4 = 4*p, 2*y = t*y - 2*p - 2. Let w = 16 - 11. Is w > y?
True
Let h = -133 + 90. Let f = h - -43.1. Let k be 1 - (-2 - 8/(-2)). Which is smaller: f or k?
k
Let u = -88 + 97. Suppose -10 = -4*z + u*z. Is z at most -0.5?
True
Let j be ((-20578327)/(-105))/(2/(-4)). Let m = 392155 + j. Let b = 187 - m. Do b and 0 have different values?
True
Let k = -312317071/2316488 - 1/136264. Let g = k - -135. Let x be 1*(16/(1 - -1) - 7). Is g greater than x?
False
Let o(d) be the second derivative of -d**5/20 - d**3/3 + 3*d**2/2 + d. Let h be o(2). Is -8 smaller than h?
False
Suppose 16*m = 67 - 19. Is m at most as big as 56?
True
Suppose -12*d = -24 - 36. Suppose 0*w = 2*w - 16. Which is smaller: w or d?
d
Let q = 4.21 - 7.21. Which is greater: -9/7 or q?
-9/7
Let o = -14 + 23. Let u(f) = -4*f + 9. Let d be u(o). Let l be (-2)/(-24) + (-18)/d. Is 1 <= l?
False
Let o be (1/(-38))/((-3)/(-54618)). Let m be 1/(4308/(-1437) - -3). Let y = o + m. Is -1 less than or equal to y?
True
Suppose 5*v + 15 = 0, 3*v = -7*f + 2*f - 64. Let g = 2339 + -2348. Is f >= g?
False
Suppose -2*s - 5*t - 8 = 0, -4*s - 5 = 4*t - 1. Let k = 2/101845 - 98891567/3666420. Let m = 107/4 + k. Which is smaller: m or s?
m
Let b(q) = q**3 - 13*q**2 + 13*q + 8. Let t be b(12). Suppose -5*z + t = -5*w, -3*z - z + w = -10. Let k be (z - 3/(-6))*2. Is k greater than 5?
False
Suppose -20*r - 549 = 1031. Which is bigger: -77 or r?
-77
Suppose -y - 39 = -33. Let f = y - -4. Which is bigger: -8/11 or f?
-8/11
Let r = -857/4 + 216. Suppose -3 = -u - 0*u. Is r > u?
False
Let n = -11/4 - -37/12. Let k = 40.1 + -40. Is n smaller than k?
False
Suppose 9*j = 4*j + 130. Let z be (-8)/j - (1 - 1). Let l(q) = 4*q. Let g be l(0). Is g < z?
False
Let f = -1378 - -1379. Is f bigger than 32/57?
True
Let l = -46.1 + 44.3. Is l equal to 1.6?
False
Let n = -153 + 75. Is n not equal to -79?
True
Let l(w) be the first derivative of -w**4/4 - 10*w**3/3 - 9*w**2/2 - 2*w + 32. Let u be l(-9). Are u and -20/13 nonequal?
True
Let v be (2/(-28))/(5/60). Which is bigger: v or 3?
3
Suppose 0*i - 4*i = 5*y + 54, 4*i + 60 = -2*y. Suppose -5*c = 3*p + 30 + 38, 2*p - 8 = 0. Is i > c?
False
Let l = -196/3 - -6