ue
Let v be ((-5)/(30/8))/(2/15). Which is smaller: -5 or v?
v
Suppose 12 = -t + 3*t. Let w be (-1)/(-3 - -2)*6. Let j be w/(-9) + t/9. Is -4/5 at most as big as j?
True
Suppose -65 = -2*l - 3*l + n, 3*l = 2*n + 46. Which is greater: l or 8?
l
Let y be ((-18)/(-8))/(-3)*1/(-3). Is -1 > y?
False
Let c be (14/24)/(2/4). Suppose 3*d - k = 5, 5*d - 5*k - 10 = 15. Which is bigger: c or d?
c
Suppose -31 = 5*n - 1. Let z = 1 + -2. Are z and n equal?
False
Let w(v) be the second derivative of -v**5/10 + v**4/6 + v**3/6 - 2*v. Let z be w(-1). Do z and 3 have different values?
False
Let w = 0.01 + -0.11. Let r = 1.9 - w. Is 0.1 <= r?
True
Let x = 0 - -4. Suppose 3*t + 5*k = -6, x*t + 12 = 3*k + 4. Which is bigger: 0 or t?
0
Let a(f) = 3*f - 3. Let o be a(0). Let m(q) = 5*q + 0*q**2 - 2*q**2 + 3*q**2 + 2. Let v be m(-4). Is v != o?
True
Let b be (-12)/(-9)*(-4)/(-16). Suppose 2*u = -3*k - 2, 5*u - 3*k = 3 + 13. Suppose u*v = -0*v. Is b greater than or equal to v?
True
Let f be 6 + (0/(-2) - -2). Suppose -2*o = -g - 10, -7*o - 3*g = -4*o - 33. Which is smaller: f or o?
o
Let u = -251 - -532. Let g = -3089/11 + u. Is g greater than 1?
False
Let d be 45/6 + 6/12. Which is smaller: 0.2 or d?
0.2
Let w = 4381 - 17643/4. Let c = 2745/92 + w. Are -1 and c non-equal?
True
Let h be 0/(2/4*4). Let s(j) = j**2 - j. Let z be s(2). Are h and z equal?
False
Suppose -5*f - 5*b + 9 = -1, 11 = f - 2*b. Suppose -j - c + 2*c = 1, -3*j - c = -f. Is j at least as big as 0.2?
True
Let x = 12259/14 - 1721/2. Is x not equal to 15?
True
Let d = 23 + -24. Does d = -1/7?
False
Let w = -1.7 - 2.3. Let k = w + 3.7. Which is smaller: k or -0.05?
k
Let x = 5 - 2. Let q(v) = v**3 - v**2 + v - 1. Let g be q(x). Let u be 4*2/g - 1. Which is greater: -1 or u?
u
Let x = -0.2 + 1.2. Is -0.5 bigger than x?
False
Let s = 21353160515496681065 + -55146219275961910708793509207/2582578782. Let z = 1/1452519 - s. Let l = z + -1/254. Is l <= 1?
True
Let d be 10/3*(-12)/(-8). Let r = -1 + d. Which is smaller: r or 6?
r
Let q = -0.5 - -0.46. Which is greater: q or 5?
5
Suppose -d + 5 = -0. Let i(p) = p - 2. Let a be i(d). Suppose -2*g - g - a = 0. Are -2 and g nonequal?
True
Let j be (-3)/1 + (4 - 3) + 2. Is -12/11 less than or equal to j?
True
Let c = 102699 + -925265/9. Let n = c - -108. Which is bigger: n or 0?
0
Let i be 6/(-2) + (-30)/(-9). Are -2/5 and i unequal?
True
Let b be 4/1*5/10. Suppose -4*l - 2 = b. Is l less than or equal to -2/9?
True
Let j = 24 - 23.88. Which is smaller: j or 2/9?
j
Let h be (0 - -2)*4/(-8). Suppose 0 = 5*u - 6 - 4. Let k be 0*(2/u - 2). Is k bigger than h?
True
Let m be (-1 - (-1 - -1))*-5. Let j be (-1 + (-2)/10)/((-48)/160). Is j > m?
False
Let i = 2/95 + -293/380. Let g = -52/5 - -10. Are i and g equal?
False
Let m = -0.1 + 0.32. Let g = m - 1.12. Is g less than or equal to -1?
False
Suppose 3*q = 8*q - 15. Which is smaller: q or 1?
1
Let h be (-80)/(-75) - (-4)/(-6). Suppose -3 = -5*y - 0*x + x, 0 = 3*x - 6. Which is greater: h or y?
y
Let d be (2 - (1 + 0))/1. Let j = -8 - -15. Which is bigger: d or j?
j
Let s be 3/6*-2*4/(-194). Is 0 at most as big as s?
True
Let k = -1.1 + 1.6. Let l = 0.6 - k. Let n = l + -0.12. Which is smaller: 1 or n?
n
Suppose 5*g - 8 = 7. Let s = 6 + -4. Is g < s?
False
Let i = -18 + 26. Suppose -3*n + 2 = i. Let h = 9.7 - 9.8. Is h at least n?
True
Let v = 526 - 17356/33. Which is bigger: 0 or v?
v
Let w(o) = o + 25 - 28 + 0*o. Let l be ((-6)/8)/(1/(-4)). Let y be w(l). Is y bigger than 1/3?
False
Let f(v) = v**3 + 6*v**2 + 4*v - 6. Let g be f(-5). Suppose 0 = -4*d + 4*k + 28, 4*d + 0*d - 2*k - 18 = 0. Which is smaller: g or d?
g
Let q(v) = -v**3 - 16*v**2 + 16*v - 18. Let p be q(-17). Let w = 0 - 1. Is w at most p?
True
Let u = -2688 + 61836/23. Which is greater: u or -0.1?
u
Let z(g) = g**2 + 9*g - 8. Let i be z(-9). Is -7 at most i?
False
Suppose 2*b - 10*b = 104. Which is greater: -12 or b?
-12
Let z(u) = -u**3 + u**2 - u + 4. Let l be z(0). Suppose 7*q = l*q - 63. Let f = -107/5 - q. Which is smaller: 2 or f?
f
Let r(d) = d**3 + 14*d**2 - 17*d - 30. Let f be r(-15). Which is smaller: f or -2/11?
-2/11
Let y = -25 + 51/2. Is 1 less than y?
False
Let p = -0.31 + 0.01. Which is smaller: 16 or p?
p
Let y be (-2)/11 + 508/11. Let z be y/8 - (-3)/12. Is z smaller than 6?
False
Let h be (-2)/(-14) - 434/(-49). Is h at most 11?
True
Let n be (-4)/(-10) - (-224)/490. Which is smaller: 2 or n?
n
Suppose 4*m = -5*p + 2*p + 25, 3*m + 5*p = 27. Which is smaller: 5 or m?
m
Let i = 7.89 + 0.11. Let f = i + -7. Which is smaller: f or -4?
-4
Suppose -3*p + 12 + 8 = 2*j, 4*p = -5*j + 36. Suppose -19 = p*w + 3*q, -4 = 3*w + q + 4. Suppose 4*v = -6 - 2. Which is bigger: w or v?
w
Let f(i) = -i**3 + 6*i**2 - 9*i + 8. Let j be f(6). Let x = j + 596/13. Suppose 5*a + l + 2 = 0, 5*l = 3*a - 2*a + 16. Does x = a?
False
Let o(v) = -v**2 + 3. Let q be o(-3). Is q smaller than -9?
False
Let j be (-3)/(36/(-15)) + -1. Let o = -3/53 + 211/1855. Let a = o - 9/35. Which is greater: j or a?
j
Let t = -7 + 6.7. Let j = 0.4 + t. Let d = -1/4 - 1/12. Which is greater: j or d?
j
Let v(j) = -j**2 + 12*j + 16. Let k be v(13). Which is bigger: k or 8/5?
k
Let a be 1/((4/(-3))/(-4)). Let n be (a/(-6))/1*0. Suppose 3*x - 1 = -n*x + q, -22 = 2*x + 5*q. Which is bigger: -2 or x?
x
Let j be 2/(-12) - 2795/(-30). Let x = j - 274/3. Are 2 and x nonequal?
True
Suppose -60*b + 59*b = 3. Suppose 0*s = -5*s - 25. Is b equal to s?
False
Let k be 0 + (-2 + 0)/(-1). Suppose -2*b + 5*d + 40 = 0, k*d = -4*b - 11 + 43. Suppose 5*l + b = -0. Which is smaller: -1 or l?
l
Let j be -3*6/81*(-3)/8. Is 1 less than j?
False
Let g = -6 - -5.94. Let j = g - 4.94. Which is bigger: 1/3 or j?
1/3
Let l(k) = 7*k - 3*k - 3*k + 5. Let u(n) = -n**2 - 8*n + 14. Let z be u(-10). Let a be l(z). Which is smaller: -0.3 or a?
a
Let b(y) = -y**3 - 3*y**2. Suppose -5*m = 2 + 13. Let u be b(m). Which is smaller: u or 2/9?
u
Let k = -16 + 15. Does 2/15 = k?
False
Let h = -4 + 7. Let n be (-4)/(-6) + 10/h. Let z(u) = 2*u**2 + 2*u + 2. Let c be z(-2). Which is bigger: c or n?
c
Let v = 5 - -47. Do v and -2/3 have the same value?
False
Let d = -0.07 + -21.93. Which is greater: d or -1?
-1
Suppose -5*i + 8*g = 3*g + 25, -5*g = -20. Let a be i*(0 - 0) - 0. Let u = 131/192 - 1/64. Which is smaller: a or u?
a
Suppose -1 = -3*k + 8. Suppose -3*q + a + 1 = -k, -a - 4 = 0. Suppose -u - 4*r + 14 = -8*r, u = -3*r - 14. Is u at most as big as q?
True
Let w(n) = -n. Let l(b) = b**2 - 6*b + 2. Let g be l(4). Let q(h) = -h**2 + 9*h - 3. Let v(m) = g*w(m) - q(m). Let x be v(2). Is 1 bigger than x?
False
Let k = -18.9 - -19. Which is bigger: 52 or k?
52
Suppose 8 = -2*q + 4*q. Is q not equal to 6?
True
Let i = -1.6 + 1.6. Which is bigger: i or 2?
2
Suppose -7*s - 10 = -9*s - 5*h, -3*s = 4*h - 1. Suppose 2*u + 14 = 2. Which is greater: u or s?
s
Let j(y) = y**2 + 5*y. Let l be j(-4). Is l <= -4?
True
Suppose 0*g + 8 = 4*g. Suppose -2*w + 3 = -g*i - w, -3*i - 15 = 2*w. Let j be i/(-8)*2/(-3). Which is greater: j or 0?
0
Let o be ((-26)/60)/((-3)/9). Which is bigger: 2 or o?
2
Let r = -4/7 - -5/21. Which is greater: r or 3?
3
Let l(y) = 3*y - 28. Let z be l(3). Which is smaller: z or 0.2?
z
Suppose 0 = -n - 2. Let l be n/3 + (-2)/6. Is l less than -3/5?
True
Let p = -94/5 + 19. Are 0.1 and p equal?
False
Suppose m + 0 = 1. Suppose 0 = f + d + 3 - m, 0 = f - 2*d + 8. Let r be (0 + 0)*(-2)/f. Are -2/9 and r equal?
False
Let p = -0.3 - -0.4. Let d = 0.14 + -0.09. Let y = 1.05 - d. Which is smaller: p or y?
p
Let q = 7/9 - 1. Suppose 4*w - 4*k - 25 = -3*k, 5*k = 3*w - 23. Is q < w?
True
Let u = 0.55 + -0.36. Let i = -1.09 + u. Let x = i - -1. Which is smaller: x or -1?
-1
Suppose -8*g + 3*g = 2*q - 21, g + 5*q - 18 = 0. Which is smaller: 16/7 or g?
16/7
Let f(c) = -c**2 - 2*c + 1. Let k be f(-4). Let s be -1 + 3 + k/2. Is s >= -3?
True
Let v = 0.2 + 0. Let q = -49 - -48.9. Is q at least as big as v?
False
Let p = -10 - -11. Let b be (-10)/(-8) - (-2)/(-8). Is p at least b?
True
Let k be (-1)/((-5 - -1)/24). Is k >= 14/3?
True
Let f = -3/2 + 7/6. Let z = f + 1. Let a = 4 - 3.7. Which is bigger: z or a?
z
Let v = 898 + -3549/4. Is v equal to 12?
False
Let o = 281/8 - 35. Which is greater: o or 1?
1
Let k = -3.34 - 0.96. Let d = 4 + 