reater: c or -14/5?
c
Let r = -22.954 - -23. Let g = r - 0.114. Is -1/3 at most g?
True
Suppose -17*n + 10*n = -7. Is n at least as big as -2/271?
True
Let v = -2145/14 - -13483/70. Which is greater: 38 or v?
v
Let n = 29 + -26. Let f be ((60/8)/3)/(n/6). Which is smaller: f or 3?
3
Let m(f) = 2*f + 1. Let b = -92 + 92. Let d be m(b). Which is smaller: d or -2/39?
-2/39
Let g be (-8151)/(-546) - (-8)/14. Which is smaller: g or 15?
15
Let z = 19 - 19. Let l be (-3 + z)*(32/12 + -2). Which is smaller: -5/7 or l?
l
Let x = -0.239 + 35.239. Which is smaller: -0.5 or x?
-0.5
Suppose -17 = -v - 5*y - 2, -3*v + 25 = 5*y. Suppose -3*g = -g + 3*b - 2, -5*g + v = 3*b. Let r be 8 - g - (5 - 5). Are r and 5 equal?
False
Let a(x) = 2*x + 23. Let y = -38 - -23. Let g be a(y). Is -9 > g?
False
Let s be 7/(-5)*8 + -141 + 135. Is s greater than or equal to -18?
True
Let v = 22 - 19. Suppose 6*u - 21 = 3*u + v*d, 4*d = u - 7. Let t(j) = j**2 + 3*j - 4. Let k be t(-5). Are k and u nonequal?
True
Let p = 14 - 8. Let o(c) = -c**3 + 5*c**2 + 6*c. Let d be o(p). Let w be (-84)/(-39) - -1 - (-1 - -4). Which is greater: d or w?
w
Let q(k) = -k**2 + 5*k - 6. Let u be q(4). Let l be u/11 - (-94)/154. Let j = -18.2 - -18.3. Which is greater: l or j?
l
Suppose 6 = 15*f - 13*f. Suppose -y + 19 = 2*g + 1, -9 = -3*g + f*y. Is g >= 8?
False
Let t(v) = 4*v + 48. Let o be t(0). Let z be o/(-27)*2/(-1). Which is bigger: 4 or z?
4
Suppose -7*y + 8 = 1. Let c be 293/(-4) - 15/20. Which is smaller: c or y?
c
Let k = -4.99 + -0.01. Let m = 5.2 + k. Let c be 44/110 + (-2)/(-10). Which is greater: m or c?
c
Suppose -96 = -12*u + 132. Suppose 4*d = -9 - u. Which is smaller: -0.1 or d?
d
Let a = -10190887/19985130 + 3081/4486. Let l = -2/405 - a. Which is bigger: 5/2 or l?
5/2
Let k be 115/10*(0 + 4 - -4). Is 92 equal to k?
True
Suppose 3*i - 5 = l + 11, -5*l = 5*i - 20. Suppose s = -2*k + 3 + 5, k = 4. Suppose -4*n + 9*n - i = s. Which is bigger: -2 or n?
n
Let o = 205 + -616/3. Which is bigger: 12 or o?
12
Let q = 26 + -18. Let n = -7 + q. Let g be (n - -2) + 2/(-1). Is g at least 0?
True
Suppose 0 = 5*k + 3*p + 552, -12 = -4*k + 2*p - 458. Is -110 bigger than k?
True
Let u = -0.73 + 0.68. Let z be ((-9)/21)/((-12)/8). Is z at least u?
True
Let n = -6 + 17. Which is smaller: n or 5?
5
Suppose -w = -5*k - 6 - 44, -3*k = -2*w + 37. Suppose -3*y = 2*t - t - 35, 25 = 4*y - 3*t. Let s = y + k. Is s less than 10?
True
Let k(g) = -1 - 1 - 11*g + 0. Let o be k(1). Are -12 and o equal?
False
Let t = -21 + 20.9. Which is bigger: t or -11/16?
t
Suppose 0 = -2*i - 4. Let z(a) = a**2 - 3*a. Let n be z(i). Which is bigger: n or 7?
n
Let s be (2/(-24))/(2/8). Let q = -2 + 3. Is s at least q?
False
Let g be 2 - (-24)/14*84/(-270). Which is smaller: g or 2?
g
Let x = -8050/721773 - -4/3627. Which is greater: x or 0?
0
Let z(p) = -30*p - 357. Let o be z(-7). Is o equal to -149?
False
Let c be (-16)/(-2) + 12/((-6)/1). Let t = -3 - -13. Suppose 3*d + t = 25. Which is smaller: c or d?
d
Let y(t) = t**3 - 10*t**2 - 18*t + 25. Let a be y(12). Are a and 100 nonequal?
True
Suppose -2*g + 125 = 3*g + 3*b, -2*g - 5*b + 69 = 0. Let a(u) = -u**2 - 18*u - 44. Let y be a(-13). Is g at least y?
True
Suppose 5*m = -d + 141, 14*m = -2*d + 10*m + 294. Which is bigger: 153 or d?
153
Let o be -1 + 0/((-1)/1). Let d(l) = -8*l**3 - 2*l**2 - 2*l - 1. Let q be d(o). Suppose -549*g + 24 = -546*g. Which is smaller: q or g?
q
Let h = -419 - -421. Which is greater: h or -29?
h
Suppose 3*i + 5*y = 31, 4*i - 3*i - 5*y = -23. Suppose -2*s = i*s - 4. Is 4 > s?
True
Let t be (-3)/(-4) - (-81)/36. Suppose 5*f = 2*f + t. Which is smaller: -1/19 or f?
-1/19
Let o be (-124)/((-60)/(-15))*(4 - 1). Are o and -92 equal?
False
Suppose a + 4*f = 3*a + 352, 0 = -a + 4*f - 168. Which is smaller: -185 or a?
-185
Suppose 27 = -3*l + 5*b - 1, 0 = 5*l - 2*b + 15. Let h be -2 - l*(0 - -1). Let d = -3430 - -51449/15. Does h = d?
False
Suppose 0 = 3*p - 2*h - 457, 0*p + 5*h - 124 = -p. Suppose 3552 = 2477*q - 2453*q. Is p at most as big as q?
False
Suppose 0 = 2*p + 3*o + 96 + 335, -4*o - 1088 = 5*p. Let n = -2866/13 - p. Is n <= 1?
True
Let y = 24.1 + -28. Let f = y - -3.6. Let c = 0.2 + -0.4. Is f greater than or equal to c?
False
Suppose 43*t - 50*t = -294. Is 42 < t?
False
Let k be ((688/192)/43)/(46/(-54)). Does k = -1?
False
Suppose -4*o + 16 = -4. Let d = -11 + 21. Let f be (-6)/15 - (-44)/d. Which is greater: o or f?
o
Let s = 56131/19 + -2953. Is 0 at least as big as s?
False
Let k(j) be the second derivative of -j**4/12 - j**3/2 - 23*j**2/2 - j. Let p be k(13). Let w be p/120 - 2*-1. Which is greater: 0 or w?
w
Let k be ((-260)/100 - -17)*(-20)/(-6). Suppose -3*n + 192 = n. Is k >= n?
True
Let f = -28 - -71. Let q = f - 74. Let i = q + 61/2. Which is smaller: -2/7 or i?
i
Suppose 672 = 5*t - 3*s, t - 10*s - 133 = -8*s. Do 135 and t have the same value?
True
Let d be 6/2 - (-1 - 0). Suppose 0 = 3*b + 2*x + 3, 5*b = b + d*x - 24. Let t be (0 - 0)/2 - b. Do 3 and t have different values?
False
Let o = 0.001 + 91.999. Let c = 89 - o. Is c > 6?
False
Let m be ((-468)/40365)/(4/6). Which is bigger: 1 or m?
1
Let b(y) = -y**3 + y**2 - 4*y - 3. Let n be b(-2). Suppose -n = -3*x - 2*q - 3*q, 0 = -x + 2*q - 9. Suppose -5*i - 7 = 3. Are i and x equal?
False
Let w = 35 + -18. Suppose k - 5*v = w, 0*k - 4*k - 17 = -3*v. Which is smaller: k or -9?
-9
Let p be 432/40 + (-4)/5. Let o(x) = -x**3 - x**2 + 2*x - 2. Let g be o(-3). Let k = p - g. Which is bigger: k or -4/3?
k
Let q be 128/(-576) + 400/18. Which is greater: 23 or q?
23
Let p = -24.037 + 24. Let s = p + 0.057. Is s at most -0.2?
False
Let l = -1.06 + 2.06. Which is smaller: l or -21/4?
-21/4
Let n be 104/(-110) + 2/5. Suppose 5*t = 25, -2*v + t = 4 + 7. Let s be 2/(-24)*2*v. Which is greater: s or n?
s
Let j be 1*(36/8)/((-6)/(-8)). Let c be 6/(-28)*16/j. Which is bigger: 0 or c?
0
Let g be (-205)/(-40) + -6 + 1/2. Suppose 4*b + 7 = 3. Which is smaller: b or g?
b
Let t = 6227/8 + -778. Is t greater than -1?
True
Let x(p) = -p**2 - 12*p - 94. Let w be x(-9). Is w less than or equal to -70?
False
Let v(c) = -c**3 + 7*c**2 - 2*c + 9. Let x be v(5). Let z = x - 40. Is z not equal to 0?
True
Let j be 13150/35 + -3 + -3. Let z = j + -259. Let k = -111 + z. Which is greater: k or -4?
k
Let p be (-1 + -95)/(-6)*(-7)/4. Is -21 smaller than p?
False
Let q be (3 - 0)/((-18)/12). Let t be q/(-8) + (-185)/(-40)*-2. Is t equal to -10?
False
Suppose 6497 = 69*r - 2128. Is r bigger than 126?
False
Let y be ((-80)/(-224))/((-1)/2). Which is bigger: y or -2?
y
Let a = 33 + -19. Is a < 1?
False
Let w(l) be the third derivative of l**4/24 + 4*l**3/3 + 9*l**2. Let b be w(10). Do b and -2 have different values?
True
Let y = 4063861 - 93495675/23. Let a = -1168 - y. Is 1 != a?
True
Suppose 0 = -28*k + 12*k + 208. Which is smaller: 12 or k?
12
Let v = 11/150 + 3/50. Let y be (-1 - 1) + (-664)/(-144). Let f = 28/9 - y. Is f != v?
True
Suppose -34 = -5*s - m, 4*m = 4*s - 6 - 2. Suppose 0 = 5*w + 3*n + 6, -s = -2*w - 0*n + 3*n. Is w at most as big as -13?
False
Let m = 8 - 35. Suppose -10 = -2*d - 2*g, d = 2*g - 2 - 8. Does m = d?
False
Suppose -4*r = -2*z + 7*z + 34, -5*z = 3*r + 33. Which is bigger: 1 or z?
1
Let c(k) = k**2 + 26*k - 127. Let y be c(-31). Which is smaller: y or 51?
y
Let i(p) = -p**3 - 3*p - 4. Let q be i(-2). Let u(k) = 14*k**2 - 16*k - 13 + 2 - q*k**3 + 11*k**3. Let n be u(-15). Is 0.3 less than n?
True
Let i = -41/3 - -14. Suppose 18 = 4*f - 2*h + 60, 2*f + 12 = 4*h. Let w = -13 - f. Are i and w nonequal?
True
Let w = -127849/19 + 6725. Which is greater: -5 or w?
w
Let c(z) = 2*z + 2. Let f be c(-2). Let q be f/(-2) - (-6)/(-10). Let w = 5.97 - -0.03. Do q and w have the same value?
False
Suppose -2*p = 4*g - 26, 4*p - g = -0*p + 43. Suppose -2*y - p = -3*y. Let a = 37 - 27. Which is bigger: y or a?
y
Let b = 0.1 - 25.1. Let r = b - -47. Which is smaller: r or -0.1?
-0.1
Let d = 2 - 2. Let t = -7 - -9. Let y be 1*((0 - 1)*t)/(-10). Which is bigger: d or y?
y
Let v = 14016975554/1856295 + -475717/63. Let f = 2/1065 + v. Is -1 equal to f?
False
Let l = 33 + -75. Let i = l + 40. Is -3 less than i?
True
Let m = 0.108 + 9.792. Let v = -10 + m. Let n be 12/(-27)*(-6)/(-4). Is v equal to n?
False
Suppo