1, -3*h = v - 0*h - 10. Let c(d) = -22*d**2 + 2*d - 1. Let o be c(v). Let p = -38 + 17. Are o and p equal?
True
Let z = -23688599/838 - -28268. Is z less than or equal to -1?
False
Let m be (2/3)/((504/(-12177))/4). Is m >= -65?
True
Let o = -10027237/235 + 42669. Which is greater: -1 or o?
o
Let n(g) = 79*g + 474. Let w be n(-6). Which is bigger: 4/41 or w?
4/41
Let c be (-2)/1 - (-44)/4. Let h(y) = 278*y - 9994. Let l be h(36). Which is smaller: c or l?
c
Suppose 1 = -f - 2, 0 = 5*b - 5*f - 35. Suppose 0 = b*l - 2 - 6. Let j be l - ((-10)/(-35) + 2). Which is greater: 4 or j?
4
Let x = 1229.8 - -9345.2. Which is smaller: 1/4 or x?
1/4
Let b = -32335 - -34762. Are b and 2425 nonequal?
True
Let j = 26791.72 - 26653. Is j equal to 0.1?
False
Let t be 10 + ((-6)/9)/(120/9540). Which is greater: t or -554/13?
-554/13
Let j(m) = -4*m**2 + 206*m - 1093. Let w be j(42). Which is smaller: w or 504?
w
Let c be -11 - (-56)/4 - (-7)/((-21)/(-97182)). Which is smaller: 32398 or c?
c
Let b(j) = j**2 + j - 10. Suppose 4*c + 20 = 0, -2*c = -0*q - 3*q + 40. Let o be b(q). Suppose -14*n = -9*n + o. Which is greater: n or -21?
n
Let a = 1/23261 + 41683709/69783. Which is greater: -1 or a?
a
Suppose 2*u = -4*w + 6, 0 = 55*u - 59*u + 20. Let p = 801 - 193039/241. Which is smaller: w or p?
w
Let c be (-2)/56456*712/623. Which is bigger: -1 or c?
c
Let m be (5 + -16)*(-11 - 960/(-88)). Which is greater: -8/3141 or m?
m
Let p = 15.9 + -17. Let c be 8/(-6) - 32/(-24). Let d = c + -1. Is d greater than p?
True
Let m be ((6/(-18))/(2/(-114)))/1. Let a = m - 57. Is a at least as big as 5?
False
Suppose -4*x = 12*x - 320. Suppose 0 = 13*b - 3*b - x. Suppose 2 = -b*j + 5*o - 15, 51 = -5*j + 4*o. Is 0 <= j?
False
Let k be ((-36)/6 - -7)*2. Suppose 3*v = 4*b - 5, k*v - 3*b = -5*b - 22. Which is smaller: v or -4?
v
Let b be (-13)/(4/12 + 0). Let f = -2 - b. Suppose 7*w - 9 = -f. Which is greater: -7/2 or w?
-7/2
Suppose -2*i = 5*y - 0*y - 10, -20 = -3*y - 4*i. Suppose 0 = -5*p - 2*g + 7*g + 40, -p - 3*g - 4 = y. Is 33 at least as big as p?
True
Let q = -5033 + 5031. Is q at least -0.4954?
False
Let x be 3/(-6)*6 + 6. Suppose -y + x = 9. Let m(h) = -h**2 - 10*h - 23. Let z be m(-8). Does y = z?
False
Let v be 1 + 52/(-4) + 3. Let u be (-80)/(-12)*-3*1. Let k(c) = 2*c + 30. Let m be k(u). Which is smaller: m or v?
m
Let p be 67/6 + 1 + 3. Let j = p + -1061/66. Is -0.06 bigger than j?
True
Let d = -20539 + 20540. Let l = 1014/175 + -27/25. Is l bigger than d?
True
Let i = -49 + 49. Let z be 0 + 0 - (28 - 31). Suppose 7*l = -z*l + 10. Which is smaller: i or l?
i
Let z = -245.84 - -246.35. Is 105 != z?
True
Let y = 421/18 - 5269/126. Let l be (-499)/21 + 1 + 0. Let m = y - l. Is m at least 3?
True
Let g be 48/56 - (-4)/28 - 0/(-2). Do -9/364 and g have the same value?
False
Suppose 5*d - 4*j + 41 = 0, 9 = -5*d + 3*j - 33. Let q be d/3 - (-3 - 7). Suppose 9*f - q = 182. Is 20 greater than or equal to f?
False
Let n = 221/630 + 22/63. Is 2 > n?
True
Suppose -8 + 9 = -g. Let l be ((-12930)/14)/(25/(-25)). Let c = l - 926. Which is bigger: c or g?
g
Let b be -8 - (32912/726)/((-1)/42). Is 1902 greater than b?
True
Let d = 7524 - 22571/3. Are 18/1481 and d nonequal?
True
Let p = -5623/6 - -921. Which is smaller: p or -16?
p
Suppose 3*b = -6, 3*b = -9*h + 12*h - 80004. Let t = 213043/8 - h. Which is smaller: t or -35?
t
Suppose -8*o + 11*o - 2*f + 10252 = 0, 2*f - 13672 = 4*o. Let t be (-2580)/o - (-1)/(-3). Which is smaller: t or -1?
-1
Let s = 20119 + -20120. Is s smaller than -40/53?
True
Let l(m) = -2*m**2 + 10*m + 12. Let g be l(6). Suppose 20*d - 16*d = 16. Suppose -3*f + 4*f - d = g. Which is smaller: f or 2?
2
Let b be ((-20)/15)/((-55)/(-15) - -1). Which is greater: b or -2/15?
-2/15
Suppose 5*c - 68 = 17. Let h(z) = -6*z - c + 4*z - 2 - 32. Let s be h(-21). Does -10 = s?
False
Let i = 35 - 48. Let h(z) = z + 29. Let b be h(i). Suppose j + b = 26. Which is smaller: j or 9?
9
Let h(t) = -11*t + 7. Let a be h(1). Let o be (-4)/(36/27) - (a + 1). Which is smaller: o or 20/19?
o
Let w = -8 - -8.2. Let a be 92700/(-856800) - (0 - 2/16). Which is greater: a or w?
w
Suppose 5*h + 3*u - 699 = 0, -408*h + 4*u = -411*h + 415. Which is smaller: -17 or h?
-17
Let o = -103.14 + 103.14. Is -110/189 smaller than o?
True
Let j be -19 - (-16 - 20345/39). Is j >= 520?
False
Let d = 5939126 + -23132895472/3895. Let i = d - 4/41. Is -1 smaller than i?
True
Suppose -f + 11317 = 4*z + 3591, 2*z - 3872 = -5*f. Let h = z - 13571/7. Is -8 at least h?
False
Let o be (-45)/6 + 10 + (-2)/4 + -4. Which is greater: -39/62 or o?
-39/62
Let t = -0.35 + 1.71. Let w = 11.34 + t. Let h = -13 + w. Which is smaller: h or -16?
-16
Let c = 11 + -11.1. Let p = -0.2 + c. Let h = -43 + 36. Do p and h have different values?
True
Let m = -184 + 2. Let k = m + 182. Which is smaller: k or -5/18?
-5/18
Let j = 229 + -427. Let k = j + 198. Which is smaller: k or -3/47?
-3/47
Let j be (-1 - 0) + -50 + 56. Suppose -116 = -j*n - 4*q + 40, 0 = 3*n - 5*q - 64. Is -6 < n?
True
Suppose -655*k + 651*k = 0. Let h = 413/10 - 36717/890. Is k >= h?
False
Suppose -4*f + 2 = -8*f - 3*h, 0 = -4*f - h + 2. Let l be (6/(-8))/f - (-8225)/10220. Which is smaller: l or -1?
-1
Let t be (-9 - -8)/(1/35) - -5. Suppose 2*m - 14 = -78. Which is greater: t or m?
t
Suppose -17*y - 191 = -55. Let g(x) be the first derivative of -x**2 - 16*x + 2. Let r be g(y). Is r < 2/11?
True
Let a = -26547237/157885 - -2/157885. Let k = -168 - a. Is -1/2 < k?
True
Let m = 0.1047 - -1.0112. Which is greater: -2/5 or m?
m
Let j = -27 - -11. Let d = -39825 + 39841.053. Let i = d + j. Which is bigger: -2/5 or i?
i
Let t = -1510/7 - -10573/49. Let d = t - 5/882. Which is smaller: -1 or d?
-1
Let d be 6/(-16)*94 + ((-5920)/(-64))/185. Suppose -4*w - 4*z - 104 = -w, -z + 109 = -3*w. Which is smaller: w or d?
w
Let w = -82222 + 5509009/67. Which is smaller: w or 2?
2
Suppose 31*b - 28*b = 9. Suppose -b*o - 24 = -7*o. Are 9/2 and o equal?
False
Let c(j) = j + 6. Let q be c(-7). Let u = 65853/33046 + -808/403. Which is greater: q or u?
u
Let k be ((-26)/4)/(6/34). Let q = 37 + k. Let s(h) = h**3 + 10*h**2 + 25*h + 73. Let t be s(-8). Which is smaller: t or q?
q
Let j(n) = 2*n**2 + 1169*n - 10510. Let r be j(9). Are r and 176 non-equal?
True
Suppose -2*l + 3*m = 2 + 25, 0 = -2*l + m - 33. Let f(n) = -4*n - 161. Let b be f(l). Which is smaller: -91 or b?
-91
Let z = -1.843 + -282.957. Let c = -315 - z. Which is bigger: c or 2/5?
2/5
Let c(u) = 3*u**2 + 4*u - 3. Let b be c(4). Let q = 511639 - 511575. Is b equal to q?
False
Let h(r) = 3*r - 3. Let o be h(4). Suppose -g + 1 = q, -3*g + 2*g = 3*q - 3. Let a be (g/7)/(-10) + 10. Which is bigger: a or o?
a
Suppose -25 + 17 = 8*z. Let l = 97 - 12. Let q be (-78)/l + (-4)/(-34). Is z at least q?
False
Let s(a) = a**2 + 782*a + 17. Let n be s(0). Are 505/32 and n equal?
False
Let v be (30/(-99))/((-4)/2). Suppose -17*w = 1054 + 748. Let z = 106 + w. Is v greater than or equal to z?
True
Suppose 2*b = -4*u + 62 + 16, 2*b = u - 22. Suppose 14*x = 9*x + u. Is 0 <= x?
True
Suppose 3*u - 239 + 86 = -4*f, -2*u = f - 92. Which is bigger: 54 or u?
54
Let i(n) = 5*n**2 - 33*n + 14. Let k be i(6). Let v be (-6)/(-8) + (-1)/k*-3. Which is greater: v or 1/504?
1/504
Let o(g) = -5*g + 1. Let c = 66 + -72. Let j(z) = -11*z + 2. Let x(r) = c*j(r) + 13*o(r). Let f be x(4). Are f and 14/3 unequal?
True
Suppose -143*a + 145*a = 16, 4*v - 2*a = 4. Is 121/20 < v?
False
Let s(m) = -m**3 + 9*m**2 + m - 7. Let l(t) = -t**3 - 13*t**2 - 2*t - 17. Let j be l(-13). Let f be s(j). Suppose 0 = f*x + 7*x - 54. Is x at most as big as 1?
False
Suppose -165 + 1085 = 5*k. Let d be 8*(-9)/(-18) + (-738)/k. Which is smaller: d or 0?
d
Let x be ((-14)/(-6) - (-6)/(-18))/1. Let r(o) = -6*o**3 - 3*o**x - 12 - 11*o**2 + 7*o**3 + 12*o. Let s be r(13). Is s at most 2?
True
Suppose 0 = 4*o - 3*y + 146, 3*y + 47 + 52 = -3*o. Is o > 17?
False
Suppose 3 = -0*d + d. Suppose -2*t + 5*c = 63 - 6, 0 = -3*c + 15. Let w be (t/(-130))/((2 - d)/15). Do -1 and w have the same value?
False
Let i(a) = a**2 - 37*a + 74. Let l be i(35). Let t = -19 + 22. Let f be t/(-6) + (-1)/6. Which is bigger: l or f?
l
Let y = -267 - -415. Suppose 0 = -2*n - 4*s - 44 + 318, -22*n + 3254 = 4*s. Which