h + 63*h = -3. Do 326 and s have different values?
True
Let v(x) = 20*x**2 + 3*x - 3. Let a be v(-3). Let l = -2186/13 + a. Which is bigger: l or 0?
0
Suppose -m + 3 = -3*r, 4*r + 2*m = -2 - 2. Let y = 36751/6194 - 225/38. Which is smaller: r or y?
r
Suppose -195*t = 34*t - 45 + 503. Let x = 122 - 87. Which is smaller: x or t?
t
Suppose 4*b + 5*p - 119 = 7*b, b = 2*p - 40. Which is greater: b or -41?
b
Let v be (14/(-6))/((1088/51)/(-1)). Is -1 smaller than v?
True
Let k = 606/17 + -12386/357. Let t = 2/7 - k. Which is bigger: -5 or t?
t
Suppose 0 = -15*u + 10*u + 155. Let g = u + -58. Which is bigger: g or -28?
g
Let c(o) = -5*o + 6. Let v(u) = 4*u - 7. Let a(x) = 4*c(x) + 3*v(x). Let h be a(-2). Suppose -5*l + 27 = 4*q - 8, -2*l + 5*q = h. Is 3 <= l?
True
Let r be 6*19*(-34)/(-68). Are 227/4 and r equal?
False
Let z = 44 + -35. Suppose 2*p + 7 = z*p. Is p at least as big as -1?
True
Let c be -2 - ((-20)/(-30) - 248/102). Suppose 2*a = -j + 1, -2*a - j = -3*j + 2. Which is smaller: c or a?
c
Suppose 6*k + k - 42 = 0. Suppose 0 = -k*j - 8 + 32. Let t be ((-1)/(j/(-128)))/2. Which is smaller: 29/2 or t?
29/2
Suppose 0 = -5*z + 20, -14*r = -9*r + 5*z - 15. Is r < -7/5?
False
Suppose -2*a - 20 = -d - 136, -2*d - 292 = -5*a. Let v be (-6)/a*-5 + 25/2. Which is bigger: -1 or v?
v
Suppose 5*b = 4*m + 11, -3*b + 4*b - 2 = m. Let d be 15498/(-40) - b/4. Let g = d - -387. Is 1 smaller than g?
False
Let p be 12/3 - (12 - 7). Is p greater than or equal to 1/964?
False
Suppose 2*t = 5*h - 378, -2*h + 945 = -6*t + t. Is t less than 6?
True
Let b = 8.5 - 1.5. Let a = b + -7.2. Which is greater: a or 12?
12
Suppose -2*o = 3*o - 5. Suppose 4*v - o = 7. Let f be 4*v/2*2. Which is smaller: -2/7 or f?
-2/7
Let n(d) = -3*d**3 + d**2 + 2*d - 3. Let m be n(1). Let v be ((-620)/40)/(2 - (-2 - m)). Which is smaller: -1/4 or v?
v
Let c be (-2)/(-6) - 1/3. Let n = 3043 - 3023. Which is greater: c or n?
n
Suppose f + 4*f - 440 = 5*q, 3*q = f - 96. Suppose f = 3*v - v. Let o be 7/3*(-12)/v. Are -2 and o non-equal?
True
Let n = 14660 + -190690/13. Are n and -9 equal?
False
Let d = -1211 + 1002. Does d = -211?
False
Let z be (-1703)/78*(-18)/(-304). Let i = z + 21/19. Let d be (4/(-16))/(-1) - 0. Is d at least as big as i?
True
Let l be ((-282)/(-3))/(3/46). Let g = -1487 + l. Let j = -42 - g. Which is greater: j or 4?
4
Let x = 14 + 0. Let u = -20.6 + x. Let s = u - -7. Which is smaller: 3 or s?
s
Let j be 3*(-4)/6 + (-260)/(-129). Is j less than 0?
False
Let v be (17 - 16) + 2/(-4). Let z = 0.68 + -0.6. Is z bigger than v?
False
Let i = -32447/35 - -927. Let f(c) = -c**3 - 3*c**2 + 3*c - 5. Let h be f(-4). Is h at most as big as i?
True
Let d be 4/(-6)*54/(-3). Let l = 49 + -49. Suppose -v = d - l. Is v at least -12?
True
Let k be -2*((-2)/8 - 15/(-12)). Let z be -1 - 3/k - (-450)/(-20). Is z at most as big as -21?
True
Let a = 0.065 - -16.935. Let u = -135.1 + 135. Is a at most u?
False
Suppose 0 = g + 3, -84 = 366*i - 364*i - 2*g. Which is smaller: i or 7?
i
Let k be (3/(-3))/(3 - 21/6). Suppose 4*s - 2*f - 16 = 2*f, -s - 8 = k*f. Which is smaller: s or -8/9?
-8/9
Suppose -11*z - 92 + 103 = 0. Let w be 15/6*4/5. Which is bigger: w or z?
w
Suppose -57*z = -62*z + 10. Let p be ((-1)/z)/(4/104). Suppose 0 = 3*h - 4*o + 59, -4*h + o = 3*o + 42. Is p at most as big as h?
True
Suppose 3*p = 5*b - 25, 2*p + 20 = 7*p + 4*b. Which is bigger: p or 4/919?
4/919
Let z = 107 - 96.8. Let y = -80.88 + 80.78. Is y <= z?
True
Suppose 0 = -18*d + 482 - 2102. Which is greater: d or -0.2?
-0.2
Let v = 334 + -205. Is 2/3 not equal to v?
True
Let u(q) = q**3 + 8*q**2 - 11*q + 11. Let l be u(-9). Suppose 5*c = -n - 27, -2*n + 5*c + l = -4*n. Let a be (n/(-78))/((-1)/3). Is 0 greater than a?
True
Let d = 2980165119/229124800 - 184/188425. Let j = d + -248/19. Do -1 and j have different values?
True
Suppose k + 36 = 31. Let x(s) = -s**2 - 5*s + 6. Let u be x(k). Suppose 0 = -u*p + 8*p + 2. Which is greater: -4/7 or p?
-4/7
Let o = -45 - -42. Let p be o/9 + 3/(-18). Let u be (4/(-54))/(1/3). Are p and u unequal?
True
Let x(s) = s**3 + 6*s**2 + 10*s + 32. Let o be x(-6). Which is smaller: o or -29?
-29
Suppose 0 = 3*r + l - 14, 0 = -r + 5*l - 9*l + 23. Which is smaller: -7 or r?
-7
Let o(k) = 4*k - 8. Let c be o(6). Suppose 0 = 10*d + 3*d - 0*d. Which is greater: d or c?
c
Let r(b) = -b**3 + 30*b**2 + b - 66. Let w be r(30). Is -29 not equal to w?
True
Let j(m) = 3*m. Let h be j(1). Suppose -2*x = -3*b - 12, 2*x + x + 12 = -h*b. Let w = -7.8 + 18.8. Is x greater than or equal to w?
False
Suppose -2*g + 0*g = -238. Do 118 and g have different values?
True
Let d be (((-18)/(-51))/(-3))/3. Let b be (-9)/(-2)*(-8)/6. Let u be (-16)/(-24)*b/4. Are u and d unequal?
True
Let a = 0.54 + 0.23. Let q = -667.07 + 667. Let c = q + a. Which is smaller: c or -2/5?
-2/5
Let w = -761.5 + 762. Let p = -3 + 3.01. Is w bigger than p?
True
Let h = -0.286 - 0.514. Let o = 6.73 + 0.07. Let b = o + h. Is 0 greater than or equal to b?
False
Let q = -362 + 361. Is q less than or equal to -29?
False
Suppose -2*w - 4*y = 24, 3*y + 5 + 27 = -5*w. Let m be (-10)/(-25) - 146/40. Which is greater: w or m?
m
Let m(c) = -c + 1. Let r be (4/14)/(7/49). Let x be m(r). Which is bigger: x or -4/15?
-4/15
Let h = -1 + 0.87. Let q = -1.13 - h. Is -18 smaller than q?
True
Let y = 746 + -745. Which is bigger: -7/17 or y?
y
Let a(q) = -2*q**2 + 6*q + 6*q**2 + 5 + 2*q**2 - 2*q**3 + q**3. Suppose -17 = -i + 2*t, -2*i = -t - t - 24. Let z be a(i). Which is greater: -3/5 or z?
-3/5
Let r be (-36)/21 - (-1 + -1). Let i = 58 - 54. Suppose 11 = -i*k - 13. Is k smaller than r?
True
Suppose -4*s - 128 = -8*s. Let k be 3/2*s/12. Which is smaller: 2 or k?
2
Let m = -9.416 - 0.284. Do m and -2/7 have the same value?
False
Suppose -3*x + 5*d - 125 = x, -4*d + 20 = 0. Let h = 20 + -46. Which is smaller: h or x?
h
Suppose 20*r - 529 = 111. Which is smaller: 33 or r?
r
Suppose 5*d - 3*d - 10 = -4*u, 3*d + 4*u - 7 = 0. Let i be ((-13)/52)/(d/8). Which is bigger: 1 or i?
1
Let z = -36285944789/1464 - -24785478. Let t = z - -43/61. Let i = t - -3/8. Which is smaller: i or -3?
-3
Suppose -9*w - 2856 = 3*w. Are w and -238 unequal?
False
Let w = 134.16 - 134.2. Which is smaller: 29 or w?
w
Suppose 2*x = -s + 5*x - 3, 2*x = -3*s - 20. Let f be (s - -3) + (-22)/(-7). Which is smaller: 0 or f?
0
Suppose 2*y + 11 = -4*v - y, 0 = -5*y + 15. Let w be (2 + 2 + v)*1. Let n be 1/(21/w + -1). Are 1 and n unequal?
True
Let q = 72 + -37. Let c = q + -35.1. Which is smaller: -0.026 or c?
c
Suppose -4*u = -3*q - 5, -5*q - 5 - 5 = -5*u. Is q bigger than -2/7?
False
Let t = 140 + -145. Suppose 3*r - 6 + 2 = -4*l, 5*l = -4*r + 5. Let x be (-12)/(r - -4) - t. Which is greater: 2/3 or x?
x
Let h be (-18)/2*6/(-90). Is 2/9 equal to h?
False
Suppose 0 = 217*p - 213*p + 1160. Which is bigger: p or -293?
p
Let n = -3806 + 487171/128. Which is bigger: n or 0?
n
Let l = 0.45 - 0.47. Let g be (-87)/(-60) + (-3)/2. Let v = 47/140 + g. Which is greater: v or l?
v
Suppose 6*m + 0*m = 120. Let w = m + -6. Suppose -4*s - 5*r = -33, 2*s = 4*s + 2*r - w. Are 1/2 and s nonequal?
True
Let y be ((-9)/12)/((-10)/(-32)). Let g(p) = -p**2 + 55*p + 173. Let u be g(-3). Is y >= u?
False
Let r(n) = 3*n + 4. Let w be (128/(-8))/(-1 + -1). Let y be r(w). Let u be ((-15)/(-6))/(y/(-8)). Which is smaller: -1 or u?
-1
Let z(y) = 2*y**2 + 35*y - 57. Let w be z(-19). Is w greater than or equal to 9?
False
Let q(v) = -v**3 - 12*v**2 - 11*v + 2. Let x be q(-11). Suppose -g = x*b + 41, -5*b - 5*g + 2*g = 103. Is b bigger than -20?
False
Let v(i) be the third derivative of i**6/120 + i**5/30 + i**4/12 + i**3/6 - 3*i**2. Let r be v(-1). Let z be ((-3)/12)/(6/16). Does z = r?
False
Suppose -15 = -s - 3*z, 2*z = -5*s - z + 51. Suppose -3 = 3*h - s, 3*f - 4*h = 91. Let u be (0 - f/(-36))*-3. Which is bigger: -3 or u?
u
Let r(m) be the third derivative of m**6/120 + m**5/15 - 5*m**4/24 - 2*m**2. Let p be r(-5). Suppose 2*d = d - 3, p = q - d - 13. Is 9 not equal to q?
True
Let p = -0.282 + -101.718. Is 2 at least p?
True
Let r = -536 + 562.3. Let u = 14.4 - r. Let c = u + 12. Which is greater: c or 1.3?
1.3
Let l = -0.433 - -0.297. Is l at most -1/4?
False
Let b be (1/((-16)/244))/(30/(-408)). Is b at most as 