 x = z + 11. Let i = 15 - x. Which is smaller: i or 0.3?
i
Let q = -20156 + 20182. Let y(k) be the first derivative of 2*k**2 + 2*k + 1. Let x be y(6). Is x greater than q?
False
Let g = -8/803 - -14/73. Suppose p = -0*p. Let y(a) = -a - 1. Let m be y(p). Is g bigger than m?
True
Let h = -53/37 - -85945/60051. Which is greater: h or 1?
1
Let y be (-474)/(-4) + 12/8. Let v be y/(-5)*(-6)/(-8). Let f be (50/v + 3)*-3. Are f and -2 equal?
False
Let w = 1 + 4. Let f = 163/78 + -38/13. Let c = 8/3 - f. Which is greater: c or w?
w
Let g = -2896 - -2791. Which is bigger: g or -423/4?
g
Let u = 36881 + -995657/27. Is 6 at least as big as u?
True
Suppose 2*u - d = 3*u - 39, 4*u - 3*d - 191 = 0. Let k be 0/((-3)/(-2)*u/(-33)). Which is smaller: -5 or k?
-5
Let b = 8995/3 + -2969. Which is smaller: 29 or b?
29
Let x be ((-142532)/74)/(4/(-2)). Let f = -2113 + 3076. Let b = f - x. Which is smaller: 0 or b?
b
Suppose 5*b = -11 + 61. Let z = b + -5. Suppose -9 = -3*y - z*s + 10, 2*y = -4*s + 14. Is 2 bigger than y?
False
Let p(s) = 7*s**3 - 7*s - 4. Let q be p(-2). Let m be q/240 - (-11)/88. Which is smaller: -1 or m?
-1
Let f be (-430)/(-35) + -6 + (-4)/14. Suppose -164 = -2*n + f*n. Does -41 = n?
True
Let i(a) = -a**2 - 8*a - 13. Let r = -35 - -29. Let h be i(r). Are -3 and h unequal?
True
Suppose 812 = -2*u + 6*u. Let t = -1631/8 + u. Which is bigger: -2 or t?
t
Let u = -242 + 164. Does -77 = u?
False
Let s be 4 - ((-4)/(-5) + 726/255). Let f = -3 - -3. Is s less than or equal to f?
False
Suppose -16 + 24 = 4*b + 4*a, 3*a - 9 = 0. Is b >= -1.066?
True
Let y = 0.2 - -15.8. Let q = -6713 - -6713. Which is greater: y or q?
y
Let v = -143 + 105. Is 0 != v?
True
Let w = -69 - -75. Let k = -3 - w. Is k less than 0.3?
True
Let f(v) = 139*v + 1520. Let a be f(-11). Which is greater: -56 or a?
a
Let v(a) = -a**3 - 19*a**2 - 18*a - 1. Let w be v(-18). Suppose 4*k - 21 = 11. Let f be (k/40)/(-1*2). Which is greater: w or f?
f
Let z(i) = i. Let c(u) = -2*u - 1. Let f(v) = -5*c(v) - 6*z(v). Let t be f(-2). Is t greater than or equal to -0.1?
False
Suppose 0 = 4*a - 17 + 5. Suppose a*v - 5*w - 44 = 45, -4*v + 137 = -3*w. Let h = v - 33. Is h smaller than 6?
True
Suppose 2*n + 17*n - 5415 = 0. Which is smaller: n or 283?
283
Let v = 96 + -91. Which is bigger: v or 2/17?
v
Let n = -139 + 95. Let f = n - -25. Which is greater: f or -0.1?
-0.1
Let a be (2/(-12))/((-46)/(-69)). Are 173.9 and a equal?
False
Suppose 0 = 5*b + 6 - 131. Let x = 925 + -902. Which is smaller: x or b?
x
Let t = -16.5 + 4.5. Let m = t - -14. Let n = -1 - -3. Is m >= n?
True
Let o = 22/189 + -2696/13419. Suppose -5*k + 5*u = -15, k - 6 = -0*u + 2*u. Is o bigger than k?
False
Let k be -1 + -2 - (-21)/3. Let w be (7/k)/((-9)/(-12)). Suppose -8 + 29 = 7*g. Which is smaller: g or w?
w
Let f(a) = -14*a - 38. Let s(b) = b - 2. Let k(m) = f(m) + 2*s(m). Let z be k(-5). Is z <= 19?
True
Let w = -7.774 + -0.126. Let u = 7.9 + 0.1. Let r = w + u. Which is smaller: r or -3?
-3
Let x = -49.1 + 33.4. Let t = -16 - x. Let d be (-66)/54 - (-1)/1. Is t greater than d?
False
Let g be (-2 + 50)*((-8)/(-3) - 2). Let z = g - 25. Which is bigger: z or 6?
z
Suppose -3*n + 6 = 4*i, -3*i - 15 = -6*i + 3*n. Do i and -16 have the same value?
False
Let q = 204/5 - 2144/55. Let v = 0.4 + -0.4. Which is greater: q or v?
q
Let s be (-87)/156 + 4/13. Which is smaller: -404 or s?
-404
Let x = 3/887 - -101999/1774. Let u = x - 57. Is u not equal to 0?
True
Suppose 0 = -25*k + 9*k + 16. Is 53 at most as big as k?
False
Let u(v) = -3 - 8*v + 4 + v**3 - 4 - 5*v**2 + 12*v. Let j be u(3). Let d = -11 - j. Which is smaller: d or 5?
d
Let y = -2 - -5. Suppose y*a - 1 = 8*a - 4*h, 0 = -5*h - 5. Which is bigger: 3 or a?
3
Let v be (-1 - -3)*-6*(-5)/(-60). Do -7/17 and v have different values?
True
Let l be 0 - (-1)/(-3)*0. Let w = 7/185 + -771/30155. Is w < l?
False
Suppose -11*h + 8*h + 444 = 0. Let t be (-10)/(-15) - h/6. Let f be (-2)/8 - (-6)/t. Which is greater: -2 or f?
f
Let g be (-3)/((-180)/(-330) + 3/(-5)). Is g < 590/11?
False
Let a = 67 + -64. Suppose 6 + 5 = l + 3*x, x = -a*l + 17. Are l and 5 unequal?
False
Let b = 6 + -5. Let t be (b - -19)/(4 - 3). Let f be 51/(-15) - (-8)/t. Is f bigger than -3?
False
Let k be (-3 + -2 + 1)*-1. Suppose -2 = -3*j + 4. Suppose j*h = -2*h + 3*r - 8, r - 8 = -k*h. Which is smaller: 2/69 or h?
2/69
Let q be (-1624)/(-20)*(232/32 + -6). Is q greater than 102?
False
Let m = -151/49 - -551/147. Suppose 4*f + 8 = -2*h + 3*h, h = 4. Is m greater than f?
True
Let t = -3487 - -3579.94. Let d = 90 - t. Let y = 3 + d. Do y and 0 have the same value?
False
Let d = -173/43537 + 2/221. Let a = 390/38021 - d. Is 1 less than a?
False
Let r = 7682 - 7704. Suppose 52 = -4*t - 3*o - 47, t = 5*o + 4. Is t at least as big as r?
True
Let h(f) = -f**2 + 14*f + 3. Let t be h(14). Suppose 5*n + t*x = 58, 0*n = 3*n - 5*x - 62. Let b be 48/(-70) - (-4)/n. Is -1 at most b?
True
Let p(b) = -98*b + 158. Let m be p(4). Are m and -233 non-equal?
True
Let y be (-39)/108 - (-2 + 2). Let c = -103/36 + y. Let p = -3 - c. Which is greater: 6 or p?
6
Let g(m) = 4*m + 5 - 9 - 6*m. Let w be g(-1). Which is greater: -6/11 or w?
-6/11
Let q = 0 + -7. Let y = q - -7.2. Let t = -4937/21 + 235. Is y <= t?
False
Suppose 13*s = -15 + 80. Is 7 != s?
True
Let n(o) = 0*o - 36 + 3*o**2 + 29 + o**3 - 2*o. Let t be n(-3). Is t equal to -2?
False
Let b be (10/(-7))/(3/(-21)). Let w be (6/16)/(30/b). Are -1 and w equal?
False
Let r = 35 + -35. Suppose r = -4*s + 3 + 101. Is s > 26?
False
Let h be -4 - ((-3)/(-3) - 0). Let s be 14/h + (1 - -2). Let m(v) = v**3 - 5*v**2 - 16*v + 16. Let b be m(7). Is b at most as big as s?
False
Let h = 3.316 - 0.016. Let z = h - 3. Which is smaller: 2/3 or z?
z
Let h be 1 - (-2 + 57/21). Which is smaller: -1 or h?
-1
Let p be (-8)/(-12) + 1/3. Let q be p + -2 + 2 + 0. Is q <= -6/13?
False
Let s be (-675)/(-50)*(-8)/(-6). Suppose 22 - s = 4*z. Which is smaller: -2/73 or z?
-2/73
Let f = -8.96 - -8.96. Is f less than 186?
True
Let h(u) = -5*u**3 - u**2 - u + 1. Let r be ((-32)/48)/((-2)/3). Let s be h(r). Let m be (-9)/(-2)*12/s. Is m greater than -9?
False
Let c = 17.67 - 19. Let z = c + 0.33. Which is bigger: -4 or z?
z
Let a = 789 - 43393/55. Which is smaller: 0 or a?
0
Let h(k) = -3*k + 12. Let f = -9 - -2. Let i be h(f). Is 33 bigger than i?
False
Let v(g) = -3*g + 37. Let q be v(17). Let w = q - -2. Are w and -13 equal?
False
Let s be 1/(-2)*60/(-3). Let c(t) = -9*t - 2*t + 12*t + s. Let x be c(-9). Which is bigger: x or 0?
x
Let l = -0.6096 + 0.0996. Which is greater: l or -4?
l
Let r = 1217 + -1216.8. Is 255 >= r?
True
Let j be (-4 - 237/(-57))*(-1)/3. Is j at least 4?
False
Suppose 0 = -30*v + 34*v + 4*q - 268, 3*q = 3*v - 189. Which is smaller: 67 or v?
v
Let z = 6.84 - -0.16. Let m = z + -5. Let f = -0.6854 + 0.1854. Which is smaller: f or m?
f
Let a = 107 - 748/7. Suppose -3*j + 3 + 3 = o, 2*j - 6 = 0. Let m be 0/8 - (o - -1*2). Do m and a have the same value?
False
Let o be 4*((-36)/(-8) - 0). Let g = o + -11. Let k(b) = b - 6. Let v be k(g). Are v and 2/31 unequal?
True
Let b = 136 - -424. Is b < 559?
False
Let n be 1*(-3 - (0 + -51) - -3). Which is greater: n or 52?
52
Let o = 3 + -4. Suppose -9 = -17*d - 9. Let n be o + d - (-60)/28. Which is smaller: n or 2?
n
Let c be 8/(1/(1 + 18/(-12))). Let p = -71/3 + 61/3. Is p greater than c?
True
Suppose 1 = -j + 5, s - 3*j = -12. Which is smaller: -50/51 or s?
-50/51
Let i = -10 + 1. Let l = -246 + 226.1. Let o = l - -20. Which is smaller: o or i?
i
Let g(f) = f**3 - 7*f**2 - 8*f. Let q be g(8). Which is bigger: q or -4/5?
q
Suppose 4*q - 1129 = 5*d, 5*d - 1445 = -7*q + 2*q. Is 285 at least q?
False
Let h(d) = -d**3 + 6*d**2 + 31*d - 34. Let z be h(9). Let v be (-2)/22 - (-4)/2. Do v and z have different values?
True
Let y be 7 - 2*12/6. Which is smaller: -3/7 or y?
-3/7
Let s = -357 - -20354/57. Is s at most -1?
False
Suppose -3*v + 19 - 4 = 0. Is -17 smaller than v?
True
Let h be (4 + (-4 - (-5)/25))*101. Which is smaller: -2 or h?
-2
Let w = 10 + -6. Let l be (-4)/18 - (-780)/w. Let j = -195 + l. Is 0.2 bigger than j?
True
Let v = -2195/9568 + 5/416. Let k = -122 + 123. Which is smaller: v or k?
v
Let a = -8 + 81. Suppose -4*x - 5*b = -8*x + a, -3*x