smaller: u or 1?
1
Let t = 0 + 7. Which is smaller: 1 or t?
1
Let s = -4 + 6. Let p(o) = -16*o**2 - o. Let u be p(-1). Let x = -12 - u. Which is bigger: s or x?
x
Suppose -2*d + 1 - 8 = -g, 0 = -5*d - 15. Let n = 19/18 - 355/234. Are g and n equal?
False
Let t be 3/(-24)*(-6)/(-1). Is t <= -2/3?
True
Let q be (-4)/(-6) + 16/(-42). Let x = 1 - 0.7. Is x > q?
True
Let l be (-9)/((-36)/16) - 2. Which is smaller: 12/13 or l?
12/13
Let u = 4 - 4. Suppose -5*f - 5 = u, -f = 5*y - 12 - 7. Let v(s) = s**2 - 5*s + 4. Let c be v(y). Is -2/11 != c?
True
Let n = 114 + -77. Which is smaller: n or 0?
0
Suppose 0 = s - 4*z - 16, 2*s - z = -0*z + 4. Let j be s - -2 - (-40)/(-18). Let f be (0/1)/(17/((-136)/16)). Is f at least j?
True
Let q = -48/2015 - -1/130. Let h = -13/155 + q. Are h and 0 equal?
False
Let h = 76 - 108. Let g(a) = a**2 + 7*a - 2. Let f be g(-7). Let x be ((-12)/h)/(2/f). Is x <= -1?
False
Let r be -8*(-1 + 14/4). Let p be 1/2*r/25. Is 0 at least p?
True
Let l = 0.5 + 0.5. Let v = -8 + 15. Is v bigger than l?
True
Suppose -7*y - 6 = -10*y. Is 1 smaller than y?
True
Let l = 7 + -2. Suppose z = u + 2*u - 1, l*z = -5*u - 5. Let c be 1 + (-3)/12*2. Is c >= u?
True
Suppose 3*j - 2*t = 12, 0 = -3*j + 2*t - 4*t. Suppose 3*o + 15 = j*o. Is -14 smaller than o?
False
Let x = 0.04 + -0.44. Let g = -0.5 - x. Which is greater: 4/3 or g?
4/3
Let b = 267/2 - 135. Suppose -w = -2 + 4. Do w and b have the same value?
False
Let j be 20/6*(7 - 10). Which is bigger: -11 or j?
j
Let b = 164 + -165. Which is smaller: -3 or b?
-3
Let h be 3/15*(-10)/76. Which is smaller: h or 1?
h
Let t be -3 - 3*(-5 + 4). Is t less than -5/19?
False
Suppose -v + 3*f = v - 19, -5*f - 40 = -5*v. Let t(n) = -n + 5. Let m be t(v). Do m and 3 have the same value?
False
Let x = -42 - -46. Which is smaller: x or 0?
0
Let z = -0.2 + 0.24. Let w(b) = b**3 + 4*b**2 - 9*b - 21. Let s be w(-5). Is s smaller than z?
True
Let i = 71 + -49. Is 22 bigger than i?
False
Let x = -4 - -4.29. Let d = 0.01 + x. Let y = -0.7 - d. Which is smaller: y or 2?
y
Let a = -1314 - -2683/2. Which is smaller: 29 or a?
a
Let l = 0.18 + 0.12. Is -0.06 bigger than l?
False
Suppose -18 = 5*m - 3. Which is smaller: m or 19?
m
Let m(w) be the first derivative of w**5/120 - w**4/12 + 4*w**3/3 + 2. Let p(i) be the third derivative of m(i). Let c be p(-2). Is -4 < c?
False
Let i = 10 - 15. Let d be (-11)/(-44)*3*16/(-66). Is d less than i?
False
Let x = -2 - -1. Let k be ((-4 - -3) + 2)*-2. Let r be (23/8 - 3)*k. Which is greater: r or x?
r
Let d = -0.74 + 0.84. Let c be (-6)/(-2)*1/6. Is d at most c?
True
Let r be (-12)/18*(1 - 4). Suppose i = -5*w + 18, 0 = -5*w - r*i - 2*i + 12. Suppose 2*f = w - 2. Is 0 at most f?
True
Let o be 2 + -1 + 1 + -3. Let w be 3/1 - (6 + o). Let u be 0 + 3 + 1 + w. Which is greater: u or 4/5?
u
Let n = 12 - -1. Is 13 not equal to n?
False
Let a(v) = -v - 2. Let f be a(-3). Let j = f + -2. Are j and 2/7 non-equal?
True
Let m be 1 - 1*1/3. Suppose 3*h - 1 = -s, -2*h - 3*h + 5*s + 35 = 0. Which is bigger: h or m?
h
Let b(g) = -g**3 - 6*g**2 - 5*g + 2. Let y be b(-5). Suppose -10 = d - 3*d. Suppose -3 = d*q + 4*c, 4*q - c - 5 = q. Is q greater than y?
False
Let m be -44*(6/4)/(-1). Let i be 6/4*(-8)/m. Which is greater: i or 1?
1
Let q = -6 - -5. Let u = 564 - 2829/5. Which is smaller: q or u?
u
Suppose -2 = -a - 0*a. Let f(c) = a*c - 2*c - 7 + c. Let v be f(9). Which is greater: 5/3 or v?
v
Let r be ((2 - 3) + 0)*-2. Suppose 0 = -5*m - 4*p + 13, -r*p + 4*p = 2*m - 16. Suppose m*n = 4*n. Which is bigger: n or 3/5?
3/5
Let h = -118 + 824/7. Suppose -1 = 2*i + 3. Let g be (-5)/(-6)*i/(-5). Does h = g?
False
Suppose 26 = 5*p - 34. Which is smaller: p or 11?
11
Let c(j) = j**2 + j - 2. Let q be c(0). Suppose -11 = 2*n - 3*w, 4*n - 4*w = -3*w + 3. Suppose -2*m = n - 0. Which is smaller: m or q?
q
Suppose 3*c - 26 = -29. Is 5/18 > c?
True
Suppose 0*z + 4*i + 18 = -2*z, -4*z - 16 = 3*i. Let h be (8 + 0)*2/(-14). Are h and z unequal?
True
Let j = 3 + -3. Suppose -2*x + 3 = -1. Let t = x + j. Is 3 bigger than t?
True
Let y be (-8)/32 + (-2)/(-8). Do y and 5/7 have different values?
True
Let m = -3 + 1. Let d be 1/((m/(-4))/(-1)). Let i be ((-2)/16)/(d/(-12)). Is i >= -1?
True
Let b(a) = -22*a - 1. Let l be b(-3). Suppose -3*d - 2*d = 5*j - l, 7 = j - 2*d. Is j bigger than 10?
True
Suppose 4*z + 3 = z. Let m = 2 + z. Let s be (-48)/36*6/44. Which is greater: s or m?
m
Let y = 15.5 - 13. Let k = y - -9.5. Let x = k + -20. Is 1/2 >= x?
True
Let z = 252.94 + -255. Let q = z - -0.06. Let u = 1/21 - 1/3. Is u < q?
False
Let j = 5 + -13/3. Which is bigger: j or 2?
2
Suppose 2*y + 15 = 5*l, -y = 2*y - l + 3. Let i(s) = -s**3 + 3*s**2 + 3*s - 9. Let g be i(3). Is y greater than g?
False
Let a = 1.65 - -0.15. Let b = a - 2. Which is smaller: -2 or b?
-2
Let s be 5/12*(-4 + 0). Let w = s - -7/3. Which is smaller: 1 or w?
w
Let t = -2 - 1. Let m(j) = j**3 - 5*j**2 - 7*j + 4. Let b be m(6). Let g = -7 - b. Which is bigger: t or g?
t
Let k = 2 - -1. Let b = -10.8 + 11. Which is smaller: b or k?
b
Let t(l) = 5 - 6 - l + 0. Let z be t(-3). Let w be ((z - 4) + 2)/(-2). Is w < -2/7?
False
Suppose 0*x - 4*z = -3*x + 18, 0 = 5*x + 2*z - 4. Let p be 0 - x/((-4)/(-2)). Is p at most as big as -2?
False
Let c(v) = 2*v**2 - 15*v - 93. Let z be c(12). Let h = -1 - -15. Which is smaller: h or z?
h
Let d = -64 - -76. Which is smaller: d or -2?
-2
Suppose 2*v = -0*v + 2*b - 36, -2*b = 5*v + 69. Let s be 40/v*(-3)/2. Is s equal to 4?
True
Suppose -t + 354 = 5*m, -3*m = -0*m - 2*t - 202. Which is bigger: m or -2?
m
Suppose 0 = -5*w + 20, 3*n - 3*w = -2*w - 1. Are -0.14 and n equal?
False
Let o = -0.3 + -0.7. Let h = o + 0.5. Which is bigger: 0 or h?
0
Let o = 137 + -132. Is o less than or equal to 8?
True
Let y = -6.3 + -1.7. Let k = 9 + y. Which is bigger: k or -1?
k
Suppose -5*n = k - 25, -n + 3 + 1 = 0. Suppose 2*c + 25 = 2*y - c, 15 = -k*c. Is y at most as big as 8?
True
Let a = -19.1 - -19. Which is bigger: -3 or a?
a
Let w = 5737/861 - -1/287. Which is bigger: w or 7?
7
Let w = -29 + 26. Is w at least as big as -0.1?
False
Let u = 24 + -16. Is 8 greater than u?
False
Let h be 5/(3*(-1)/(-3)). Let o = 4 - h. Which is greater: o or 0?
0
Let w be 2 + (-5 - 6*(-3)/6). Are 7/6 and w equal?
False
Let g = 355.08 + -368. Let h = g + 9.9. Let f = 0.02 + h. Is -1/3 >= f?
True
Let h be -1*2/(-9)*(-20)/(-8). Is h smaller than 2?
True
Suppose 2*n = -0*n - 10. Which is greater: -1 or n?
-1
Let d = -1.71 + 5.77. Let s = d - 4. Is s at most 1?
True
Suppose -4*u - 3*x + 6*x - 39 = 0, -2*x = u + 7. Let a = u + 6. Let j(s) = 2*s + 5. Let f be j(-4). Is f less than or equal to a?
True
Let m = 1.36 - 0.36. Which is smaller: 0.11 or m?
0.11
Suppose 0 = -2*b - 1 + 3. Let q(m) = -m**2 + m - 6. Let v be q(0). Let d be (-4)/35 + v/21. Which is bigger: d or b?
b
Let y(q) = -q**2. Let k(f) = -f**3 + f**2 - 1. Let p be k(1). Let z be y(p). Is -1/2 > z?
True
Let j = 2 - 1. Let v(s) be the second derivative of -s**5/20 - s**4/4 + 2*s**3/3 + s**2 - 2*s. Let y be v(-4). Is j at most as big as y?
True
Let a = 0.162 + 4.888. Let o = a - 0.05. Let f = o - 5. Is f greater than 0?
False
Let q = -33 + 19. Let z = q + 23. Suppose 4*j + 3 + z = 0. Which is greater: -4 or j?
j
Let m = -10.4 - -11.4. Let b = -4 - -3. Which is smaller: b or m?
b
Let l be (9/12)/((-27)/6). Let r = -1/2 + l. Is r less than 0?
True
Let j(a) = -a**3 - a**2 - a + 2. Let q = -2 + 2. Let r be j(q). Suppose p - 1 = -3, r*v + 2*p = -6. Which is greater: 0 or v?
0
Let i = -0.1 - -0.2. Are -9 and i unequal?
True
Suppose -2*q - 15 = -10*t + 5*t, 3*t = 4*q + 9. Which is bigger: q or -3/34?
q
Let b be -1 + 3 - 1284/5. Suppose j + 1 = 0, 3*u + 0*u - 4*j = -758. Let t = u - b. Is t > 0?
True
Let r(y) = -y**3 + 10*y**2 + y - 9. Let u be r(10). Is -2/23 not equal to u?
True
Let w = 171/7 + -1145/42. Which is bigger: w or -2?
-2
Suppose -4*w + 4 = 8. Let v be (w - -1 - 1)/1. Let g be 10/(-12)*16/60. Which is greater: v or g?
g
Let d(u) = -u**3 + 4*u**2 + u - 3. Let c be d(3). Suppose -2*s + 1 = c. Are -5 and s non-equal?
True
Let n = 439 + -1301/3. Which is smaller: 5 or n?
5
Let o be (3/(-417))/(((-2)/1)/2). Which is greater: 1 or o?
1
Suppose 4*c + 124 = 36. Is -21 less than or equal to c?
False
Le