(-13). Suppose v*q - 11 + 73 = 0. Let u = q - -44. Is u bigger than 12?
True
Let t = -275 + 243. Let x(n) = 4*n - 5. Let a be x(-7). Is a smaller than t?
True
Let n(z) = 5*z**3 + 29*z**2 - 5*z - 2. Let o be n(-6). Is o > -28/3?
True
Let k = 16123/4970 - -225/142. Let b = k + -54/35. Is 2 bigger than b?
False
Let n be (-3 + 20/6)*(8 - 5). Which is bigger: 12/143 or n?
n
Let u(y) = -y**2 + 1. Let a be u(5). Suppose 48*j + 950 = 10*j. Is j at most as big as a?
True
Suppose v + 750 = 22*v + 29*v. Let a(f) = -8*f. Let s be a(-2). Which is smaller: v or s?
v
Let m = 17 - 17. Let j = -4438918/80415 - -2/16083. Let y = -55 - j. Which is smaller: y or m?
m
Suppose 5*m = -i + 678, -5*m = -6*m - 4*i + 128. Is 135 at least m?
False
Let w(v) = v**2 + v - 1. Let h(j) = 7*j**2 - 13*j + 17. Let b(z) = h(z) - 6*w(z). Let d be b(17). Are d and -10 equal?
False
Let a = 298 - 294. Let k be (-2)/(-9) - 28/(-36). Are a and k unequal?
True
Let r be -2 - 3 - 3/(-1). Suppose 3*o + 5*w = 1130, o = -w + 126 + 254. Let s be (1 - 0) + (o/(-20))/11. Which is bigger: s or r?
s
Let n(p) = 2 - 8*p - 25 + 2 + 11 - 7*p**2 - p**3. Let c be n(-5). Let m be (-62)/3 - 1/3. Which is bigger: m or c?
c
Let y = -6 - -8. Suppose -5*n = 1 - 1. Suppose n = 24*r + 48 + 48. Which is smaller: r or y?
r
Let r(q) = q**3 + q + 0*q**3 + 0*q + q**2 - 2 + 3. Let s be r(-1). Is s less than or equal to 5/9?
True
Let d(l) = 2*l**3 + 23*l**2 - 13*l + 17. Let m be d(-12). Is m <= 30?
True
Let j = -1530 - -81088/53. Which is smaller: -0.05 or j?
-0.05
Let m = 3634 - 3633. Let w = 6858/11 - 622. Which is greater: m or w?
w
Let i = -98 - -63. Let q = 37 + i. Let l = -27 + q. Are -25 and l equal?
True
Let t(z) = 2*z**2 - 6*z + 4. Let g be t(5). Let k be 2/(-12) - (-76)/g. Suppose k*p = -p. Is p < -2/21?
False
Let o(b) = -2*b + 53. Let q be o(27). Is 69 greater than q?
True
Let o = -3137084/209 + 15010. Which is smaller: o or -1?
-1
Let y be 11/((-605)/10)*12/4. Which is greater: y or -1/4?
-1/4
Let u = 5819.924 - 5833. Let f = 0.076 + u. Which is smaller: 3 or f?
f
Let r = 12/841 + -5753/108489. Let u = r + 1123/129. Which is smaller: 10 or u?
u
Let p = -669 - -665. Let y(h) = h**2 - 13*h + 12. Let w be y(11). Which is smaller: w or p?
w
Let r be 1 - -2 - 2*-1. Suppose -4*b - 1 = -r*q + 11, 4*q = -b - 3. Let u be (-10)/8 + (4 - 2). Which is bigger: u or q?
u
Suppose 0 = -32*r + 41*r. Is r less than -3/298?
False
Let g be (-3 - -2)*0/(-1). Let c be 54/21 + (-6)/(-14) + g. Is c < 13/8?
False
Let i(l) = -l**3 - 9*l**2 - 2*l + 17. Let a(j) = 2*j - 17. Let w be a(6). Let g be i(w). Which is smaller: -1 or g?
g
Let c be (-13284)/1208 - -6 - -5. Which is smaller: -1 or c?
-1
Let n(f) = -4*f**2 - f. Let u be n(1). Let c be (-121)/55 + (-1)/u. Which is greater: -13/10 or c?
-13/10
Let z = -194.03 + 194. Is z > 12?
False
Let v = -0.129 - -1.389. Let l = -1.26 + v. Is l less than or equal to 50?
True
Let o be 3/((2 + -5)/(-24)). Suppose 2*w = 0, 0 = -x + 4*w - 2 - o. Let k = -24 - x. Which is smaller: k or 8?
k
Let z = 341 + -334. Let o = -25 + 11. Let b = -14 - o. Which is bigger: b or z?
z
Suppose -32*n + 951 = -489. Is 40 < n?
True
Let r = -2 - 4. Let o be 34/(-78) + (-4)/r. Is 1 equal to o?
False
Let j = -2745 - -2745.0054. Which is smaller: 3 or j?
j
Let k = -492 + 555. Which is smaller: 52 or k?
52
Let q = 489 + -1959/4. Which is smaller: -2/7 or q?
q
Let x be (3/9)/((-1)/(-333)*-39). Are -4 and x non-equal?
True
Suppose d + 659 = 2*m, -2*m + 641 = 2*d + 3*d. Is m at most 326?
False
Let k be (297/(-12))/(12/32). Let u = k - -47. Let s = u - -17. Which is bigger: s or -7/8?
-7/8
Let g be (9 - (-19650)/(-2180))*(-28)/(-6). Which is bigger: g or 0?
0
Let b = 10 - -14. Let y = 22 - b. Let j be 2/(-40) + (-10)/(-40). Which is greater: y or j?
j
Suppose -2*d + 9*d - 14 = 0. Suppose -7*f + 2 = 9. Which is bigger: d or f?
d
Let z be 45/(-60) + 1/(-2 - 0). Which is bigger: -1 or z?
-1
Suppose 4*y + 288 = 4*j, 5*j + 32 + 46 = -y. Which is greater: -1 or y?
-1
Let p(d) = -3*d + 5. Let t be p(-4). Suppose 6 = t*n - 15*n. Let f be (1 - 5)/((-7)/4). Which is smaller: f or n?
f
Let v = 1/696 + 2035/36888. Is 1 greater than v?
True
Let k be -1*14/(-12) + (-1)/2. Is k less than 1/52?
False
Suppose 2*j - 23 = 3*j. Let o = -20 - j. Suppose -o*w = -4*q + 11, -3*q + 0*q + w = -2. Is q >= 1?
False
Let v = 0.0476 - 0.1476. Is 129/5 at least as big as v?
True
Let s = 16/26893 - -43969831/376502. Let z = -117 + s. Are 0.1 and z unequal?
True
Let s = 241.9 + -32.9. Which is greater: 0.1 or s?
s
Suppose 10*f - 9*f = 0. Suppose -v - 2*v = f. Let l = -17/6 + 31/18. Do v and l have different values?
True
Let x = 0 - -40. Suppose 0 = 3*c + 5*i + x, -c + 0*i = -4*i + 36. Which is greater: c or -21?
c
Suppose 18*z - 10*z - 8288 = 0. Is z greater than 1036?
False
Let z be ((-24)/(-6))/(0 - -4). Which is smaller: z or 18/19?
18/19
Let m = -108 + 108.1. Which is bigger: 47 or m?
47
Let w(u) = 3*u + 7. Let b be w(9). Let h = 38 - b. Suppose -7*j + 18 = -h*j. Which is smaller: 32/7 or j?
32/7
Suppose -977 = 8*i + 991. Is -246 less than i?
False
Let j = 0.0051 + -0.0051. Which is greater: -61 or j?
j
Let f = -3 - -10. Suppose -2*b + 10 = -5*d - f, 2*d = -3*b - 3. Let n be 4/152*(264/(-77) - 12/(-28)). Does b = n?
False
Suppose -w = 44*b - 45*b - 2, 2*b = w - 7. Do -4 and w have the same value?
False
Let a = -781 + 796. Is a < 37?
True
Let g(j) = -j**2 - 2*j + 13. Let f be g(-4). Suppose 0 = -f*l - 5 - 15. Let o(p) = p**2 + 4*p + 9. Let t be o(l). Which is greater: t or 8?
t
Let l(r) = 4*r + 42. Let s be l(-12). Which is smaller: s or 7?
s
Suppose 3*i = 5*x + 311, -2*x + 0*i - 131 = i. Let l = x - -61. Are 0 and l nonequal?
True
Let u = -139/209 - 1/627. Let t be (-4)/((-1)/((-21)/6)). Which is greater: t or u?
u
Let y(m) = 12*m + 49. Let q be y(-12). Do q and -97 have different values?
True
Let a = -0.1329 + 1.1329. Which is smaller: a or -2.5?
-2.5
Let n(d) = d**3 - 13*d**2 - d + 13. Let h = 21 - 8. Let r be n(h). Which is smaller: r or 1/27?
r
Suppose 3*x + 39 = -4*i - 182, -3*i - 2*x = 165. Let d = i + 54. Which is smaller: d or -3/35?
-3/35
Suppose 3*o - c = 6 + 2, 2*o + 2*c + 8 = 0. Let a = -17 - -16. Which is greater: o or a?
o
Let t = -0.264 + -0.026. Let w = -6.61 - -7.3. Let g = w + t. Is -2 greater than or equal to g?
False
Let p be 4/8*(0 + 2). Let i = 2 - 2.27. Are i and p non-equal?
True
Let x(v) = v - 3. Let u be x(5). Suppose -2*m - 10 = 3*y, 3*y + 7 + 9 = 4*m. Let n be (0/m)/(8/(-8)). Is n less than u?
True
Let m = 31 + -33.7. Let l = 2.4 + m. Which is smaller: 5 or l?
l
Suppose -h + 6 = -3*g, -5*g = -10*g - 5. Suppose 172 = -0*w - 5*w - o, 0 = -h*w + 5*o - 120. Let z = w + 173/5. Is z at most 0?
True
Let z = -177 - -185. Suppose 0*x = -4*x. Suppose 41 = 4*l - 3*h, x*h + 28 = 2*l - 4*h. Are z and l equal?
True
Let k(h) = 10*h - 2. Let d be k(-2). Let f be 3375/(-24453) + 4/d. Let v = 9/19 + f. Which is smaller: v or 1?
v
Let b = -0.045 - 2.755. Let i = b - -1.6. Is -2/7 equal to i?
False
Let c = 687 + -694. Let h(s) = 2*s + 4. Let w be h(-3). Which is smaller: c or w?
c
Suppose -4*l + 3*y = -2546, -5*l + 4*y - 7*y = -3169. Is l not equal to 636?
True
Let j be 7/(-5) - 6/(-15). Suppose 3*p + 8*p = -88. Let y be p/24 + -1 + 0 + 0. Which is bigger: y or j?
j
Let y be (354/(-236))/(654/(-8)). Let t be ((-1)/(-3))/((-2)/6). Is t greater than y?
False
Let s = -0.71 + 7.71. Let r = 47 + s. Do r and 1 have the same value?
False
Let r = 33989/23 - 1481. Does r = -4?
False
Let x be 94/(-282) + (-37)/(-93). Which is bigger: -33 or x?
x
Let p(t) = t**3 + 3*t**2 - 3*t + 3. Let q be p(-4). Is -2/49 <= q?
False
Suppose -5*u = s - 9, 3*u - 11 = -0*s - 2*s. Suppose -2*q + 24 = 4*j, -s*q - 18 - 14 = -2*j. Let t be (2 - 12/j)*-1. Which is bigger: t or -2?
t
Let y = -2390463/23 + 103949. Let h = -93502/5911 + y. Does 1 = h?
False
Let a be 20/16*(5 - 1). Suppose d = 5*b - 46, 5*b + a*d + 0*d - 70 = 0. Suppose 6*k - b = k. Is k smaller than 4?
True
Let a(w) = -w**3 - 10*w**2 + 23*w - 7. Let x be a(-12). Suppose 3*c - 3*v - 36 = 0, x*c - 5*v + 4 = 8*c. Is 10 equal to c?
False
Let q(z) = 2*z**2 + z + 3. Let w be q(3). Suppose 0 = -2*g + 6*g + w. Let t be 1/3*g/(-4). Is 2/17 greater than t?
False
Let c be (-2)/4*(-1 + 1). Let y = 154 - 766/5. Is y at le