= f + -15. Which is smaller: p or -6?
-6
Let a be (-7004)/(-1003) + 7/(-1). Let t(i) = -i + 12. Let n be t(13). Is n greater than a?
False
Let f = -19.938 - -0.088. Let d = -20 - f. Let k = d - 5.85. Which is greater: -1 or k?
-1
Let q = -51 - -40. Is -11 at least as big as q?
True
Let l = -29 - -32. Let b(z) = 6*z**2 - l*z - z**2 - 3*z**2 - 3*z**2. Let t be b(-3). Is 0.2 bigger than t?
True
Let n be (6/8)/(-4 - (-51933)/12996). Let v = 191 + n. Is v less than -1?
False
Suppose 0 = -5*t - 29 + 4. Let c be (3 + t - -2)/2. Which is smaller: 1/31 or c?
c
Let c = -973 + 992. Which is bigger: 30 or c?
30
Let d = 381/10 - 239/6. Which is greater: -2 or d?
d
Let u = -7636/9 + 906. Let y = -9896/171 + u. Which is greater: 2/3 or y?
2/3
Let l = 99 - 99.078. Which is greater: l or 0?
0
Suppose 0 = x + 4, -57 = -4*f - x - 1. Let s = f - 11. Suppose -c + s = 3. Is 3 >= c?
True
Let k be ((-4)/(-12))/(2/(-6)). Let d be 0 + k + (-159)/(-156). Do -1 and d have the same value?
False
Let s = -6.6 + 1.6. Let n = 3 - 2.4. Which is smaller: s or n?
s
Let m = -26 - -33. Let k be (3/m)/((-10)/(-10)). Let w = 6 + -6. Which is greater: w or k?
k
Let i be (-32)/(-14) - 16/56. Suppose -20 = i*q + 4*a, 2*a + 4 = 2*q - 0*a. Let s be (-15)/(-12) - 0/q. Do s and 0 have the same value?
False
Let y = 312 - 315. Are -41 and y unequal?
True
Let w(r) = -2*r**2 - 11*r - 12. Let p be w(-6). Let k be (-5)/(10/4)*63/p. Which is bigger: 15/2 or k?
15/2
Let q(o) = 4*o + 108. Let v be q(-27). Which is bigger: -10/113 or v?
v
Suppose -8*k = -5*k + 7*k. Is k <= -3/355?
False
Suppose -l - 2 = -7*u + 2*u, 0 = l - 4*u. Let x be (10 - 2)*(-2)/(l/13). Do -51/2 and x have the same value?
False
Suppose -3*t = u - 14, 0*u + 30 = 3*u - 3*t. Suppose -u*x + 6*x = 60. Let y = x + 12. Is -2/5 less than y?
True
Let o = 30 - 53. Let p = o - -22. Let i be ((-9)/93)/(6/(-4)). Is i smaller than p?
False
Let j = 0.0213 + -0.0213. Is 32 bigger than j?
True
Let y(a) = -11*a + 21. Let r(w) = -16*w + 31. Let k(b) = 5*r(b) - 7*y(b). Let m be k(3). Which is bigger: m or -1/32?
-1/32
Let y be (-9)/(-243)*-69 - 6. Which is smaller: -8 or y?
y
Let c = 1147 - 5733/5. Let p(t) = t**2 + 4*t. Let b be p(-4). Let x = b - 0. Are x and c unequal?
True
Let f be 4/1460*-141 + (-2)/(-5). Let l = -79/438 + f. Which is bigger: 0 or l?
0
Let v = 115 + -167. Let l = v + 56. Is 10 bigger than l?
True
Let s be (-182)/(-530) - (-11)/((-220)/8). Which is smaller: s or 1?
s
Suppose 3*y = 3*r + 1071, -4*y + 369 = -3*y + 3*r. Suppose 16*x - 11*x = -y. Is x greater than -72?
False
Suppose h - 2*h = 0. Let u be (h/(-3))/(2/1). Suppose -5*s = 5*d + 10, -2*d - 3*s = -5*s - 4. Is d < u?
False
Let s be (-1136)/(-80) - 12/(-15). Which is smaller: s or 79/5?
s
Suppose 3*w - 42 - 18 = 0. Let x = 13 - w. Is x less than or equal to -9?
False
Let h = -49 - -53. Suppose 2*v + 3*s = 7*v - 4, 3*v = -h*s - 15. Is v less than or equal to 1/4?
True
Suppose 158*o - 162*o - 176 = 0. Is o <= 10/7?
True
Let n(i) = i**3 + 5*i**2 - 5*i + 8. Let u be n(-6). Suppose -2*h + 0 + u = 0. Suppose -6 = -5*a - h. Which is bigger: -1 or a?
a
Let f(j) = j**2 - 4*j - 5. Let w be f(5). Suppose -8*v + 7*v + 2 = 0. Suppose -v*a + y + y + 2 = 0, -a + 1 = -2*y. Which is greater: w or a?
a
Let c = 683/66 + -112/11. Which is greater: -0.8 or c?
c
Let h be 4*(-7)/(-6) - 1. Let o be (10/(-6))/((-8)/20). Let k = h - o. Which is smaller: k or -1?
-1
Let o = -26081 - -286527/11. Let r be (10/(-825))/(1/(-2733)). Let p = r + o. Is 1 bigger than p?
True
Suppose m + 2 = 4. Suppose -3*f + m*x = -f, 0 = f - 2*x. Suppose 0 = 2*q - c - 1, 3*q - 4 = -3*c - 7. Is f bigger than q?
False
Let p = -1.01 + 1.11. Is 3 at least p?
True
Let w = 2 + -2.9. Let y = w + -3.1. Is 4 < y?
False
Let q = -2 + -3. Let o = -3496 - -10486/3. Is q <= o?
True
Let v(c) be the second derivative of -c**4/12 + c**3 - 3*c**2 - 3*c + 8. Suppose 3*l - 7 - 8 = 0. Let r be v(l). Which is bigger: r or -10?
r
Let x be (-2)/3 + (-15)/(-9). Let f(i) = -78*i**3 + i + 2. Let t be f(2). Let y = 20458/33 + t. Which is greater: x or y?
x
Let q = 319 - 473. Let g = q + 120. Does 1 = g?
False
Let m = -150 + 905/6. Let q(k) = 2*k - 1. Let g be q(-3). Let r be 2/g - (-16)/7. Which is smaller: r or m?
m
Let m = 3.4 + -5.1. Let h = 9.7 + m. Let w = h - 12. Which is smaller: 0 or w?
w
Let u(p) = 2*p**2 - p - 18. Let x be u(0). Let r = -22 - x. Let k be 0 - r - 252/28. Is k > 0.1?
False
Let c(j) = 3*j**3 + 2*j**2 - 1. Let d be c(-1). Let w = 22/5 + -106/15. Which is smaller: d or w?
w
Let f = -202 + 100. Do f and -718/7 have different values?
True
Let a(p) = 3*p + 22. Let t be a(7). Let f = -35 + t. Let b be f/48 + 129/90. Which is smaller: 1 or b?
1
Let g be (-2)/((-4)/2)*7. Let z = -69 + 68. Let r be -4 + 3 - -2 - (z - -4). Is g at most as big as r?
False
Suppose -p + 3 = -2, 5*u = -2*p - 5. Let d = -10 + 8. Let r be (-7)/d*(-8)/14. Which is smaller: r or u?
u
Let q = -0.04 + 0.74. Let s = q - 0.9. Let t be 4/(-9)*2/4. Are t and s unequal?
True
Let w be (-1)/((-9 - -10) + 68/(-70)). Which is bigger: -34 or w?
-34
Suppose -4*r - 3*p = p, 3*r + 5*p - 8 = 0. Let n be r/32*(3 - 1). Let v = 0.05 + 0.25. Which is greater: n or v?
v
Let a = -2961/34 + 5930815/68102. Which is smaller: a or 1?
a
Suppose -11*b + 6 = -60. Let d = b - 5. Which is smaller: d or -2/89?
-2/89
Let l = -2502 - -2504. Suppose -f = -0 - 1. Do f and l have the same value?
False
Suppose -2*z = 4*n - 20, 3*n = 3*z + 1 - 4. Let g be (-7)/(-56) + 3/(-24). Suppose -4*p = -20, g = -3*d - 2*p - 27 + z. Which is bigger: -12 or d?
d
Let y = 143/3 + -48. Let j be ((-4)/3)/(2/(-325)). Let v = j - 214. Is v > y?
True
Suppose -y = -11*y - 10. Let v be y*(6/14 - 33/77). Do -2/47 and v have different values?
True
Suppose 14 = -4*t - 2*x, -2*t + 16 + 2 = -4*x. Let n be -4*1/6*(-9)/(-609). Which is smaller: n or t?
t
Let v = -9 + 16. Let n = 30 + -22. Is v less than n?
True
Let n be (-2)/7 - 26/7. Let c be 2/n + 1/(-2). Let f = -37319/21 + 1777. Is f less than c?
False
Suppose -2*o = 2*g + 5 + 3, 5*g - 5*o + 30 = 0. Let q be g + (1 - (-436)/106). Which is bigger: q or 0?
q
Suppose 5*h + 0*b = 4*b + 10, -5*b + 37 = 2*h. Which is smaller: h or 52/11?
52/11
Suppose -5*r + y - 105 = 0, -4*r - 93 = 2*y - y. Let j = -18 - r. Is 8/3 < j?
True
Suppose 0 = -2*l + 7 - 5, -3*d - 1 = -l. Which is bigger: 2/13 or d?
2/13
Let g(k) = -k**2 - 20*k - 17. Let n be g(-8). Let c = -0.1 + 1.1. Is c not equal to n?
True
Let h = -1.2 - -1. Let o = -0.4 - h. Let s be 13/(-18) - 9*(-5)/90. Which is greater: o or s?
o
Let p = -24 + 27. Suppose 0 = a + b + p - 2, 3 = 2*a + b. Are a and 4 non-equal?
False
Let r be ((-1)/2)/(4 + (-89)/12). Suppose 4*x - 1 = 3*x. Is x bigger than r?
True
Let a be (9 + -3)*(71/(-4) + -5). Which is bigger: a or -138?
a
Suppose -n = -5, -4*n - n = 4*r + 43. Is -19 at most r?
True
Let j = -2091/505 + -6/101. Let u = 4 + j. Is u bigger than 0?
False
Suppose 124 = -16*w + 20*w. Let p = w + -32. Which is smaller: -1/35 or p?
p
Let k = -362068381/2122 + 170626. Let x = 11819/90185 - k. Let u = x - 3/85. Which is greater: u or -1?
u
Let h = -41.31 + 39.6. Let v = h + 1.6. Let g = -0.11 - v. Which is bigger: -2/37 or g?
g
Let o = -185.01 - -184. Let k = -1.1 - o. Let y = 1.91 - k. Is -2 <= y?
True
Let z be 12/16*(264/(-207))/11. Which is greater: z or 0?
0
Let b be (19550/(-69))/(3/(-9)). Which is smaller: b or 2/7?
2/7
Let x = -792.31 - -837. Let w = x - 46.7. Let l = w + 0.01. Which is smaller: l or 2?
l
Let x(u) = -20*u + 1. Let m be x(1). Suppose -6*g + 12 = -2*g, g = -4*h - 73. Do h and m have different values?
False
Let w(j) = -j**3 + 7*j**2 - 7*j + 6. Let y be w(6). Suppose 0 = 11*d - 14*d + 15. Suppose 9*v - 4*v + 4*z + 14 = y, d*v = 2*z - 8. Are v and -0.2 equal?
False
Let v(j) be the first derivative of -j**3/3 + 5*j**2 + 15*j - 5. Let d be v(11). Suppose -5*q + 0*y + 7 = -3*y, d*y - 12 = -4*q. Which is bigger: q or 2/5?
q
Let m = -8.37 - -8.47. Are m and 872 nonequal?
True
Let f be 24/(-72) - (-8)/6. Is f bigger than 7/15?
True
Let p = 13 + -27. Let g = -11 - p. Let q be (-4)/(-10) - 21/15. Is g > q?
True
Let x = -334 - -334. Which is bigger: -2/105 or x?
x
Suppose 33 = -6*w + 57. Let a be (-64)/(-60) + w/(-2). Which is smaller: a or 0?
a
Suppose -180 = -102*l + 72*l. Let i be 9 