to v?
False
Let p(m) be the first derivative of m**2 + 32*m + 22. Let d be p(-21). Let i(t) = 6*t + 3. Let z be i(-2). Which is smaller: d or z?
d
Let a = 4 + -1. Suppose -2*o = -3 - a. Suppose -6*r + 25 = -r. Is r less than o?
False
Let x = 3/310 + 121/310. Which is smaller: x or -243?
-243
Suppose -4*r + 301 - 61 = 0. Let b be 4 - ((-106)/r)/((-1)/2). Is 1 less than b?
False
Suppose -5*h - g = g - 30, -g + 30 = 5*h. Suppose h*u - u + 100 = 0. Are -19 and u equal?
False
Let a = 419 + -418.9. Is a at least as big as -35/3?
True
Let t be (3/(75/2))/(144/(-1390)). Let s = t + 11/20. Which is smaller: -1/8 or s?
s
Let v(g) = 12*g - 7. Let s be v(6). Which is smaller: s or 66?
s
Let b = 231.2 - 202.2. Which is bigger: b or 1?
b
Let y = -16 - 38. Let o be (-150)/y + (-4)/(-18). Is o at most 3?
True
Suppose -2*a + 0*a = 12. Let u be 2*21/a*-1. Let q be 32/(-112) + (-89)/u. Which is smaller: -12 or q?
q
Suppose 165 = 5*s - 165. Suppose -2*f = 12 - s. Let w = -77/3 + f. Is w less than 1?
False
Suppose 79 = -13*a + 105. Is -21 smaller than a?
True
Let i be 2/(-3)*1*-3. Suppose -3*p - 4 = -0*y - 2*y, -3*p - 8 = i*y. Are -3/2 and y non-equal?
True
Let i be (-323)/19 - (-12 + 1). Which is greater: -21 or i?
i
Let v(t) = t**3 + 8*t**2 + 9*t. Let s be v(-3). Which is smaller: s or 210/11?
s
Let q = 1/13 + -16/39. Let p = -0.05 - -9.05. Let t = p - 19. Which is greater: t or q?
q
Let b be (1 - 1)/(1 - 0). Let k = -50 + 30. Let s be (-5)/k + 57/(-132). Which is smaller: s or b?
s
Let j = 9.85 + -9.56. Which is smaller: -0.5 or j?
-0.5
Let o(r) = -5*r - 22. Let y(m) = -6*m - 23. Let h(a) = -7*o(a) + 6*y(a). Let p be h(8). Is 1/4 less than or equal to p?
True
Let t(h) = -h**3 - 12*h**2 - 10*h + 17. Let r be t(-11). Suppose 7*k = k - r. Does k = -30/13?
False
Let r = -11 + 10. Let t = -5.8 - -3.2. Let q = t - -3. Is q smaller than r?
False
Let p = -154 + 138. Is p != -16?
False
Suppose 0*o + c = o + 1, 3*o - 5*c + 9 = 0. Suppose -y + 4 = o*h - 0, 4*h - 20 = 0. Which is greater: 2 or y?
2
Let d = -319/126 - -10229/1386. Let z = 112/11 - d. Is 4 at least as big as z?
False
Suppose -9*d + 108 + 54 = 0. Which is greater: 19 or d?
19
Let j be (-1)/(-5 + (-121)/(-24)). Let b(s) = s**2 - 13*s - 25. Let k be b(13). Is k >= j?
False
Let z(x) = x**3 + 4*x**2 - 9*x - 8. Let h be z(-5). Let q be (-14)/h - 0/(-17). Is -2 >= q?
False
Let k = 2.1 - 2. Let h = -1.549 + 1.669. Is k less than h?
True
Let w be 17*(-3 - -2)*-1. Let f = 39 - w. Let i = -21 + f. Which is bigger: i or 4/11?
i
Let i = -0.1849 + 0.1849. Which is smaller: i or -2.7?
-2.7
Let o be 4/287*(-1)/2. Let f = 12/41 + o. Let n = -896 + 901. Which is smaller: f or n?
f
Let p be 1 - (-2)/((-40)/22). Let w(s) = -s + 5. Suppose 0 = -4*u + 29 - 5. Let v be w(u). Is v <= p?
True
Let t be (-1)/4 - 8/((-64)/234). Let q = -30 + t. Which is smaller: q or 0?
q
Let x(j) = -5*j + 3. Let c be x(3). Let a be 2/10 + 594/55. Let t = c + a. Is t greater than or equal to 0?
False
Let s = -39 - -39. Which is smaller: 7/6 or s?
s
Let f be (3*-1)/(21/(-7)). Let x be (0 - 1/f)*-3. Suppose -x*w - 12 = -0. Are w and -4 unequal?
False
Let k(m) = 10*m + 5. Let l be k(5). Suppose -y = -l + 167. Let s be 18/y - 4/(-14). Which is bigger: s or -1?
s
Let z(y) = -y**2 - 17*y + 10. Suppose c + 28 = -c. Let b be z(c). Suppose 0 = 3*m + 2*a + b, 3*m + 5*a + 49 = -0. Is -19 not equal to m?
True
Let p(o) = 11*o + o**3 - 9*o**2 - 15 + 25 - 20. Let x be p(8). Which is smaller: x or 15?
x
Let u(h) = h**2 + 15*h - 19. Let p be u(-13). Let y be (-2)/3*(-3 + p/(-10)). Is y > -2/281?
False
Suppose -4*f + 3 = -45. Suppose -u + 5*w = 15, -u + 0*u + 4*w = f. Let d be (2 - u)*2 - -3. Which is smaller: d or 6?
6
Let p = -87 + -245. Is 1/4 > p?
True
Let v be 1*(2 + -1)*2 + 9. Suppose -v*s - 855 = -151. Is s bigger than -64?
False
Suppose -108*i + 105*i + 51 = 0. Which is bigger: 16 or i?
i
Let a(z) = -z**2 + z. Let g be a(3). Let t be g/15*(-5)/(-1). Let i be (t + 5)/(-3) + 1. Which is greater: i or 3/8?
3/8
Let f = -69 + 80. Which is smaller: 14 or f?
f
Let q be ((-2)/(-4))/((-5)/10). Let x be q/(-4) - 27/(-4). Suppose 3*i - x*i = -12. Is -4/3 less than i?
True
Let b = 25.53 - 6.53. Is b smaller than 1/4?
False
Suppose o + 1 = 2*o. Suppose q + m + 4 = 2*q, -4*q - 14 = 2*m. Let z be 3/(-27)*q/(26/12). Is o bigger than z?
True
Let j = -3203/3 - -1066. Is j at most -3?
False
Let j(i) = -i**3 + i + 5. Let z be j(0). Suppose 1 + 14 = z*c. Is 8/3 > c?
False
Let m = -869/5887 + 4/841. Suppose 0 = -4*f - 3*w + 7, -1 + 4 = 4*f - w. Is m at most f?
True
Let b = -3.95 - 0.05. Let h be (-2)/14 - (-896)/784. Is b at least as big as h?
False
Let l(j) = 4*j + 7. Let d(w) = -11*w - 22. Let o(z) = -6*d(z) - 17*l(z). Let i be o(0). Let c be (-10 + i)/(3/(-2)). Which is smaller: c or -3?
-3
Let f = -61 - -173. Are f and 1 unequal?
True
Let h = -1328 + 1354. Let u = 41/5 - 43/5. Is u bigger than h?
False
Let y(c) = c**3 - 4*c**2 + 2. Let s be y(4). Let t(p) = p**2 - 8*p + 1. Let v be t(7). Let d be (v/(-42))/(-2 - (-48)/21). Is s at least as big as d?
True
Suppose -237 = -11*w + 907. Let y be (w/78)/((-2)/3). Suppose d = -3*d. Which is smaller: d or y?
y
Let o be (12/126)/(10/3). Let w = 38/105 - o. Let t = -4 + -2. Which is bigger: w or t?
w
Let o be 14/(-77) + (-10512)/(-462). Which is smaller: o or 24?
o
Let k = -5.55 + 5.43. Which is greater: 17 or k?
17
Let l = 807 - 16952/21. Let k = l - -106/357. Which is bigger: 0 or k?
k
Let r = 225 - 224. Which is smaller: -3/145 or r?
-3/145
Let x = -73/57 - -1753/1349. Is x at most 0?
False
Let z be -4 + -158*((-3)/12 + 0). Let p = z + -35. Are 15 and p unequal?
True
Let x be -5*4*(-2)/8. Suppose -4 + 2 = -2*v - 4*a, 3*v = -x*a + 2. Is v at most as big as 4/19?
True
Let a = -15.906 + 16. Let f = a + 0.006. Is 0.02 bigger than f?
False
Suppose -q + 264 = 4*m, 3*q + m = 4*m + 717. Suppose q = -4*a - 72. Let g = a - -555/7. Which is bigger: -3 or g?
g
Let v be (342/(-10))/((-171)/570). Does v = 112?
False
Let l = 10.03 - -0.97. Let a = -33/2 - -101/6. Is a not equal to l?
True
Let i(y) = -y**3 + 10*y**2 - 16*y - 1. Let s be i(8). Let c be (s/((-15)/66))/((-2)/10). Does c = -20?
False
Let f be (18/(-12))/((-3)/8). Let b(t) = -t**3 + 3*t**2 + 2*t + 3. Let z be b(f). Let y = z - -17. Which is smaller: y or 11?
11
Let t = -969 - -966. Is t > 74?
False
Suppose 0*i - 3*i - 449 = 5*h, 0 = -4*i - 5*h - 597. Let p = 22 + i. Let n be p/476*2/(-3). Which is bigger: 0 or n?
n
Let m be -1 - (3 - -1 - 4). Is -2/703 greater than m?
True
Suppose 0 = -2*i + 4*i - 4, -20 = 4*v - 2*i. Let z be 18*(-1)/v + -1. Suppose 39 + 96 = 27*x. Which is smaller: z or x?
z
Let z(d) = -d - 27. Let n be z(-12). Let w = n - -16. Is w at most 7/6?
True
Let n = 18 - 2. Are 15 and n non-equal?
True
Suppose 2 = 2*z, 3*f + 2*z - 42 = f. Let r be (-3)/9 - (-10)/3. Let n be (2 - r)*(1 - 22). Are n and f unequal?
True
Let g = -0.033 - 1.767. Let d = g + 0.6. Suppose 0 = -w + 2*w. Is w greater than or equal to d?
True
Let a = -153 - -185. Let h be (-3)/4 + (-516)/(-16). Is h at most as big as a?
True
Let y = -1 + -26. Let c be (-6)/y + (-23920)/396. Let r = -60 - c. Is r != -1?
True
Let g = 28506 + -228405/8. Which is bigger: -46 or g?
g
Let s be 6/8 - 1/(-4). Suppose -o - 3 - s = 0. Let n be o + 4 - (2 - 0). Do -1 and n have different values?
True
Let o be (1 - 6/(-3)) + 0. Let m be 36/(-8)*(-2)/o. Let w(h) = -h**2 + 4*h - 4. Let p be w(m). Is -6 less than p?
True
Let g be 9 + -4 - (-48993)/(-70). Let y = g - -694. Are y and -1 unequal?
True
Let r(a) = 2*a + 36. Let z be r(-21). Do z and -7 have the same value?
False
Suppose -v - 6 = 4*w, 2*w + 4 = 4*w - 3*v. Does w = 2/379?
False
Suppose 8 = -2*g + 3*i - 13, -2*i + 22 = -2*g. Let l be 14 + g/(-4) + -5. Are l and 12 nonequal?
False
Let d = 125 + -129. Let y be d/(-1 - -3) - -4 - -58. Is y greater than or equal to 62?
False
Let u = -10.23 + 10.2297. Is -2/5 > u?
False
Suppose 3*r = r. Suppose -2*j + r = -84. Let n be (j/15)/((-2)/5). Which is smaller: n or -5?
n
Let i be 1*(4 - (-2 - 0)). Let q be -23 - -24 - (0 + -4). Let a be (-60)/(-24)*4/q. Which is bigger: a or i?
i
Let o(n) = n**3 - 17*n**2 + 29*n + 16. Let b be o(15). Is 3/245 > b?
False
Let s be -2 + 1 + 4 - -1. Suppose -4*f = -3*t + 332, s*t - 3*f - 140 - 298 = 0. Supp