 be (-1)/4 - (-3791)/h. Is j equal to 1?
False
Suppose 7*x - 15 = 4*x - 5*h, 2*x + 5*h = 15. Let u be (-122)/(-12) - (-4)/8. Let a = -602/57 + u. Is a bigger than x?
True
Let d = -1923/10 - 2909/20. Suppose -3*u - 1013 = -4*c, 3*u + u + 1348 = 4*c. Let a = d - u. Which is smaller: a or 0.2?
a
Suppose 5*k + 3*i - 730 = -0*k, 2*k - 292 = -5*i. Suppose k*p + 45 = 151*p. Is p > 9?
False
Let y be ((-525)/45)/7*9/60. Is y != -4.764?
True
Let f = -415.47 - -8.47. Let y = f - -465. Is 2 < y?
True
Let i = -2678 + 2244. Do i and -432 have different values?
True
Suppose 285 = 8*k - 51. Let p be (-62)/217 - (-40)/k. Is 13 < p?
False
Suppose 791 = 9*s + 782. Which is greater: -2/8323 or s?
s
Let b = 175 - 102. Suppose -a = n - 13, -3*n + 6*n - 25 = 4*a. Suppose 37 = -n*l - b. Do -10 and l have different values?
False
Let h be (-2)/20*(-10)/80. Suppose 70 - 70 = 2*c. Let q be (c - 0) + (-28 - -28). Do h and q have different values?
True
Let d(u) = 2*u**2 - 42*u + 31. Let r be d(18). Is r >= 40?
False
Let v = 36.4 + -39.41. Let d = 3 + v. Let g = d - 3.99. Which is smaller: -2 or g?
g
Let s be 5648/14*(-14)/(-4). Is 1412 < s?
False
Let r = -3372 + 3427. Which is smaller: r or 86?
r
Let s = 466 - 674. Let l = s + 213. Is 18 <= l?
False
Let p = 64 + -37. Let i = -1.03 + -45.97. Let c = i + p. Which is smaller: 1 or c?
c
Suppose 2*p - 1492 = -5*w, -5*p + 1480 = 14*w - 9*w. Let g = w - 2395/8. Does -3/7 = g?
False
Let q be -1 + 7*-1 - -1. Let m be 10446/(-22) - 22/121. Let v = m + 466. Is q bigger than v?
True
Suppose -3*d = 4 + 35. Let s = d - -40. Suppose 0*c - 5*i + s = -2*c, 4*c + 4*i + 40 = 0. Which is smaller: 1 or c?
c
Let v be -163 + ((-216)/(-104) - (-5)/(-65)). Which is bigger: v or -0.12?
-0.12
Let s = 10 - 8. Suppose -3*h = 2*h - s*n - 9, -2*h - 4*n = 6. Is h greater than 1/20?
True
Suppose b + 13*b + 924 = 0. Let d = 460/7 + b. Which is greater: -2.1 or d?
d
Let t = 153740/1259037 - 72/2743. Is t < 0?
False
Suppose 14097 = o + 5*g, -63*g + 14081 = o - 62*g. Which is smaller: o or 0?
0
Let o(f) = -f - 2. Let u be o(1). Suppose 146*n + 360 = 131*n. Which is smaller: n or u?
n
Let g be 14*(-16)/(-224) + -4. Do -4.4 and g have different values?
True
Let r(i) = -i**3 + 22*i**2 - 3. Let k be r(22). Let g = -185 + 113. Let m be g/(-3) + k/1. Is m at least as big as 21?
True
Suppose 0 = 2*t + g + 42, -5*t = 2*g - 6*g + 131. Suppose 75*o - 78*o = -3. Let l be o + ((-410)/15 - -4). Which is greater: t or l?
l
Let n = -5754606/167 + 34459. Which is smaller: n or 1?
n
Let f = -0.4669 - -0.0559. Let z = 0.851 + f. Which is bigger: z or -5?
z
Suppose 0 = 16*b - 0*b + 640. Let h = -35 - b. Let r = 11 + -7. Do h and r have the same value?
False
Let l(a) = 46*a - 229. Let h be l(5). Let c be (h + 83)*(-315)/90. Which is bigger: c or -293?
-293
Let j(r) be the first derivative of -r**2/2 + 17*r - 7. Let x(q) = -q**2 + 16*q - 7. Let l be x(16). Let o be j(l). Are 23 and o unequal?
True
Let l be 21*(-4)/12 - (6 - 3)*-2. Is l < -6/161?
True
Let u(x) = -x**3 + 4*x**2 - x - 4. Let m be u(2). Suppose -y - 15 = m*y. Let h be 3/(51/5) + (y - -5). Which is smaller: -1 or h?
-1
Suppose -2*w - 4 = 2*y, 4*w + 3 = -5*y - 8. Let h be 330/10*y/(-9). Which is smaller: h or 3?
3
Suppose 0 = 4*j - 3*c - 41, 5*j - 39 - 4 = c. Suppose -j*x + 3*x = -5*q + 795, 3*x - 4*q = -472. Which is smaller: x or -165?
-165
Suppose -2*m - 2 = 2*z - z, -4*z - 3 = 3*m. Let w be (-1)/(34/60 + 8/(-20)). Let q be w/(-8) - 475/660. Which is smaller: q or z?
z
Let v(n) = -45*n + 222. Let h be v(26). Let q = h + 36021/38. Does q = 0.2?
False
Let c be 2929/1653 - (-5 + 4 - 24/(-9)). Let b be (-1*(-2 + 9))/(-5). Let t = -9/10 + b. Is t at most as big as c?
False
Let r be (-1354)/6 + 16/24. Let q be 9/(-12) - r/(-20). Let l = -1630 - -1631. Is l at most as big as q?
False
Let c = -315 + 176. Let r = c - -120.6. Let j = r + 18. Is 0.2 at most j?
False
Suppose 4*x - 2*n - 204 = 0, -x - 4*n + 2*n + 61 = 0. Let c = -155 + x. Let s be 5 + 3/(c/173). Which is smaller: s or -1?
-1
Suppose -409*a - 359 = 5*w - 411*a, 0 = 5*w + 2*a + 331. Which is bigger: w or -75?
w
Suppose -34413 + 162321 = -36*n. Which is smaller: n or 0?
n
Suppose -5*l - 356 = 5*u + 2124, 5*u + 2*l = -2483. Which is bigger: u or -476?
-476
Let h be 207/(-19) + (-10)/95. Let j be (2 + -1)*1/((-1)/h). Suppose l - j*l - 70 = 0. Which is smaller: -6 or l?
l
Let m = 5799 - 4310. Are m and 1487 non-equal?
True
Let y(i) = -i**3 - 8*i**2 - 8*i + 3. Let f be y(-7). Suppose -7*p + f*p + 201 = 0. Let l = p + 51. Are -15 and l equal?
False
Let v be ((-8)/(-20))/(4/20). Let s(a) = 28*a - 62. Let x be s(v). Which is greater: x or -3/7?
-3/7
Let o = -12728 + 22014. Suppose -4*t + 4*j = 12772, 3*t + j = -285 - o. Let s = t + 22387/7. Which is smaller: s or 8?
s
Let v(f) = -f**3 + 12*f**2 + 2*f + 9. Let g be (-2)/(-13) + 22*14/26. Let h be v(g). Is 33 greater than h?
False
Let b = 0.0304 - -2.1596. Let m = b + -1.69. Let r = -0.2 + 0.7. Is m at least as big as r?
True
Let k(v) = 17*v + 532. Let o be k(-32). Is 0.07 bigger than o?
True
Suppose 3*b - 2 = 52. Suppose 769 = -b*w - 131. Is -53 > w?
False
Let y be (50/15)/(-10) - 25/15. Is -126/113 >= y?
True
Suppose 504 = -2*n - 2*t, n + 4*t + 250 = 2*t. Are -259 and n equal?
False
Suppose -6*i = 29 + 43. Suppose -5*g + 89 - 6 = c, 4*g = -c + 66. Let t = g + i. Is t not equal to 5?
False
Let b(f) = -4*f**2 - 6*f. Let w be b(-4). Let p be 3/(-6) + 2 + (-28)/(-8). Suppose -5 = -p*q, -5*i = 7*q - 2*q + 195. Is i != w?
False
Let u = 42.19 - 0.19. Let n = u + -18. Let y = 78205/2 + -39102. Which is smaller: y or n?
y
Suppose -8 = w - 2*j, 25 = 4*j + j. Let m be (7/((-21)/24))/w. Let l be m/8*4/30. Is l greater than 2/5?
False
Let x(l) = l**2 - 42*l + 493. Let c be x(23). Which is smaller: 341/6 or c?
c
Let v be ((2/24)/(381/12))/1. Let i = -10941 - -10942. Is i > v?
True
Let w = -2673 + 2607. Which is bigger: 12 or w?
12
Suppose -b - 10 = 4*q - 5, -q + 67 = -3*b. Let v be 2/(-4)*(b/(-3) - 5). Is -62 <= v?
True
Suppose -6*d - 634 = -214. Let b = 75 + d. Suppose -b*c = -2*k + 24, 83 = k + 4*k - c. Is k >= 16?
True
Let u = -11279 + 11087. Which is smaller: -1535/8 or u?
u
Let d be (-18)/(-36) + 3/(-1) - -3. Is -1029 equal to d?
False
Let l be -4 - 1/(15/6 + -2). Let v(z) = z**2 + 12*z + 32. Let g be v(l). Let i be (2 - 3)/g - (-45)/204. Is 1 greater than i?
True
Let g(r) = -2*r**2 - 3*r + 27. Let v be g(3). Which is greater: 2/843 or v?
2/843
Suppose -93 = -7*h - 5*h + 51. Which is greater: 185/14 or h?
185/14
Let u be (-2 + (-56)/(-6))/(392/2352). Is 847/19 > u?
True
Let u = 23 - 127. Let h = 73 + u. Let z = h - -159/5. Which is smaller: z or 0?
0
Let f = 188.5 - 188.69. Which is smaller: 2/125 or f?
f
Let b be (4/8)/(-3 - (-127)/42). Let q = b + -29. Is q less than or equal to -8?
True
Suppose 56*d + 68 = 460. Which is bigger: d or 0?
d
Let a = 1524.4129 + -1524. Let q = a - 0.0129. Is 6.2 equal to q?
False
Let f = 1 - 5. Let g be -12*((-2)/f + 0/(-4)). Let p be -2*g/(-4) + 572/188. Are 0 and p non-equal?
True
Suppose -5*k = -16*t + 11*t + 30, -2*t + 9*k = -54. Is t at most as big as -78/241?
False
Let t(s) = -17*s**3 - 4*s**2 - 558*s + 3323. Let v be t(6). Is -3843 at most v?
True
Suppose x - r = -3, -5*x - 6*r + 2*r + 30 = 0. Suppose -x*z + 3 = z, -10 = -s + 2*z. Suppose 8*u - s*u = 100. Is -25 at least u?
True
Suppose -2*y + 4 = 2*y. Let j be ((-140)/6 - -1) + y. Let s be -5 - (-159)/33 - (-2519)/(-121). Is j at most s?
True
Let u be 64/176 - (-292726)/77. Is u >= 3803?
False
Let k(s) = s**2 - 72*s - 516. Let m be k(-8). Is 125 >= m?
True
Suppose 2*m + 136 + 122 = 2*y, -4*m = -5*y + 646. Let w = -15012 + 15011. Which is smaller: w or y?
w
Suppose -134*x + 98*x - 14580 = 0. Do x and -811/2 have the same value?
False
Let q = 2/665483 + -2055815/19753531889. Are q and 0 equal?
False
Let u(z) = -z**3 + 13*z**2 + 69*z - 27. Let y be u(17). Let a(w) = w**2 + 9*w + 7. Let p be a(-6). Is p > y?
False
Let v be (-1)/(-6)*(150/(-45) - -2). Which is smaller: -3.07 or v?
-3.07
Let t = 15.4 - 9.4. Let a = 75 + -70. Let i be 44/48 - (10/3)/a. Which is bigger: i or t?
t
Let p = 3.2 + 11.8. Let k = p + -11. Let m be (1/2)/((-8)/16). Which is bigger: k or m?
k
Let q be -219*((-2)/4)/(99/264). Is 292 less than q?
False
Let k be (-59 + 58