14?
-14
Let o = 567 + -599.3. Let j = -32.5 - o. Which is greater: j or 6?
6
Let u = -0.04 - 0.16. Let l = 206 + -4541/22. Is u less than l?
False
Let j be (6 + 73521/(-18))*2/3. Is -2719 < j?
False
Let q = -61 - -69. Let h be (2 - 3)/1 + q/2. Let o be 3/h + (1 - (2 - -24)). Which is smaller: o or -23?
o
Let h = 8417 - 7941. Is h != 2376/5?
True
Suppose 4*u + 12 = 3*j, -2*u - 12 = -5*j + 2*u. Suppose 4 = -w, 3*o - w = -j*o + 7. Which is smaller: 2/653 or o?
2/653
Suppose 37*f = 35*f + 2. Let g be 101/(-404) - (-23)/108. Which is smaller: f or g?
g
Let b = -47.4 + -56. Let l = 7.6 - b. Let f = l + -103. Is f < -4?
False
Suppose k + 0 + 8 = -3*g, 0 = 4*k - g - 7. Let y be 6 - 918/144 - (145/40 - 3). Is y equal to k?
False
Let d be (11054835/670)/11 + (-6)/3. Let z = 1498 - d. Which is smaller: z or 0?
0
Let a = -22422 + 22032. Are a and -385 non-equal?
True
Let j(y) = y**2 - 10*y + 23. Let c be j(3). Suppose 0 = -c*l + 5*a + 331, -4*l - 503 = -7*l + a. Is l at most 169?
True
Suppose 6*q - 45 = 21. Suppose 0 = q*b - 5*b + 48. Let p be 3/b*(-6)/(-153). Which is bigger: 0 or p?
0
Let i = -25170 + 21466. Which is bigger: -3703 or i?
-3703
Let i = 46 + -91. Let y = i - -19. Let m = -52 - y. Which is greater: -27 or m?
m
Let a = 1375/7 + -1196/7. Which is smaller: a or 25?
25
Let y = -39 - -6. Let x = 163/292 + -45/146. Which is smaller: y or x?
y
Suppose 0 = -y + 426 + 784. Let j = y - 156089/129. Let q(r) = -44*r - 132. Let m be q(-3). Which is smaller: j or m?
m
Let i = 489 - 522. Let u be (-524)/14 - i/77. Is u > -36?
False
Suppose -3*r - 1059 - 75 = 0. Let m be (r/(8 + -1))/(-1 - 1). Which is bigger: m or 30?
30
Let l(r) = -r + 43. Let q be l(27). Suppose q*b + 40 = 6*b. Is b <= -27/7?
True
Let x be -4 - -3 - (4/6 - (-3 - -4)). Is x greater than or equal to -65?
True
Let h(t) = -10*t**3 - t**2 - t - 1. Let x be h(-1). Suppose -64*v = 975 - 463. Which is smaller: x or v?
v
Let p = 19857.98907 + -19858. Is 1 less than or equal to p?
False
Suppose -5*y + 3*y = -14. Suppose 3*w - 16 = y*w. Suppose -9*k - 125 = -80. Which is bigger: k or w?
w
Let t = 18 - 15. Suppose 72 = -4*g - 2*c, -g - g = -t*c + 28. Let x be 2 - (1/(-2) + g/(-4)). Is -1 bigger than x?
True
Let j(h) = -2*h**2 - 74*h + 7801. Let l be j(0). Which is bigger: 7800 or l?
l
Let n = -1256 + 2885. Let p = -263897/162 + n. Is p > 0?
True
Let g(b) = -b**3 - 16*b**2 - 66*b - 21. Let a be g(-7). Let y be (-7)/((-1358)/12) + 0. Let d = y - 244/7081. Which is greater: d or a?
d
Let w = 69.91 + -64.7. Let u = 3.21 - w. Is -3.9 at most u?
True
Let q be 31/(3906/28) + (-202)/18. Which is smaller: q or -72/7?
q
Suppose -5*t - 120 = -t. Suppose 5*j - 5*w = 2*j - 33, w + 15 = -3*j. Let n be 1 + 5/j + 34/(-51). Which is smaller: t or n?
t
Suppose 8*c = 85 + 683. Let h be ((-130)/(-6))/(c/72). Which is greater: 16 or h?
h
Let f = 5583 - 5590. Is f greater than or equal to 124?
False
Suppose 299 + 58 = 17*x. Let j(z) = -z**3 + 20*z**2 + 18*z + 58. Let s be j(x). Do s and -17/8 have different values?
True
Let k = -0.2307 - 0.7693. Are k and 3662 unequal?
True
Let c = -9678 - -9680. Which is smaller: 3063 or c?
c
Let y be -1 + 1 - (-1)/6*-6. Let w(n) = -n**2 - 10*n - 9. Let c be w(y). Is c at least 2/19?
False
Let d = 1.02 - 196.02. Let c = 7.53 + -7.43. Which is smaller: c or d?
d
Suppose 3*d - 3*d = d. Let c be (1 - (1 + -1))*(5 - d). Let p(t) = -2*t - 12. Let k be p(c). Is -22 greater than k?
False
Let c = 2127 + -2126.9. Let r = -117 + 355/3. Which is smaller: r or c?
c
Let v = -14.254 - 0.146. Let w = v + -15.5. Let s = 30 + w. Which is greater: -8/17 or s?
s
Let k = 6.99 - 6.79. Let t be 24/7 + (1 - -2) + -7. Is k less than t?
False
Let m be -12*(2 - (-20)/(-8)). Suppose 0 = -m*w + 10 + 14. Suppose 0*l - w*l - 84 = 4*j, 2*l = -4. Are -21 and j nonequal?
True
Let c = -37 + 24. Let a be 2*((-2)/12)/(c/39). Let q be 3/(-9) - 13/(-21). Is a less than or equal to q?
False
Let n be (-97)/19 + 3 - -2. Let g = -89674 - -89689. Which is bigger: g or n?
g
Let h = 8874 + -9083. Is h smaller than -227?
False
Let r = -0.04 - -2.04. Let l = -18888.7 + 18903.9. Which is smaller: r or l?
r
Let c = 0.3 - 0.3. Let n = c + 1. Let l = -33632 + 33645. Which is smaller: l or n?
n
Let d = -290.8591 + 0.0591. Let b = d + 424. Let k = b + -133. Which is smaller: -1.3 or k?
-1.3
Suppose -2*u + 50 = -2*y, -5*y + 3*y - 45 = -u. Let j be y/12 - 541/(-321). Which is smaller: j or 0?
0
Suppose -4*r = r - 90. Suppose 4*l - r = -2*l. Suppose -5*s - l*n + 2*n - 7 = 0, -5*n - 13 = 3*s. Which is greater: s or -2/93?
-2/93
Suppose l + 4*i - 9 = 3, -i = -l + 2. Suppose 0 = m - l*a - 4, 12 - 7 = -4*m - 5*a. Which is bigger: m or 2/9?
2/9
Let h = -14059/2 - -7196. Which is bigger: h or 167?
167
Let p = 67.59 + -1.59. Let g = 12 - p. Let x = g + 57. Is x less than -1.1?
False
Let k be (-36)/15*(-3 - (-92)/30). Suppose 0 = 5*s - 15, 0 = -5*t + 5*s + 427 - 92. Let b = t - 71. Are b and k nonequal?
True
Let j be (-2)/132*4*1. Let t(q) = -q**2 + 0*q**2 - 4*q + 20*q - 53*q + 309. Let c be t(-44). Is j at least as big as c?
False
Let c = 3443/7 - 483. Let m be (-3)/2 + (-228565)/170. Let v = m - -1354. Is c at least as big as v?
True
Let z(u) = -98*u - 58. Let v be z(-7). Let i be -1*(-6)/(24/v). Do i and 157 have different values?
False
Let u be (-2)/15 + (-335)/(-1005). Is u < -1441?
False
Let i be (-1 - -1)/((-60)/(-28) + (-32)/224). Which is greater: 76/53 or i?
76/53
Let f(q) = q**3 + 6*q**2 - 13*q - 29. Let u be f(-7). Let n be -8 + (0 - -3)/(u - 12). Are n and -40/11 non-equal?
True
Suppose -39*l - 25 = -4*d - 44*l, -3*d = 3*l - 15. Let m be (1 - d)*(-323)/68. Let v = 14 + -20. Is v at least as big as m?
False
Let r be (-9)/36 - (-125)/1596. Let v = 5/42 + r. Is 1 greater than v?
True
Let l be (-2)/6 + (-5440)/(-120). Let f = l - 120. Is -76 greater than or equal to f?
False
Let p = 3198 - 3373. Is p smaller than -7?
True
Let v(p) = -6*p + 187. Let n be v(57). Is n != -163?
True
Suppose 3672 = 58*y - 67*y. Let h = y - -312. Is -96 less than h?
False
Let p = -105.155 + 0.155. Let u = 100 - 100. Which is smaller: u or p?
p
Let b = -723 + 736. Let t = -57/5 - -191/15. Which is greater: b or t?
b
Suppose -2*t - 78 = 6*l, -6 = -l + 4*t - 32. Let x be 8/18 + (-19)/((-399)/l). Which is smaller: -0.065 or x?
x
Let y be ((-10)/8)/(935/1300). Let v = 45/17 + y. Suppose 5*q + 7*r = 2*r, -2*q - r + 2 = 0. Which is greater: q or v?
q
Let r be (4 - 20/4)*-17. Suppose 0 = -7*x + r*x - 70. Is 48/7 greater than x?
False
Suppose 4*k = 8*k + 4, -4*k + 61 = -5*r. Let w(s) = -s**3 - 14*s**2 + 8*s + 28. Let g be w(r). Do g and -246 have the same value?
False
Suppose 3*m + 2 + 154 = 0. Suppose 83 - 21 = 31*f. Suppose -4*x = 4, -f*o - 23 = -5*x + 80. Is m equal to o?
False
Let i be 228/115 + (-2)/1. Let p(o) = 3168*o - 3169. Let f be p(1). Which is smaller: i or f?
f
Let h = 222025 - 881669/4. Let y = h - 1618. Let f = 54 + -65. Is y less than f?
False
Suppose 2*c = -4*j + 434, -2*c - 60*j + 57*j = -430. Is c < 1255/6?
True
Let j be (10/(-95) - (-496062)/(-2793))/((-2)/7). Is 621 < j?
True
Let w = -0.073 - -35.073. Let h = w - 27. Let l = 1.914 + 0.086. Which is smaller: h or l?
l
Let w = -52 - -39. Let c = 18 + w. Let r be (-23)/(-30) + (2 - 13/c). Which is smaller: r or 0?
0
Let f be ((-666)/24)/((-2)/168). Which is bigger: f or 2333?
2333
Suppose h + 2*c = 1461, -h + 1489 = -0*h - 5*c. Let x be (h/(-104))/((-15)/4). Let u = x - 4/15. Which is smaller: u or 4?
u
Let j(n) = -45*n - 179. Let l be j(-4). Suppose 0 = -5*y + 4*z - z - l, -7 = -5*y - z. Is -1/59 > y?
False
Suppose -2*s + 178*q - 18 = 183*q, -25 = -5*s + 5*q. Let o = -234 - -967. Let b = -62306/85 + o. Is s > b?
True
Let u = -10441 - -10441. Which is smaller: 41/85 or u?
u
Let p(q) = -29*q - 10. Let r be p(-8). Let j be (-345)/r - 6/(-4). Let l be (-29 + 29)*(-5)/(-10). Is l != j?
True
Let v = -219/101 - -1016227/468438. Which is smaller: -1 or v?
-1
Let o be (-4)/18 + 4270/(-63). Let y(x) = -2*x**2 + 92*x - 158. Let s be y(45). Is o less than or equal to s?
True
Let d = 1650.8 + -1508. Let t = d + -142. Is t > 8?
False
Let j = 2726 + -1503. Which is smaller: 3/4 or j?
3/4
Let b be (30400/456)/(1/(-435)). Does b = -29000?
True
Let j(f) = -11 + 2*f - 8 - 4*f + 5*f. Suppose 5*s = 5*v + 10, 5*v = -4