alse
Let m(i) = i**2 - 9*i - 12. Let g be m(11). Suppose -2*d - g = 38. Let n be 4/6*36/d. Is n less than -1/4?
True
Let v(o) = 26*o + 156. Let n be v(-14). Is -210 greater than n?
False
Suppose -4*x - 92 = -k - x, x = -k + 92. Suppose 5*u = 3*u - k. Is 1/3 >= u?
True
Let a = 12 - 10. Suppose -j + a = -3. Suppose 5*l + j*d = 0, 2*l = 5*d - 3*d + 4. Is 2/5 bigger than l?
False
Let d = -764 + 769. Which is smaller: -0.068 or d?
-0.068
Suppose -3*n + 5*y = 4*y - 16, 5*y = -5. Suppose n*o - 4 = j - 4*j, 4*o + 4*j = 8. Which is bigger: o or 2/149?
2/149
Let x = -9/7 + -18/35. Which is bigger: 2 or x?
2
Let t = 700 - 1422. Let z = 715.06 + t. Let r = 7 + z. Are r and -1 unequal?
True
Let f = 53 + -38. Let s = 403/27 - f. Are 1 and s non-equal?
True
Let i = -23 - -25. Suppose -2*c + 29 = 4*k + k, 24 = i*c + 4*k. Let w = 2691/3685 - 1/335. Which is smaller: w or c?
w
Let q = -15 - -23. Let g = q - 14. Let d = 5.7 + g. Which is greater: d or 2/3?
2/3
Let q = 665 - 12651/19. Let l be 36/27*(-3)/2. Is l at least as big as q?
False
Let n(s) be the first derivative of s**3/3 + 9*s**2 + 2*s + 6. Let t be n(-14). Let b be 114/t - 1/(-9). Which is smaller: b or -12/7?
b
Let z = 460 + -458. Is 60/61 equal to z?
False
Let t be (2/(21 - 1))/((-22)/(-10)). Is t smaller than -5?
False
Let t(l) = -3*l + 69. Let u be t(29). Let k be 1 + 0 + (-5 - -2). Let g be (-8)/u*(-1)/k. Which is smaller: 2/7 or g?
g
Let r(d) = 2*d**2 + 11*d - 142. Let q be r(7). Is -6 bigger than q?
False
Let t = -29 + 55. Let i be t/(((-16)/(-4))/4). Are i and 26 unequal?
False
Let c = -44 + 50. Suppose -c*w - 25 = 5. Is w less than -6?
False
Suppose -v + 1 = -8. Let c = 23 - v. Suppose 2*p - 6 + c = 0. Which is bigger: p or -3?
-3
Let h = -0.8 - 2.7. Let m = h + -58.5. Is -0.1 < m?
False
Let f = 223/6 + -186/5. Let c = -7/10 - f. Is c smaller than 3.5?
True
Let n = 2349118/15085 + -24/2155. Let s = n - 156. Let f be (1 - (0 + 0))/(-4). Is s < f?
True
Let b be 2/5*10/2. Let q be b/2 - 0 - -24. Suppose -p - r + 0*r = 9, 5*p + q = -r. Which is smaller: p or -8/3?
p
Let o(d) = 3*d + 19. Let j be o(0). Let n be j/(-7) - (-4 - -1). Which is bigger: -0.21 or n?
n
Let j = -312 - -312.003. Is j smaller than -0.1?
False
Suppose -4*z - 29 = d, -3*z - 2*z + d - 34 = 0. Let g be 0 - (66/30 + 1/(-5)). Are z and g nonequal?
True
Let t(i) be the third derivative of -i**6/120 - 2*i**5/15 + i**4/3 + i**3 + 7*i**2. Let v be t(-9). Suppose -2*z = -5*z - v. Which is bigger: z or -4?
-4
Let c be -421*1/(-7) - (-2)/(-14). Is 61 at most c?
False
Let h = 195 - 193. Let v(y) = y - 10. Let o be v(9). Let z be (-3 + 0 + 2)*o. Which is bigger: h or z?
h
Suppose 3*y + 2*s = 370, -y - 2*y - 4*s = -368. Suppose -3*m + 3*z - 149 = -z, -3*m = z + y. Let x be (-4)/(-28) + m/7. Do x and 3 have different values?
True
Suppose -4*a - 4415 + 688 = 5*n, 5*a = -n - 758. Is n <= -742?
True
Let l = -5582/3 + 1875. Which is greater: l or 14?
l
Let s(w) = -2*w**3 + w**2. Suppose 0 = 3*d + 12, -5*y + 2*d = -5 + 2. Let m be s(y). Let b be (-1)/(12/(-32)) + -3. Which is greater: m or b?
m
Let j = 2101 + -2092.21. Let v = 935 + -935.21. Let s = v - j. Is 1 bigger than s?
True
Let g be (-15)/((-17)/63 - 8/(-36)). Let s = g - 2827/9. Is 2 != s?
True
Suppose h + 2*u + 9 + 120 = 0, 0 = -2*h + 4*u - 274. Let q = 120 + h. Suppose 4*m = 3*d - 43, 5*d - 5 = 3*m + 19. Is m at most as big as q?
True
Let y = 2.13 + -2.17. Is -8/7 equal to y?
False
Let b(k) = 12*k - 38. Let j(r) = -4*r + 13. Let a(d) = -4*b(d) - 11*j(d). Let v be a(3). Let f be ((-4)/(-42))/(1/v). Is -6 greater than or equal to f?
False
Let a = -4 - -3.7. Let o = -0.9 - a. Let h = o - 1.4. Which is smaller: h or -0.4?
h
Let i be (-84)/63*6 - -35*3. Is i less than 97?
False
Let d = -123/364 + 3/13. Let o(g) = g**3 + 3*g**2 + g - 1. Let t be o(-2). Which is bigger: t or d?
t
Let c = 42 + -41. Let k = 2290329/34 + -67368. Let h = k - -11/2. Are h and c nonequal?
True
Let c(w) = 5*w - 17. Let l be c(5). Suppose -4*y + 5*m = 10 - 2, 0 = -4*y + 4*m - l. Suppose -3*p + 15 = 5*u - 4, 2*u + 2*p = 6. Is u less than or equal to y?
False
Let q(o) = -o. Let h be q(-3). Let i be 5096/2562 - (-1 + h). Is -1 at most as big as i?
True
Let h = -188 + 133. Which is bigger: -52 or h?
-52
Suppose 2*w + 2 = b, -2*b = -2*w - 2 - 0. Are -2/1109 and b nonequal?
True
Let m = 0.0254 - 0.0254. Which is greater: m or -25/6?
m
Suppose 1 = 9*d - 107. Suppose -3*m - h + 3*h - 2 = 0, -3*h = -d. Which is smaller: -0.6 or m?
-0.6
Suppose -6*a = -33 + 39. Is a <= 6/179?
True
Suppose 3*l = 2*l - 2. Let h(u) = -2*u + 2. Let n be h(l). Let d be 16/n*(-3)/2. Is d less than or equal to -4?
True
Let q = 122 - 59. Suppose -q = -4*b + 5*b. Let x be b/12 + 3 + 4. Is x at least as big as 2?
False
Suppose 5*g + 4*b = 20, -5*b = -6*g + 2*g + 16. Let q be (g + -9)*-1 + 30. Is 34 less than or equal to q?
True
Let r be ((168/8015)/6)/(2/(-5)). Which is bigger: -1 or r?
r
Let f = 70 + -43. Suppose 18*x = 9*x + f. Which is smaller: 11/4 or x?
11/4
Let n(t) = 4*t + 8. Let p(m) = -3*m - 9. Let z(i) = -6*n(i) - 7*p(i). Let f be z(5). Which is bigger: 1/10 or f?
1/10
Let u = 0 - -1. Let f = 5408 + -91940/17. Are u and f equal?
False
Suppose -3*n = -482 + 362. Is n at least 40?
True
Let u = -3736/33 - -1436/11. Suppose 2 = 2*a - 32. Which is greater: u or a?
u
Let u(m) = -6*m - 78. Let o be u(-13). Is 3/143 bigger than o?
True
Let v = -40 - -41. Let n be (-42)/(-8) + 2/(-8). Suppose n*d + 1 = -0*d + z, 2*z = d + 2. Is v > d?
True
Let p = -68/7 - -293/28. Let h = -0.61 - 2.69. Let x = -3.4 - h. Is x smaller than p?
True
Let x be (4/621510)/(20/(-926184702)). Let g = x - -70/20717. Let l = -298 - g. Is 1 at least l?
True
Let n be (-2)/(-70) - 2/1. Let o be (-10)/21*-3 - (-33 + 36). Let b = o - n. Which is greater: -1/5 or b?
b
Let q = 834 + -828. Which is bigger: q or -10?
q
Let i(c) = -c**2 + 11*c + 3. Let o be i(11). Suppose -w = -3*x + 6 - 5, o*w = 3*x - 9. Which is greater: -2/33 or x?
-2/33
Let q(g) = -g**3 - 5*g**2 - 2*g - 3. Let d be q(-3). Let p = d - -15. Is p greater than -2/3?
True
Let c = -29 - -33. Suppose 5*p + c*r = -36, 4*p - 5*r = 1 + 3. Let h = 13 + -18. Which is bigger: h or p?
p
Let f = -1 + -1. Suppose 2*i - 5*y = 17, -5*i = -4*y - 13 - 4. Let p be 10/15*(-2 - i). Is f at most as big as p?
True
Suppose -288*x - 6 = -282*x. Is 3/140 at most x?
False
Let l(j) = 28*j + 63. Let m be l(26). Which is bigger: m or 792?
792
Suppose 2*u - 132 - 1858 = 0. Is 995 smaller than u?
False
Suppose -b = 4*i - 19, b + 11*i - 12*i - 14 = 0. Is b at most as big as -2?
False
Let m be 13*(-16)/1352 - 16/65. Which is smaller: m or -635?
-635
Let z(o) = -o**3 + 15*o**2 + 16*o - 2. Let f be z(16). Let c = f + 12. Let q = 2 + -1.8. Which is greater: q or c?
c
Suppose 0 = -4*c - c. Suppose -b + 16 = -c*y + 5*y, 2*b + 1 = y. Suppose -2 = -y*q - 14. Which is bigger: q or -1?
-1
Suppose 4*c - 3*d + 7 = 0, -5*c + 0*d - 6 = -d. Which is greater: 2 or c?
2
Suppose -8 = 4*w, 0 = -2*h - 2*w + 18 + 20. Let s be (-1518)/(-184)*(119/21 + 6/(-2)). Which is bigger: h or s?
s
Let k be 1 + 4/6*3. Suppose 4*b - 4 = 2*h, 4*h = k*b - 2*b + 13. Suppose q + 2*q - 19 = 4*g, -b*q + 15 = 0. Is -2/9 greater than or equal to g?
True
Suppose 4 = 4*j - 12. Suppose -6*h + j*h - 2 = 0. Let y be (4 - 26/6) + (-38)/(-60). Are y and h unequal?
True
Suppose -126 = -4*u - 4*r + 94, 269 = 5*u + 3*r. Let v = u - 362/7. Which is greater: v or 5?
5
Let y be -9*(-6)/162*-27. Which is smaller: y or -3?
y
Let r be (5/(-20))/(2/(-8)). Suppose v + 4*v = -20. Let a be (-1)/(r + (v - -2)). Which is bigger: a or 1/30?
a
Let v be 2/(-7) + (-77)/(-98). Suppose -37 = -j - 5*y, -4*y + 123 = 4*j - 25. Let g = -36 + j. Is v equal to g?
False
Let y = -3513/5 + 703. Which is greater: -0.187 or y?
y
Let k(g) = g + 5. Let b be k(0). Suppose -b*w + 11 - 121 = 0. Is w at most as big as -22?
True
Let v be -70*-1*4/8. Let k = v + -33. Suppose -k = 3*d - 5. Which is smaller: d or -3/11?
-3/11
Let u = 82 + -1559/19. Suppose 11*s + 612 + 488 = 0. Let h = s + 100. Are h and u non-equal?
True
Let k = 13/2 - 8. Let u be (-1)/(14/44) - 2/(-14). Is k greater than u?
True
Let r be 41/(-13) + 12/78. Let q = r + 0. Is q less than or equal to -1?
True
Let x be (4/2)/(2/16). Suppose -2*p = -3*f - x, 3*p - 26 = 4*f - 0