t be (-3)/(-5)*n/36*-15. Is -3 greater than or equal to t?
False
Suppose 4*x - 345 = -x. Suppose -17 = g - 10. Let q be 68/(-6)*(3 + g + -2). Is q != x?
True
Let h(j) = -j**3 + j + 56. Let b be h(0). Suppose 6*a = 3*g - 2*g - b, -5*a - 49 = -2*g. Which is bigger: -106/13 or a?
-106/13
Let n be 6*((-132)/18 - 6/(-1)). Let w be (n/5)/(11*10/(-875)). Which is smaller: 12 or w?
12
Let n = -4/1557 + -1501/21798. Which is smaller: -33.5 or n?
-33.5
Let g(q) = -24*q. Let l be g(6). Let s = -64 - l. Let t = 0.1096 - 0.2096. Is s greater than or equal to t?
True
Let u = 40978 - 41144.13. Let j = -166 - u. Are -2/5 and j non-equal?
True
Let k(t) = -t**3 + 6*t**2 - 4*t + 44. Let f be k(7). Let l(y) = -y**2 - y - 4. Let r be l(6). Let m = -80 - r. Is m at least as big as f?
False
Let s = 354 + -2472/7. Suppose 8 = -4*m, -2*z - 14 = -2*m + 11*m. Which is greater: z or s?
z
Suppose -2*w - 40 = -2*q + 100, 0 = 5*w + 5*q + 370. Is 14 at least w?
True
Let k = 272 - 277.2. Let h = k - 1.6. Which is greater: h or 1/2?
1/2
Let l = 521/5 - 4223/40. Let d(h) = 3*h**2 - h + 2. Let k be d(2). Suppose 17*y - 20 = k*y, -s = 2*y - 6. Does l = s?
False
Let k = -1.2 + 1. Let j = -0.8 + k. Suppose 0 = -3*x + 4*o + 41, x + 39*o - 30 = 38*o. Which is greater: j or x?
x
Let b(c) = 11*c**3 + 2*c**2 + 13*c + 31. Let j be b(-5). Which is smaller: j or 2?
j
Let y = 25172 - 49319/2. Is y less than -1?
False
Suppose 0 = -2*b + b - 2. Let f(z) = -1090*z + 93. Let l be f(-1). Let h = -1184 + l. Is b greater than or equal to h?
False
Let l be 169/117*6*(-15)/10. Which is smaller: l or -506/43?
l
Suppose -f - 2*j + 5 = 0, 0 = -5*f + 2*j - 4 - 7. Suppose 5*i + 0*i = -3*t - 946, 342 = -t + 5*i. Let d be (-21)/t*(-6)/(-9). Which is bigger: f or d?
d
Suppose -5*p = 4*a - 220, 4*a - 2*p = 109 + 139. Let g = 7797 - 7799. Is a >= g?
True
Suppose 7057 = 27*k + 196*k - 302. Let v(z) = -z + 15. Let y be v(13). Suppose 0*g - 64 = -y*g. Is g < k?
True
Let m = 235 + -212.9. Let t = -0.166 - -22.166. Let j = t - m. Which is smaller: j or -29?
-29
Let x be (-2 - 0) + 0 + 4/2. Let j be x/(-3 - 1 - -5). Which is smaller: 42 or j?
j
Let q(w) = -334*w + 334. Let p be q(1). Is 146/191 not equal to p?
True
Suppose 4*f = 8, -5*s - 5 = -2*s + 5*f. Let w be ((-994)/(-35) + -12)/(2/s). Let a(r) = 9*r + 4. Let x be a(-5). Are w and x nonequal?
False
Suppose 0 = i + 4*y - 54, 2*y - 52 = 4*i - 5*i. Let o = i + -46. Suppose -2*a + a - 3 = k, 2*a - o = 3*k. Are 4/13 and a nonequal?
True
Suppose 2*r = -0*r. Let i be (2/(-6) + 33/(-9))/(96 - -205). Which is greater: i or r?
r
Suppose -3*p + 6 + 8 = a, -10 = -a - p. Suppose 5*l = t - a - 31, 5*t - 13 = -l. Is l at least -6?
False
Let t = -447 + 480.1. Let m = 33 - t. Which is smaller: 2/25 or m?
m
Suppose 130*u - 126*u = 348. Suppose -n - 3*k - 98 = 0, -u - 403 = 5*n - 3*k. Is n equal to -98?
True
Suppose -227 = c - 2*c + 4*y, 4*c + 3*y - 851 = 0. Which is smaller: 217 or c?
c
Suppose 291 + 49 = 5*s. Let c = s - 69. Let p = -34 + 36. Is c bigger than p?
False
Let y = 2245 - 511. Is y at least as big as 1729?
True
Let x = 190 + -66. Let m = -126 + x. Is 2.2 smaller than m?
False
Let u = -820 - -820. Let x = 352.3 + -336. Let c = 0.3 - x. Which is smaller: u or c?
c
Suppose -21 = -k + 5*h + 7, 4*k + 3*h = 89. Let l = 106 - k. Let b = -9045/109 + l. Which is smaller: 1 or b?
b
Let x be 77 - -1*5/1. Let y = x - 76. Suppose 2*d + y*f = 2*f - 4, 5*d + f = -46. Which is smaller: -5 or d?
d
Let q(m) = -7 + 9*m - 4*m - 4*m + m. Let v be q(7). Suppose 10*x = 33 + v. Which is smaller: -2 or x?
-2
Suppose 0 = 30724*z - 30729*z + 10. Let d = 0.1 + -13.1. Let r = -33 - d. Which is greater: r or z?
z
Suppose 0 = c + 5, 4*x + 2*c - 12 = 2. Let j be (-11)/((-396)/(-24)) - 212/x. Is j less than or equal to -246/7?
True
Let x(a) = 2*a**2 - 5*a. Let m be x(4). Let f be -4*((-39123)/m)/(-9). Let w = 184021/127 + f. Which is greater: w or 0?
0
Let a = -20 + -2. Let t(u) = -u**2 - 28*u - 125. Let h be t(a). Is h bigger than 4?
True
Suppose 5*c + 8 = -4*l - 19, 4*l - 5*c - 3 = 0. Is l less than -30?
False
Let p = -713/15 - -490549/10320. Do p and -1 have the same value?
False
Let v(c) = 11*c**2 + 141*c - 33. Let x be v(-13). Let i = -35 + 77/2. Let l = -3 + i. Is x greater than l?
False
Let j = 2259.6 + -2259. Is 612 != j?
True
Suppose d - 5*q = -0*d + 24, 4*d + 5*q = -4. Suppose 3*l - 2 = o + 2, -o + d = l. Suppose -z = -l*i + 9, -z + 12 = 5*i - 0*i. Is i <= 30/19?
False
Suppose w + 1794 = 5*o, 6*o - 355 = 5*o + 4*w. Let m = o + -353. Which is bigger: 82/11 or m?
82/11
Let r(g) = 4*g - 4. Let t be r(2). Suppose 5*i = 0, -t*p - 1128 = -i - 36. Let h be 358/p - (-24)/18. Which is smaller: -1 or h?
-1
Let b(v) = -v**2 - 27*v - 60. Let r be 325/26*(1 - (0 - -3)). Let k be b(r). Let h = -9 - k. Which is smaller: -2/55 or h?
-2/55
Let l = -456 + 219. Is l at most as big as -4?
True
Let d be ((-2)/((-4)/(-2)) + (-1155)/(-1176))*6. Let u = 4 - 6. Let f be (-4)/u - (3 - 0). Is f smaller than d?
True
Let y be (-3 - 5)/(-4) + -1. Let c be 85/726 - 28/168. Is y greater than c?
True
Let k be (-614)/(-5) + (36/3)/60. Which is bigger: 1357/11 or k?
1357/11
Let y = -98 + 53. Let l = y - -13. Let h be ((-84)/9 + 10)*6/16. Which is greater: l or h?
h
Let g = 2189 - 2057.9. Let j = -125 + g. Let b = 13.1 - j. Which is bigger: 0 or b?
b
Suppose 11*b - 2*d = 15*b + 18, 0 = b + d + 8. Which is smaller: 1/4498 or b?
b
Let a be -6 + ((-6)/(-36)*-10601 - (-1)/(-6)). Which is smaller: -1772 or a?
a
Let v(w) = -w**2 - 32*w - 1887. Let a be v(-83). Is 1 != a?
True
Let v = 397 - 212. Suppose -3*m - x = 261 - 808, m = -x + 177. Is m at least as big as v?
True
Let g = 602 - 602. Let p be 30/68*(-8)/(-9). Which is greater: p or g?
p
Let s(c) = 2*c**2 - 174*c - 267. Let y be s(88). Is -99 >= y?
False
Suppose 5*j = -5*f + 45, 5*f - 21 = 4*f - 4*j. Let y be (8/20)/(2/f). Let b = 281 - 7022/25. Do b and y have different values?
True
Suppose q - 3*o - 23 = 0, -2*o = -3*q - 6*o + 30. Suppose -3*h - 5 = s, -15*s + 5*h = -11*s - q. Which is greater: 2/879 or s?
s
Let w = -34633/1637538 - -26/2667. Which is smaller: w or -1?
-1
Suppose 10 + 5 = 5*t + 4*n, 0 = -3*t - 4*n + 1. Suppose -554 - 125 = -t*a. Is a != 96?
True
Let b be (-2)/(-5) - (-1040)/25. Suppose 21 + 96 = v + 2*v. Is b less than v?
False
Let b = 233 + 219. Let y = -453 + b. Which is bigger: y or -0.27?
-0.27
Suppose -2*z + 2*p = 410, -3*z + 10*p - 5*p - 613 = 0. Let j = -205 - z. Do -2/79 and j have different values?
True
Let w = -22.8 - -22.783. Let k = 0.023 - w. Is -2/7 bigger than k?
False
Suppose -138 = 2*s + 360. Is -249 at most s?
True
Let c = 599 - 591. Let z(o) = -12*o. Let l be z(c). Which is bigger: -98 or l?
l
Let s = 0.246 - 31.446. Let f = s - -31. Suppose 3*n + 4*q - 53 = 0, 2*n + 3*q + 0*q - 37 = 0. Is n < f?
False
Let d be (0 + 4/26 - 961140/(-47671))/1. Which is smaller: d or 21?
d
Let d = -19 + 21. Let h = 0.1 - d. Let b = -2.9 - h. Is b greater than -17?
True
Suppose -1517 = h - 1515. Let m(l) = 4*l - 3*l + l - 9*l**2. Let x be m(h). Is x at least as big as -40?
True
Suppose 0 = 9*s + 95 + 27 + 589. Which is smaller: 39 or s?
s
Let i be (-1)/(-5) + (41697/5940 - 35/5). Which is smaller: i or -1?
-1
Suppose 276 = -2*s + 284. Let i be s - (-9 + 12) - (-1 - -1). Which is bigger: 5/8 or i?
i
Let q = -10.5 - -11. Let h = q - -54.5. Let a = h + -57. Is a greater than 1?
False
Suppose 11*b + 10*b - 421 = -3718. Which is bigger: -153 or b?
-153
Let o = 56 + -2. Suppose 0 = -5*a - 36 - o. Let b be (-6)/(-27) + (-41)/a*1. Is b smaller than -1?
False
Let r = -6920/7 + 7531/7. Let l = -87 + r. Which is smaller: l or -0.49?
-0.49
Let f = 7567 - 37833/5. Does 2/12095 = f?
False
Let r be 0/1 - (-12)/2. Suppose r = -2*l + 4*l, -5*d = -l + 33. Let p = 18859/4 + -4720. Is p smaller than d?
False
Let f be ((-32)/140)/(-1 - (-34)/(-50)). Let r = f + -1279/12642. Do 1 and r have the same value?
False
Let g = -63173/32 - -1974. Let q = -29 - -52. Let l = q + -23. Is l smaller than g?
False
Let a(g) = -24*g - 28. Let o be a(-4). Suppose 5*r - 4*t = 43 + 59, -4*r + 4*t = -84. Suppose -22*h - o = -r*h. Is h smaller than -0.2?
True
Let y(o) = -219*o - 1803. Let l be y(17). Is l > -5525?
False
Let r(f) = f**3 - 8*f**2 - 19*f + 14. Suppose 25 = -5*d, 5*q + 5*d - 4 - 31 =