t c = 283 + -285. Is 13/3 at most c?
False
Let j = 17 - 37. Let c be (j/6)/((-12)/(-18)). Is c equal to 3?
False
Let c = -1 - -2. Let i(n) be the second derivative of -n**5/10 - n**3/6 + n**2/2 + 4*n. Let f be i(c). Is 1 bigger than f?
True
Let p(f) = 6*f + 3. Let s be p(-1). Let j be -3 + 1 - (s - -2). Is -3/4 less than j?
False
Let l(i) = i**2 + 11*i + 15. Let s be l(-10). Suppose d = 2*d - s. Suppose -d*c = -t + 10, -5*t + 0*c = c + 2. Which is bigger: -3/7 or t?
t
Let v be 828/48*64/48. Let u(o) = 3*o**2 + 6*o. Let r be u(-4). Which is smaller: v or r?
v
Suppose -3*y + 64 = 55. Suppose 6*o - 64 = 2*o + 4*f, y*o - f - 42 = 0. Is o less than 13?
False
Let g(r) = r + 4. Let b be g(-2). Suppose 0 = -2*d - 2*a + b, 0 = -d + 4*a - 0*a - 9. Let p be (-2 + 1)*0 + 1. Is d at least p?
False
Let t be (-3)/(4/(-4)) + -9. Let d be (1*-4)/(-232)*t. Let m(z) = 4*z + 20. Let b be m(-5). Which is greater: b or d?
b
Let k(f) = f**2 - 4*f - 3. Let b be k(5). Suppose -6*i + b = -5*i. Suppose i*x - 2*u = -8, -23 = -x + 3*x - 5*u. Which is smaller: x or -4?
-4
Suppose -3*r - 864 = -4*p, -2*p = 2*r - p + 587. Let s be -3 - (2/3 - r/(-84)). Is s at most as big as 0?
True
Let z = -0.6 + -18.4. Let k = z - -24. Is k greater than or equal to 0.3?
True
Let d = 52 - 37. Let k = d - 15.5. Let s = k + -1.3. Which is bigger: 0.1 or s?
0.1
Let z(m) = m**2 + 8*m + 5. Let n be z(-7). Let p be n/7 + (-22)/70. Let i be (14/(-3))/7*3. Which is greater: i or p?
p
Suppose -5*f - 3*a - 655 = 0, -5*f + 53 = 2*a + 708. Is f greater than or equal to -131?
True
Let q = -3 + 4. Let b = -32391/110 + 589/2. Let a = 64/1265 + b. Is a less than q?
True
Let n be (-33)/6 - 2/4. Let q(g) be the second derivative of g**5/10 + g**4/6 - g**3/2 - 3*g**2/2 + 4*g. Let j be q(-2). Is n <= j?
True
Let k be (3/(-2))/(24/(-8)). Is k != 67?
True
Let b(y) = 6*y. Let d be b(-2). Let n(i) = -i**3 - 12*i**2 - i - 1. Let k be n(d). Which is greater: 13 or k?
13
Let l = -0.19844 + -2086.86156. Let m = 2112 + l. Let r = 25 - m. Is 1 not equal to r?
True
Suppose 9 = 2*k + 5*x - 24, -5*k = -4*x. Suppose -u - 4*g = -24, -4*u - 2*g - 54 = -9*u. Let m be ((-1)/k)/((-3)/u). Is m less than -1/19?
False
Let c(v) = -v**3 + 4*v**2 + 5*v + 1. Let x be c(5). Let w be 134/67 - (266/90 - 1). Which is bigger: x or w?
x
Let j = -25 + 28. Suppose l - 5*f + 10321 = -j*l, -2*l = 3*f + 5133. Let c be 2/11 - (-1062)/l. Is c less than 1?
True
Let p = 48 + -49. Let l = 8 + -13. Let r be (-19)/42 + l/(-30). Is r less than p?
False
Let s be (54/30)/(9/30). Suppose o = j, 4*j + s*o = 4*o. Let b be -2 + (0 - j) + 2. Is -3/7 greater than or equal to b?
False
Let a(t) = 4*t**3 - t**2 + 2*t + 5. Let o be a(2). Which is bigger: 39 or o?
39
Let x be (-532)/(-315) + 16/(-20). Let f = 0 - 0. Which is greater: x or f?
x
Suppose 7*b - 22*b - 1050 = 0. Is b bigger than -69?
False
Suppose 5*q = -10, 6*v + 4*q - 16 = 3*v. Let m(o) = -o**3 + 9*o**2 - 8*o + 2. Let c be m(v). Suppose -18*i + 12*i = -12. Is c equal to i?
True
Let a = -66 + 26. Let r = 40.2 + a. Let i be 3/3 - (-10)/(-12). Is r at least as big as i?
True
Suppose 0 = z + s + 4, -z - 4*z = -4*s + 2. Let v(o) = o**3 + 4*o**2 + 4*o + 3. Let q be v(z). Which is smaller: q or 5?
q
Suppose -12*l = -2 + 74. Which is greater: -3 or l?
-3
Let a = -40 + 49. Let g = -38 + 83. Suppose c = 6*c - g. Do a and c have the same value?
True
Let g be (-3458)/6 + (-148)/222. Is g less than or equal to -577?
True
Let a = 21115 + -232439/11. Which is smaller: a or -16?
-16
Suppose 0 = -4*l + 5*f - 457, 7*f - 4*f + 309 = -3*l. Which is smaller: -2/5 or l?
l
Let y = -152 + 147.3. Is y at least as big as -2/3?
False
Let p = -1182 - -1183. Let q = -88 + 1057/12. Is p < q?
False
Let b = -209 - -158. Which is smaller: 0.06 or b?
b
Let x be 4 + 13*(3 - 4). Which is smaller: -68/7 or x?
-68/7
Let d = 35/293 + -27252/230591. Which is greater: 1 or d?
1
Suppose -4*c + r + 34 = 0, 0*c = -c + 5*r + 18. Suppose c*h - 3*h - 20 = 0. Suppose -h*s + 7*s + 9 = 0. Which is bigger: s or -1?
-1
Let v = -38/127 - -4952/17399. Which is greater: -7 or v?
v
Suppose -n = -0*n + 2*q - 68, -5*q = 4*n - 278. Suppose 7*t = 1648 - 22249. Let g be (3/(-4))/(t/n). Which is greater: 0 or g?
g
Let d(a) = -a**2 - 2*a + 4. Let r be d(-3). Let x = 10479 - 52581/5. Let z = x + 37. Are r and z non-equal?
True
Suppose 3*h - 5*v - 2 = -8, -5*v + 15 = 0. Let m = 0 + 2. Does h = m?
False
Suppose 2*j - h - 92 = 3*h, -2*h = 3*j - 114. Let k = -39 + j. Let l(c) = c**2 + c + 1. Let n be l(0). Is k smaller than n?
False
Suppose -1289 + 1275 = 14*t. Which is smaller: -28/27 or t?
-28/27
Let m(k) = k**3 + 5*k**2 - k - 5. Let t be m(-5). Suppose t = -2*h - 3*r - 35, -r - 4*r - 90 = 5*h. Let b = h - -11. Which is greater: -9 or b?
b
Let s = -275/4 + 69. Is s at least as big as 1/142?
True
Let a be ((-6)/9)/(1299/(-9)). Let t = -3041/2165 + a. Is t at least -2?
True
Let m = 6/47 + 363/470. Which is bigger: 3/7 or m?
m
Let a(w) = 11 + 0*w**3 - 5 + 6 + 9*w**2 - w**3 - 2*w. Let o be a(9). Let d = 2 + -7. Is o at least as big as d?
False
Let r = 734 - 734. Let d be 28/16 - 2/(-8). Are d and r nonequal?
True
Let p = 349517/95 - 3679. Which is smaller: p or 1?
p
Let z be -5*2/(-10)*31. Let v = -65 + z. Are v and -36 equal?
False
Let o(t) = -t**3 - 2*t**2 + 6*t + 4. Let x be o(-4). Suppose -4*h = -h - x, -3*z - 4 = -4*h. Let q be z + (1 - 4) - 2. Which is greater: 2/13 or q?
2/13
Let o(k) = k**2 - 17*k + 51. Let a be o(4). Is 1/489 equal to a?
False
Let u = 2450.02 - 2478. Let h = u - -28. Are 2/7 and h equal?
False
Let p be ((-245)/45)/((-2)/24) + 1. Let m = p - 69. Is 0.1 >= m?
True
Let w be (10/(-20))/((-1)/12). Let j = -2 + w. Suppose -6 = -j*x + x. Which is bigger: x or -1/5?
x
Suppose 0 = -2*u - u - 72. Let j(q) = -4*q + 12. Suppose -2*n + 3*n = -3*y - 6, -4*y - 2 = 2*n. Let z be j(n). Is z greater than or equal to u?
True
Suppose 4*w - k = 3*w + 17, -4*k = -w + 23. Is w <= 5?
False
Suppose 6*s - 9*s - 138 = 0. Let g = 45 + s. Do 0 and g have the same value?
False
Let g = -1045 + 584. Let d = -2297/5 - g. Suppose u + 3*u = 4. Which is greater: d or u?
d
Let k = 11 - 11. Let b(p) = p**2 + p + 3. Let y be b(k). Let a be y/9 + 14/(-24). Is -1/6 bigger than a?
True
Let a be -578 + 6 - (8 + -3)*1. Is a greater than or equal to -576?
False
Let j = -7/10 + -9/5. Let g = 6 - 6.5. Let k = -1.5 - g. Is k at most as big as j?
False
Let n be -6 - 54/(-12) - 93/(-57). Which is greater: n or 1?
1
Let v be ((-12)/10)/6 - 372/15. Suppose -3*c - q - 74 = -2*q, -4*c - 96 = -2*q. Which is smaller: c or v?
c
Suppose 18 = w + o - 2*o, -4*o - 88 = -5*w. Let l = 24 + -7. Which is greater: l or w?
l
Let a = -43 + 36. Let m be 837/(-36) - (a/(-4) - 2). Which is greater: m or -22?
-22
Suppose 3*j = 2*w + 66, w = 2*j - 75 + 31. Let a = j + -17. Let m be (-10)/(-8) - a/20. Which is greater: 3/2 or m?
3/2
Let s(y) = 4*y - 13. Let n be s(4). Suppose 4*l - n = -f - 1, -f - 3 = -l. Let r = -2.2 - -2. Is f >= r?
False
Let d(n) = n**3 - 3*n**2 + 4*n - 12. Let v be d(-6). Suppose -4*q + 8 = -0*q. Let g be q/17 - v/(-1326). Which is smaller: g or 0?
g
Let t be (-3 - 0)*(-2 + 0) - 34. Is -24 <= t?
False
Let n = 3 + -2. Suppose -2*h + 11 - n = 0. Suppose -18 = h*l + 47. Is -13 less than or equal to l?
True
Let u = -113 - -8. Is u at least -105?
True
Let r be (-6)/(-27) - 52/(-9). Let o = 653/4522 - 1/646. Is o at most as big as r?
True
Let u = 1038 + -1038. Which is smaller: u or 3/566?
u
Suppose -4*m - t - 16 = -0*t, -4*t - 19 = m. Let l(s) = -s - 4. Let r be l(m). Is r greater than -1?
False
Let r = 15667/191 - 82. Which is bigger: 0 or r?
r
Let f(d) = 5*d + 6*d - 4*d + 4. Let g be -4 - ((-6)/(3 + 3) + -5). Let q be f(g). Which is smaller: q or 19?
q
Suppose 50*g - 51*g = 3. Let u be -2 - (g - (-1)/((-2)/(-6))). Which is smaller: -52 or u?
-52
Suppose -3*q = m - 46, 57*m + 103 = 60*m + 2*q. Is m < 396/13?
False
Let k = 352 - 705/2. Which is greater: k or -53?
k
Suppose -f + 34 - 29 = 0, s + 2*f - 11 = 0. Which is smaller: s or -2/21?
-2/21
Suppose -v - 7 - 7 = 0. Which is smaller: -13 or v?
v
Suppose -k + 3*z - 44 = 0, -k - z - 50 = -14. Suppose 4*v + 135 + 32 = -5*d, 0 = 4*v + d + 155. Is k at most v?
True
Let o = 1214 + -1212. Is o less than or equal to 2?
True
Let x = 4.09 - 3.09. Does -1.5