-14) + 253/(-30). Is -3 at least n?
True
Let l = 0 - -1. Let n be (-1 + 2)*-12 - (-2 - -4). Let h be l + 1 + 32/n. Which is bigger: 0 or h?
0
Suppose -5*n = 3*f + 1375, f - 11*n + 481 = -7*n. Do -466 and f have the same value?
False
Let b be (130/(-45) - -3)*6*213. Suppose 14*t + 12 + b = 0. Which is greater: -12 or t?
t
Suppose 2*d - d = -3*l - 10, -2*d - 10 = 4*l. Let p(c) = -5*c - 4*c**2 - 4 + c**3 + 2*c**3 - 2*c**3. Let f be p(d). Is f bigger than -13/4?
False
Let c be (-60)/(-112) - (-2)/(-7). Which is bigger: 0.021 or c?
c
Suppose 0 = 22*o - 16*o + 12. Does o = -34/15?
False
Let w be (-912)/120 + 6/10. Is w at most -42/5?
False
Let r = 1891/15 - 126. Let i(g) = g**3 + 5*g**2 - 5*g + 5. Let f be i(-6). Which is bigger: f or r?
r
Suppose 4 = 3*i + 1. Let c be 0 + 2*(-4 + 1). Let r be (-3)/4 - c/(-24). Which is greater: r or i?
i
Suppose -898 = 3*u + 23. Which is bigger: -306 or u?
-306
Suppose -6 = -2*j + 2. Suppose j*h + 3 + 5 = -4*b, 0 = 4*b + 3*h + 5. Suppose 0 = 3*x - 2*x + 2. Which is smaller: b or x?
x
Let p = -5 + -1. Let d be ((-57)/38)/((-15)/4). Are p and d unequal?
True
Let i = -958 - -1105. Are i and 150 equal?
False
Let i = -111 - -124. Let a be 26/i + -1 + -1. Which is greater: a or -3/29?
a
Let b(n) = -2*n**2 - 11*n + 5. Let p be b(-5). Let g be (1/p)/((-2)/(-15)). Which is smaller: g or -3/5?
-3/5
Suppose -20 = -g - 28. Do g and -55/7 have different values?
True
Let h(w) = -w**3 - 12*w**2 + 2*w - 11. Let b be h(-12). Let l = b + -10. Is -45 smaller than l?
False
Let i = -2 - -11. Let l = i - -3. Let t = -1 + l. Is t not equal to 0?
True
Let l = -28 - -32.9. Let s = 5.6 - l. Is -1 greater than s?
False
Let j(i) be the second derivative of 3*i**4/4 + i**3/3 - i**2/2 - 7*i. Let y be j(-2). Let n = y - 22. Is 9 != n?
False
Let v = 16 + -9. Let k(u) = -u**3 - 6*u**2 + 4*u + 28. Let f be k(-6). Suppose 0*q + q + 5*b - 9 = 0, f*q - 3*b = 13. Does v = q?
False
Let j be 2*(-1)/(-6) - 26/6. Let f(m) = -m**2 - 6*m - 5. Let q be f(j). Which is greater: -5 or q?
q
Let x(p) = -p**2 - 5*p. Let c be x(-4). Suppose c*f + 4*k + 8 = 0, 2*k - 8 = -2*f + 4*f. Which is greater: f or -8?
f
Let a(c) = 1 - c**2 + 2 - 3*c + 2*c + 3. Let w = -1 - -1. Let h be a(w). Which is smaller: h or 8?
h
Let a be (640/(-240))/(4/6). Is a at most as big as 1.34?
True
Let p = 11.9 + -58.9. Let v = -31 - p. Let u = v - 15.93. Is -1 less than or equal to u?
True
Let d = 285 - 287. Is -6.34 at most d?
True
Suppose 0 = -0*m + 4*m + 4. Suppose -5*q + 965 = 5*o, 986 = 3*q + 2*q - 2*o. Let d be (-2)/8 + (-175)/q. Is d >= m?
False
Let j = -0.11 - 13.89. Let r = j - -23. Let x = 8.8 - r. Are x and 3 unequal?
True
Let m = -0.076 + 0.0661. Which is bigger: m or 0?
0
Let t = -135.9 - -123.9. Which is smaller: t or -1?
t
Let p = -35 + 39. Suppose m + 2*w = -p - 3, -11 = -m + 4*w. Which is greater: m or -1/3?
-1/3
Let l = 562 - 561. Are l and -1/486 non-equal?
True
Let i = 67.1 + -65.1. Which is smaller: i or 423?
i
Let p(d) = d**3 - d**2 - 9*d + 13. Let k be p(2). Which is greater: -2/175 or k?
-2/175
Suppose 0*l - 4*l = -v + 87, -3*l - 74 = v. Is -28 at least l?
False
Let n be (33/(-44))/(20/(-16)). Which is bigger: 26 or n?
26
Suppose 3*m + 4 = 7*m. Let w be -2 + (m - 1) + 10 + -10. Which is greater: w or -9/4?
w
Suppose -u = -6*u - h + 2, 3*h - 6 = 3*u. Suppose j - 40 = 9*j. Let z be (2 - (6 + j)) + (-11)/13. Which is smaller: z or u?
u
Let b(h) = -8*h + 25. Let q be b(3). Is q less than 23?
True
Let r be 1/(1 - 3/9*0). Suppose 2 = -3*s - r. Is -2/29 less than s?
False
Suppose -4*l + 8*d - 5*d - 5 = 0, -l + 2*d - 5 = 0. Which is smaller: l or -2/97?
-2/97
Let t = -2.72 - -1.93. Let c = -0.8 - t. Are c and 0 nonequal?
True
Let n = 8.26 + -86.26. Which is smaller: n or 1?
n
Let j = -114 + 30. Let o = j + 85. Which is smaller: 3/7 or o?
3/7
Let t = -3.472 + 2.472. Let c be (673*3)/(21/(-2)). Let k = -192 - c. Is t less than or equal to k?
True
Suppose 10 = 6*u - u. Let s be (-1)/(u/((-2)/1)). Is 4/35 greater than s?
False
Let k be -2 + (-6)/(8856/5523). Let p = k - 1/123. Do p and -7 have the same value?
False
Let u be -5*-1*4/2. Let v be (-10)/3*(-12)/u. Is 6 greater than v?
True
Let f be (5/(-3))/((-5)/(-15))*-1. Let b be 1/f*50/30. Which is bigger: b or -21/5?
b
Let y = 193.8 + -194. Let f = -0.97 - -1. Is y < f?
True
Let h(d) = -d + 18. Let k be h(6). Suppose -g + 17 = a, -5*a - 5 = -g + k. Which is greater: -1 or g?
g
Suppose -3*n + 24 = 3*n. Let h(d) = 6*d - 8. Let g be h(2). Is n greater than g?
False
Let c = 13 + -5. Let k(o) = o - 11. Let g be k(c). Let v be (16/56)/(5/(-35)). Which is bigger: g or v?
v
Let l = 324 + -330. Is l at least as big as -24?
True
Let h = 41 - 40. Suppose -3*f = -15, -p - 3*f = -2*f - 8. Let g be h/p + (-3)/3. Which is smaller: g or 0?
g
Let v be (-3)/2*(0 - -82). Let c = 47 - 131. Let i be 2/7 + v/c. Is i smaller than 3?
True
Let x(n) = -n**3 + 3*n + 2. Let j be (-16)/(-9) + (-10)/(-45). Let w be x(j). Let m = -106 - -421/4. Which is greater: m or w?
w
Let b = -2/2505 - 237953/27555. Which is bigger: b or -9?
b
Suppose 5*t = -3*h + 23, 0*t + 2*h = -4*t + 18. Suppose -5*r = -t*r + 4. Suppose -1 = -2*j - 5. Is r < j?
True
Let l be (-2)/3*45/(-84). Let i = l + -17/42. Let u be (-5)/4*(-8)/(-40)*2. Which is smaller: i or u?
u
Suppose 5*w + 5 = 0, 5*y - 18 = 4*y + 2*w. Let o be (-1 + -4)*(-48)/y. Which is greater: 18 or o?
18
Suppose -f + 0 + 2 = 0. Suppose -2*p = 4*m - 3*p - 50, 2*m + p - 22 = 0. Suppose -r + m = 3*r. Is f <= r?
True
Let t(d) = 5*d + 10. Let g(k) = -3*k - 7. Let q(z) = 7*g(z) + 5*t(z). Let i(x) = -x + 1. Let f be i(3). Let v be q(f). Which is smaller: -5 or v?
v
Let h = 35 - 29. Let f be (-8)/24 - (-64)/(-6). Let q be (6/(-8))/(f/44). Are q and h non-equal?
True
Let y = 3.7 + 0.3. Let f = -3.8 + y. Let m = -6 - -10. Which is smaller: f or m?
f
Suppose -3*b = 3*f - 2*f + 218, -f = b + 226. Suppose -2*y = -y + 66. Let t be y/f + (-5)/25. Does -1 = t?
False
Let w be (-2)/4*(352/48 - 8). Is w not equal to -2/1257?
True
Let q be (0 - 3)/(-5 + -1 - -3). Let j = -14107/16 - -882. Are j and q unequal?
True
Let k be 2/3 - (-2616)/(-36). Let n be 302/(-18) - (-16)/k. Let r be (-4)/4 + 3/3. Which is bigger: r or n?
r
Let n = -334.2 + 334. Which is bigger: 1/41 or n?
1/41
Suppose 146*g = 161*g + 15. Which is bigger: -11 or g?
g
Suppose -2*i - 1 = 17. Let t = -8 - i. Let g be (t/(-4))/((-12)/32). Which is smaller: g or 2?
g
Suppose 0 = 6*i - 462 - 456. Which is smaller: i or 303/2?
303/2
Let x = -19514/9 + 2164. Is 1 != x?
True
Suppose 0 = 57*k - 55*k + 4. Is -30/19 at most as big as k?
False
Let y(b) = -b**3 - 7*b**2 - 6*b - 1. Let f(v) = 11*v**3 + 1. Let i be f(1). Suppose 0*x - i = 2*x. Let k be y(x). Which is bigger: 0 or k?
0
Suppose -y + 5*y - 8 = 0. Let t be y + (12/68)/((-2)/24). Are t and 1 nonequal?
True
Let d = 81 - 95. Let f = -44 + d. Which is bigger: f or -59?
f
Let k(t) = -t + 2. Let j be k(-3). Suppose 13 = j*b - 7. Let g = b + -4. Is 24 bigger than g?
True
Let m be ((-66)/12 + 4)*(-148)/6. Do 37 and m have different values?
False
Let b = -19.9 - -20. Let i = b - -0.5. Let m = i - 1.2. Is 0 at least as big as m?
True
Suppose -z + 11 = 2*r, 2*z = r + 4 + 3. Suppose -z*g + 2 = i, -5*g - 3 = -i - 1. Is g < -7?
False
Suppose -5*i + 2*m - 95 = 7*m, -3*i - 82 = -2*m. Let b be 105/2376*3 - (-4)/i. Which is smaller: 1 or b?
b
Let b = 57.1 - 55. Let t = b - 2.3. Which is greater: 2/17 or t?
2/17
Let a = 194 + -198. Which is smaller: -2/17 or a?
a
Let l = -37 + 4. Let o = l + 100/3. Let s = 5 + -4. Is s less than o?
False
Suppose -3*o - 47 + 68 = 0. Which is smaller: 20/3 or o?
20/3
Suppose d + 4*l - 52 - 30 = 0, -37 = -d + 5*l. Is d not equal to 52?
True
Let y = -0.1 + 0. Let d = 24431/70 + -349. Is d >= y?
True
Let c = -1.82 + 1.32. Which is greater: c or -1/11?
-1/11
Let i = -282 + 284. Is 4/3 less than i?
True
Suppose z = -6 - 5. Let b = 213.1 + -213. Which is smaller: z or b?
z
Let g = -3 + 3.09. Let c = 1.1 - 0.1. Which is greater: g or c?
c
Let n(g) = -g**3 + 21*g**2 - 18*g + 30. Let m be n(20). Let l = m - 74. Let o(u) = -u + 5. Let r be o(5). Are r and l nonequal?
True
Let g(u) = -u**2 + 8*u - 9. Let p be g(6). Suppose -2 = -3*z - 5. Which is smaller: z or p?
z
Let j be -29 + 30 + 2*(-148)/294. Is j != -1?
True
Let a = -2