 Let m = a + 29.41. Let b = -29 + m. Is b != -6/5?
True
Let n be 3*1770/(-765) + 7. Which is bigger: 1.02 or n?
1.02
Let h be 3/(((-3)/(-9))/(17/(-153))). Is h at least 2/13099?
False
Let j(l) = -l**3 + 3*l**2 + 5*l - 2. Let n be j(4). Suppose -10 + n = -s. Let k be (-88)/(-12) - 2/6. Is k < s?
True
Let i = -73135/7 - -10447. Which is smaller: i or -1?
-1
Let t be (-6)/(-27) - (-65)/(-9). Let j be (-8)/(-240)*(4/(-5) - 1). Let a = -136/25 + j. Which is smaller: a or t?
t
Suppose 13*y = 6*y - 13692. Let o be -2 - ((-323)/(-2))/(y/24). Which is bigger: o or 1?
1
Let i be (1/((-4)/5))/((-250511)/(-248)*-5). Which is greater: i or -1?
i
Suppose 4*c - 6*u + 3*u = 46, -c = -3*u - 7. Is c less than or equal to 43?
True
Let b = -997 + 618. Let z = -358 - b. Is 22 less than or equal to z?
False
Let f be 82/1066 + 21150/13. Which is bigger: f or 1630?
1630
Suppose k = 3*k + 26. Let y(v) = -v**3 - 15*v**2 - 24*v + 19. Let t be y(k). Let z be (-11)/((t/3)/(-7)). Is -33 at most z?
True
Let r = 339.0832 - 0.0832. Let o = r - 193. Let p = o + -146.61. Is p at least 0.1?
False
Let f = -107/40 + 2381/920. Is 208/11 not equal to f?
True
Let w = -81761/2 - -40880. Which is smaller: -4/1099 or w?
w
Suppose 15*x - 5*d = 12*x - 35, -2*x + 4*d = 26. Suppose 19 = -3*k - 14. Which is bigger: k or x?
x
Let t be 12/(-7) - 6/21. Let y = 162 - 193. Let x = y + 30.4. Which is smaller: t or x?
t
Suppose -1007 = 4*i + 3*z, i - 4*z + 309 - 81 = 0. Let g = 246 + i. Is g bigger than -86?
True
Let x = 1667.8 + -1876. Let u = x + 173. Let f = 35 + u. Which is smaller: 1.8 or f?
f
Let h = -12974 - -12909. Let c(i) = -65*i**2 + i. Let b be c(1). Which is greater: h or b?
b
Let f = 30 - 29.6. Let a = f - 0.4. Let o = 393 + -7465/19. Are o and a nonequal?
True
Suppose -327 = -s + 4*b, 0*b = -2*s - 5*b + 641. Suppose 0 = -13*k - 4*k + s. Is k != 18?
True
Let y(c) = -4*c + 9. Suppose 28 = 5*o + d, -5*o + 28 = 4*d - 9. Let u be y(o). Let k(b) = -b**3 - 11*b**2 - 3*b - 1. Let i be k(u). Is 32 <= i?
True
Let h be (2/(-12))/(((-628)/(-12276615))/(2/(-5))). Which is greater: h or 1304?
1304
Let s = 3.996 + 1.194. Let j = 0.19 - s. Let c = -6 - -4. Which is bigger: j or c?
c
Let y be 2 + (-78)/30 + 62/(-5). Let r = -14 + 16. Suppose -5*a + b - 10 = 0, -4*a - 6 = -2*b + r. Is a greater than y?
True
Let l be 1 - -19 - (0 - -1). Let u be (-30)/150*-100 - (7 - 0). Is l less than or equal to u?
False
Let h be (-538)/18*(-9)/6*170. Let f = h + -7728. Let g = f + 104. Which is bigger: -0.6 or g?
-0.6
Suppose -14*b - 10 + 38 = 0. Suppose -1030 = -4*a - b*x, 3*x + 608 + 447 = 4*a. Let w = a + -2597/10. Is w bigger than 2/7?
True
Let u = -134.8 + 137. Suppose -2*j + 3*c = -4*j + 18, -4*c + 13 = -j. Suppose j*m = 5 + 1, 5*m = -4*f + 10. Which is bigger: u or f?
u
Suppose -99 = -3*x - t, -5*x - 2*t = -6*x + 33. Suppose -11*q + 10*q + 1204 = -3*h, -5*q = -h - 5964. Suppose -789 + q = 13*o. Which is smaller: o or x?
o
Let a be (-50)/(-60) + 826/(-696). Let v = a - -3/29. Which is bigger: v or -21?
v
Let t = -3482/7 + 494. Let b be ((-81)/(-18))/((-18)/1176). Let v = b - -292. Is t > v?
False
Let u = -579 + 11005/19. Suppose -4*s + 9*s = 2*b - 1204, -2972 = -5*b + 3*s. Let f = -593 + b. Are f and u equal?
False
Let z = 8577 - 8506. Which is smaller: z or 32?
32
Suppose -3*k - 4*q = 0, -5*k + 76*q = 81*q. Let u = -2718/3121895 + -4/3269. Which is greater: k or u?
k
Suppose -3*u = -0*i - 3*i - 15, 0 = 4*i + 4*u - 4. Let q be 9/15*(29/(-3) - i). Which is bigger: -5 or q?
q
Let i = -145 - -147. Suppose -3*w + i*u = -23 - 9, 4*w = 5*u + 31. Which is smaller: -0.3 or w?
-0.3
Let x(c) = -c**3 + 12*c**2 + 13*c - 14. Let z be x(13). Let h(m) = m**2 + 16*m + 31. Let l be h(z). Suppose -l*d = 2*d - 5. Is d equal to -2/115?
False
Let y = -2971222/41 - -72469. Let n(x) = x. Let o be n(1). Is o < y?
False
Suppose 279623 - 34181 = 57*x. Are x and 4304 nonequal?
True
Suppose -1166 = -5*h + 2*i, 4*h + h - i - 1168 = 0. Let y be 2 + (h/(-230) - 1). Which is smaller: y or -2/3?
-2/3
Let w(p) = p**3 - 17*p**2 - p + 5. Suppose 0 = -2*a + 41 - 7. Let b be w(a). Let t be (-2)/(-4) - ((-66)/b - 4). Which is greater: t or -3/7?
-3/7
Let a be -2 - ((-96)/14)/3. Let u = -0.553 - -0.66. Let b = -0.107 + u. Is a greater than or equal to b?
True
Let q be (-5 + -70 - -2)*(-2)/6. Which is bigger: 1 or q?
q
Let u = -148/3 - -52. Let f = 36 + -45. Is u at most as big as f?
False
Let r = 40 - 41. Let s be 51/9 + r/(-3). Let z be (-3)/(-2)*s/9. Which is greater: z or 4?
4
Let i(q) = -q**3 + 7*q**2 + 6*q - 12. Suppose -4*a - 72 = -0*a. Let n be 4/18 - 140/a. Let k be i(n). Is k bigger than -28?
False
Let z be (3 - -6) + (70 - 320). Which is smaller: -242 or z?
-242
Let t = 19355 + -87426534/4517. Which is bigger: 1 or t?
1
Let y(q) = -11*q - q**2 - 10 - 10 + 2 - 3. Let d be y(-3). Let w be 0 - 7*(d/(-3))/(-1). Is w <= -7?
True
Let h = -4417.9 - -4418. Is h <= 5/142?
False
Let c be 1 - (1 - (-2)/2). Let g be (-2 - -3)*-2 - c. Let n = 2/38831 + 77596/1281423. Which is greater: g or n?
n
Suppose -5*y - 70 = -k, 4*y + 3*k + 0*k = -56. Let j be (-348)/(-42) - (-4)/y. Let b be ((-30)/j)/(15/(-40)). Which is smaller: b or 1?
1
Let d = -14621/10204012 - -4/3757. Which is smaller: d or -1?
-1
Let v = -5794 + 5794.2. Which is smaller: -0.02888 or v?
-0.02888
Let j = -2113/238 - -130/119. Which is bigger: -9 or j?
j
Let g be 1 + -7 - (-2 + 0). Let u = 270 + -130. Let n = u - 145. Is n != g?
True
Let j be 9 - 21 - -2*6/36*6. Which is smaller: -98 or j?
-98
Let t(p) be the first derivative of 5*p**2 + 10*p - 10. Let s be t(-6). Let k be (s/(-15) + -3)/(1/3). Is k greater than or equal to 8/9?
True
Let a be 3/(-6)*(3 + (-21)/(-28)*-4). Which is bigger: -17/151 or a?
a
Suppose -47*y + 101078 = 104180. Is -7 at least as big as y?
True
Let q = -26 + -37. Let r = q - -55.2. Is -1 smaller than r?
False
Let y(r) = 77*r - 493. Let x be y(7). Which is greater: x or 149?
149
Let p = -40 - -43. Suppose -3*d = -6*d - 12, 0 = -p*w - 2*d + 37. Suppose 15 = -0*r + w*r. Which is bigger: 2/123 or r?
r
Let k(x) = -x**2 - 7*x + 7. Let t be k(-8). Let v = 99 - 87. Let p be ((-2)/(-4))/((-22)/v). Is t greater than or equal to p?
False
Suppose 11*r - 70 = 4*r. Suppose -7*q = -5*q - d + r, -5*d - 10 = 0. Suppose -4*o - 2*y - 9 = -3*y, 4*y + 4 = -4*o. Is q bigger than o?
False
Let o be (6/35 + (-12)/20)/23. Let i = 167/322 + o. Which is smaller: i or 7.4?
i
Let o(y) = -3*y + 1. Suppose -2*k - 15 = p - 6*p, 0 = -4*k - 5*p + 45. Let b be o(k). Is -15 equal to b?
False
Suppose 11*n - 8 = 25. Let t be (2/(-10))/(78/30 - n). Is 2 <= t?
False
Suppose 0*z + z + 3*r - 18 = 0, 2*z + r - 16 = 0. Let u be -4 + 72/z + -5. Which is smaller: u or 12?
u
Suppose -4*y + 133 = 3*t - 8*t, t - 5*y + 14 = 0. Which is bigger: t or -259/9?
-259/9
Let c = 351.6111 - 1.2111. Which is smaller: c or -1/2?
-1/2
Suppose -4*s + 9 = 1. Let z be (-1 + -26)/((1 - s)*1). Let j be ((-28)/16 - -2) + z/60. Is j not equal to 1?
True
Let n be (-13)/91 - (-82)/(-14). Let s be (-3)/9*0 + (n - -8). Let t(k) = 7*k**2 - 9*k + 4. Let f be t(s). Which is bigger: 13 or f?
f
Let a be 20*(5 + (-38)/8). Let i be ((2 - 2)*(4 - a))/3. Which is smaller: -1/455 or i?
-1/455
Let s = 4583/19 + -13768/57. Let i = -112 + -220. Are i and s equal?
False
Let g = 0.0161 + -0.2161. Are -663 and g unequal?
True
Suppose 0 = -3*u - 3*i + 138, u = -213*i + 214*i + 52. Is 42 at most u?
True
Suppose 491 - 509 = 18*w. Is -52/231 >= w?
True
Suppose 2*l = 2*t - 13694, 20400 + 136 = 3*t - 2*l. Let h = t + -1361562/199. Which is smaller: 0 or h?
h
Let j(d) = d**3 - 53*d**2 + 149*d + 95. Let c be j(50). Let g be 6/c + 2541/(-495). Which is bigger: g or -34/9?
-34/9
Let k be 36/34 + 0 + -1. Suppose -18 = -y - 2*c, -2*c + 38 = y + y. Suppose 0 = -y*q + 12*q. Do k and q have different values?
True
Suppose 0 = -143*t + 9274 + 3167. Suppose -m + 1 = -8. Suppose 3*l - t = 3*u, -4*u = -u - m. Which is greater: l or 31?
l
Let q = -873/368 - -56/23. Let j be (-4 + 96/21)*7/10. Are q and j equal?
False
Let s be -1 + -1 + 168/(-12) + 10. Let g be s/(-8) - 45279/(-172). Is 1 bigger than g?
False
Let y(k) = 18*k - 111. Let r be y(6). Let l = 84 - 54. Which is bigger: r or l?
l
Let x = 29476 + -29477. Is x < -21/983?
True
Let d be (-4)/(-1) + (-169)/9 + (-44)/1