 4 or n?
4
Let h = -2 - -3. Let d(g) = -3*g + 35. Let v be d(15). Let b be (-15)/v*2/(-12). Which is bigger: h or b?
h
Suppose 2*j = -k + 27, 4*k = -4*j + 53 - 5. Let w = -14 + j. Is w <= 1/19?
False
Let x(w) = -14*w - 237. Let v be x(-16). Are v and -23/2 equal?
False
Let w be (-1148)/(-98) + -1*4/(-14). Which is smaller: 4 or w?
4
Let x be -19 + (-4 - -7 - 2). Let i be (2*3/x)/((-3)/27). Are 3 and i nonequal?
False
Let q = -118649467 + 44137439431/372. Let b = q - -1745/4. Is 1 > b?
True
Let x = -0.0562 - 0.0438. Which is smaller: x or 33?
x
Suppose 118*c - 217 - 19 = 0. Let i = 6 + -5. Are i and c non-equal?
True
Let r = -11/256243 - 100982013/256243. Let j = -394 - r. Which is bigger: j or -1?
j
Let c = 66 - 115. Let v = c - -835/17. Let b(g) = -g**3 + 2*g**2 + 2*g + 2. Let s be b(3). Is v greater than or equal to s?
True
Suppose 735 = 4*o - r, -o - 4*r - r = -189. Let m be 4/54*3 - o/18. Let i = 19 + -28. Which is smaller: i or m?
m
Let n(r) = r**3 - 6*r**2 - r. Suppose -5*d + d = -24. Let u be n(d). Suppose -182*l - 805 = -67*l. Is u at most as big as l?
False
Suppose 42 = -x - y, -15 = x + 2*y + 27. Let l be (x/4)/(-3) + -3. Suppose 0*i = i - 1. Are l and i nonequal?
True
Suppose 4*z - 5*x = -7, z + 4*z + 5*x + 65 = 0. Which is bigger: -15 or z?
z
Let n(z) = -z + 8. Let d be n(4). Suppose -d*g + 12 = -3*b, 4*g + 4*b = -12 - 4. Let r = -7/6 - -1. Is g at most as big as r?
False
Let l = 793 + -3977/5. Which is greater: l or -2?
-2
Let f be 2/8 + 87/4. Suppose 4*r = 0, -4*b - 5*r - f = -6. Let u(l) = -l**2 - 3*l - 3. Let k be u(b). Which is bigger: -8 or k?
k
Suppose p - 5*p + 5*t + 15 = 0, 0 = 4*t + 12. Is 6/35 != p?
True
Let n = -52.13 - -52. Let x = 0.13 + n. Do x and -3/7 have the same value?
False
Let m = -24 + 21. Let v = m + 8/3. Let s be (-4)/((-2*1)/(-2)). Are v and s unequal?
True
Let w(k) = -k**2 + 28*k + 26. Let h be w(29). Is h less than 32?
True
Let g = -17 - -25. Suppose -x = -3*v - g, 4 + 16 = -3*x - 2*v. Let u = 0.2399 - 0.0399. Which is smaller: u or x?
x
Let v(x) = 2*x - 20. Let k be v(11). Let h be k/(-72) + (-19)/(-76). Is h greater than -1?
True
Let y be 0 - -8*2/(-4). Let t be 17943/189 - y/(-18). Let s = t + -95. Are 4/5 and s equal?
False
Let i = -1192/7 + 461290/2709. Which is smaller: i or 0?
i
Let h(o) = o**3 - 11*o**2 + 36*o - 14. Let l be h(8). Is 82 < l?
False
Suppose 0 = -21*x + 2 - 23. Which is bigger: 3/176 or x?
3/176
Suppose -6*d = -4*d - 16. Suppose -d*q = -1 - 15. Suppose 0 = -4*u - 0*u + 12. Are u and q equal?
False
Let r = 58 - 52. Suppose -36 = -0*c + r*c. Which is greater: -4 or c?
-4
Suppose 0 = -2*x + 3*x - 5*t - 153, -649 = -5*x - 4*t. Which is bigger: x or 132?
x
Let v = -13.44 + 13.44. Which is greater: 2/227 or v?
2/227
Let y(q) = -q**2 + 2*q. Let u be y(4). Let f be (1/2)/(u/(-48)*15). Which is greater: 8 or f?
8
Let d be (-2)/(2/(-13 - -5)). Suppose 0 = -2*c - 6, 5*q - 20 = -2*c + 9. Is q greater than or equal to d?
False
Let t = 1.386 + -65.486. Let x = 64 + t. Does -2 = x?
False
Let f be ((-1)/(-2))/(26/(-52)). Let m be (f/4 - (-7)/28)/(-3). Is m > 1/28?
False
Let d = 1226 - 13446/11. Which is greater: d or 5?
5
Let w = -0.32 - 9.18. Let m = w - -13.5. Is m less than 0?
False
Let b = -30 + 30. Suppose 16*r - 21*r = b. Which is smaller: r or 2/55?
r
Let x = 315 - 292.1. Which is smaller: 3/4 or x?
3/4
Let i = 107.11 - -0.89. Let t = 109 - i. Is t less than or equal to 3/5?
False
Suppose 78*l - 57*l = -21. Which is greater: l or -29/13?
l
Let w = -30 + 19. Let x = w + 16. Does 4 = x?
False
Let p be -2*(-1 - (-3)/(-2)). Suppose -p*l + 2 = -4*k, l - 5*l - 17 = 3*k. Let b be (-1)/k - (-2)/3. Are 0 and b nonequal?
True
Let z = -0.07 + 0.93. Let x = z - -0.14. Is -0.2 >= x?
False
Let u = 980 - 1105. Which is smaller: -121 or u?
u
Let u = -14/69 + 296/2139. Suppose 38 = 4*m + 2*s, 4*m - 3*s - 3 = 20. Let i(k) = -k + 7. Let v be i(m). Which is bigger: v or u?
u
Let y = -2 - 1. Let t = 37069/7 - 5298. Is y at most t?
True
Suppose 76 = -2*d - 8. Let h be 7/d + 25/(-66). Which is greater: 0 or h?
0
Let z(c) = c + 15. Let l be z(-19). Let h be (-4 - -1) + (-8 - l). Which is bigger: h or -12?
h
Let u = 15.1 - 14.7. Let c = 3.07 + -0.07. Is u less than c?
True
Let w = 3042 + -2983. Which is smaller: w or 8?
8
Let p(c) = 13*c**2 - 45*c + 43. Let j be p(2). Let y = 5.7 + -6. Is j greater than or equal to y?
True
Let p = -42 - 7. Let q = 29 + p. Let r = q + 20.1. Which is bigger: -2/3 or r?
r
Let n = 392/83 + -77453/249. Let g = n - -311. Is g <= 5?
True
Let f = -923 + 633. Which is smaller: -293 or f?
-293
Let n = -12946151/27 - -479153. Let a = -334 - n. Is a greater than 1?
False
Let r be (2/1)/(6462/27). Which is smaller: r or -1?
-1
Let v = 2 + -3. Let c = -334 - -332. Is c at least as big as v?
False
Let n = 0.9519 - -0.2121. Is 1 greater than n?
False
Let c(h) be the first derivative of h**2/2 + 4*h + 2. Let a be c(-4). Suppose 3*g - 3 = 3*m, 4*m + 2*g = -0*m + 14. Which is bigger: m or a?
m
Let q be ((-2)/(-36))/(5/246). Is 3 at most as big as q?
False
Let c(l) = 3*l - 6. Let b be c(6). Let q(m) = m**2 - 4*m - 6. Let i be q(7). Let x = b - i. Which is smaller: -2 or x?
x
Let x = -3 + 5. Suppose -t - x*t + 4*m = -119, -3*m = -2*t + 81. Let d = t + -42. Is d at least -5?
False
Suppose 0 = 18*o - 152 - 370. Is 3 less than o?
True
Let w(b) = 1 - b + 15*b**2 + b - 2*b. Let y be w(1). Suppose 3 = y*c - 11*c. Which is bigger: c or -7?
c
Let d = -52 - -50. Let b = 0 + -1. Which is smaller: b or d?
d
Let r = -9.3 + 9. Let v = 184.2 + -185. Is r at least as big as v?
True
Let z(s) = -s - 1. Let c(l) = -4*l - 1. Let f(h) = -c(h) + 5*z(h). Let p be f(-10). Let n(b) = -b**2 + 8*b - 7. Let i be n(6). Are p and i non-equal?
True
Let x = -1.085 - -1.085. Which is bigger: -32.4 or x?
x
Let q(u) = -5*u - 29. Let d be q(-16). Let i = d + -76. Are i and -24 non-equal?
True
Let m(i) = -i**2 + 27*i + 601. Let q be m(49). Do q and -474 have the same value?
False
Let i = -406 - -240. Is i less than -167?
False
Let l = -19 - -19. Let k(c) = -2*c**2. Let j be k(l). Is -3 at most as big as j?
True
Suppose -l - 154 + 46 = -f, 5*f = 3*l + 550. Are 113 and f unequal?
False
Let q = -0.0493 - -4.9593. Let o = q + -5. Let t = -0.11 + o. Is t less than or equal to 2?
True
Suppose -2*l - l + 6 = 0. Suppose -5*p - l + 22 = 0. Let i be 4/(-16) + 1/p. Which is greater: -2/51 or i?
i
Suppose 33 = 4*p + 17. Which is greater: p or 88/17?
88/17
Let a be (-1)/(-2)*(0 + 0). Let f = -48 - -46. Let u be (3 - (-3)/f)*(-15)/36. Which is smaller: a or u?
u
Let b = 10523.04 - 9760. Let y = 792 - b. Let w = 29 - y. Which is smaller: -1 or w?
-1
Let j = -0.42 + 0. Let z = j + 0.52. Which is bigger: z or -47?
z
Let a = -2720 - -5439/2. Is a greater than or equal to -14/67?
False
Let z(f) = -f + 1. Let g be z(-2). Suppose 4*y - 68 = k, -2*y - k = g*k - 16. Which is smaller: 17 or y?
y
Suppose 3*i - 3*j + 9 = 0, 4*j - j = -3*i + 9. Is i at least -2/953?
True
Let f = -0.34 - 87.66. Let g = -88 - f. Is -11 <= g?
True
Let l be 1 + -2 + 144 + -2 + 2. Are l and 144 equal?
False
Let l = 116/11 - 14467/1375. Is l equal to -1?
False
Let j be (-2)/(-2) + (168/76)/(-2). Are 2/7 and j non-equal?
True
Let q be 3*4/(-36)*-3. Let y be 0/9 - (q + -53). Is 52 >= y?
True
Let c be 1 + 0 - 34/(-24). Let v = 76/15 + -12/5. Let x = v - c. Is x >= -0.2?
True
Let s(a) = a + 20. Let b be s(-17). Suppose -4*g - 4 = -12. Let h = g + b. Is 6 bigger than h?
True
Let z = 115598/17 - 6798. Which is smaller: z or 2?
z
Suppose y = 2*y - 5*l - 28, l = 2*y - 38. Let f = y + -17. Which is greater: f or 1/6?
f
Let b = 207.901 - 208. Let q = b - 0.001. Which is bigger: q or 8?
8
Let y(u) = -2*u + 10. Let k be y(-4). Which is smaller: 19 or k?
k
Let s = -0.29 + 21.29. Let j = 21 - s. Let f = -1.1 + 1. Is j at least f?
True
Let m = 29 - 24. Suppose -z = -6*z + 5, -3*f = m*z - 2. Which is greater: f or -6?
f
Let y(m) = m**3 - 17*m**2 + 41*m - 164. Let i be y(15). Are -2/425 and i non-equal?
True
Let j be (-4)/50 + 620/(-1000). Let g(d) = -2*d + 4. Let l be g(3). Which is bigger: j or l?
j
Let b(u) = -u**3 - 3*u**2 - u + 1. Let k be b(-2). Let m(g) = g**3 + 9*g**2 + 15*g + 5. Let n be m(-7). Let s be -2 - ((-410)/150 + n/(-5)). Is s <= k?
False
Let s be 3/3 - 3 - 3. Suppose -2*k = -k + 2