ch is smaller: -1 or v?
-1
Let u = -2 + 5. Let v = u + -2.9. Which is smaller: v or 2/3?
v
Let s be ((-1)/2)/((-1)/(-4)). Let l(y) = -4*y - 10. Let r(v) = 3*v + 7. Let a(q) = -5*l(q) - 7*r(q). Let t be a(3). Is t at least as big as s?
True
Let u = 8.47 + 0.59. Let m = 7 - u. Let s = 0.06 + m. Do s and 1 have the same value?
False
Suppose 7 = -4*d + 5*k, -3*k + 16 = 2*d + k. Let a = -2 + d. Let s = 0.11 + -1.11. Which is bigger: a or s?
a
Suppose 4*c = 2*i + 6, 2*c = -0*c - 3*i + 15. Suppose 164 = c*f - 2*f. Let k = f - 1146/7. Which is smaller: 0 or k?
0
Let p = 26 - 23. Is p bigger than 8/5?
True
Let x be (3 + -10)*(-6)/(-7). Let w be (14/x)/((-16)/(-24)). Which is bigger: -5 or w?
w
Suppose -14*q = -12*q - 14. Which is smaller: 6 or q?
6
Suppose -3*z - z - 16 = 0. Let p = z + 8. Is p equal to 4?
True
Let y = 63 + -62. Which is smaller: -1/35 or y?
-1/35
Let m(d) = d**2 - 9*d + 6. Suppose -3*c + 40 - 16 = 0. Let v be m(c). Let n be ((0 + 0)/v)/(-1). Which is smaller: 2 or n?
n
Let n = -14 + 9. Let i = 3 + n. Let b = 2/51 + 43/204. Which is bigger: b or i?
b
Let p = -0.19 + 8.19. Let d = -8.4 + p. Do -4 and d have the same value?
False
Let w(y) = -2*y + 6. Let d be w(4). Suppose 9*s - 4*s = 0. Is d less than s?
True
Let d = 3 - -15. Let r = d + -22. Is 2/9 less than or equal to r?
False
Let f = -6 + 3. Let g(u) = 2 - u - 4 + 2*u + 6. Let z be g(f). Which is smaller: z or -1/5?
-1/5
Let p = -15 + 16. Are p and -2/25 equal?
False
Let r = 16 - 13. Is r at least 7?
False
Let h be (-20)/15*3*6. Which is smaller: h or -25?
-25
Let q be (-1)/(3/(-2))*3. Suppose q*l - 45 = -l. Let m be (-21)/10 + (-6)/l. Which is smaller: m or -2?
m
Suppose -w - 8 = 3*w. Is -2.3 at most as big as w?
True
Suppose 0 = 3*f - 1 + 7, 3*f + 7 = g. Suppose 0 = -5*u - 4*t + 42, 3*u + 6*t - 30 = 2*t. Let p be (16/u)/(-3 + g). Which is bigger: p or 1?
1
Suppose s + 3 - 2 = 0. Let q be (-8)/20 + (-52)/70. Which is smaller: s or q?
q
Let s(u) = u**2 + 7*u + 6. Let t be s(-4). Let c = t - -6. Which is greater: 2 or c?
2
Let x be ((-6)/(-8))/(1/(-4)). Let s = -5 - x. Is s equal to -0.2?
False
Suppose -4*r = 4*g, 0 = -r + 2*g + 3*g - 24. Which is smaller: r or -36/11?
r
Let n(b) = -6*b + 8. Let p be n(10). Let t be 6/9 + 1090/21. Let k = t + p. Is k bigger than 2/5?
True
Suppose u + u + 8 = 0. Suppose -2*t - 30 = 3*t. Let n be (-4)/t*(-3 - u). Which is bigger: n or 1?
1
Let d = -1 + 4. Is d less than 11?
True
Suppose -g = -2*a - 3*a - 2, a + 34 = 5*g. Let s = g - 4. Is 3 < s?
False
Suppose -4*q + 26 + 22 = 0. Let z be (16/q)/(2/(-6)). Let n be ((-9)/24)/((-1)/z). Is n smaller than -2?
False
Let g(r) = -65*r. Let w be g(1). Let h be 3*-1 - 208/w. Which is smaller: h or 1?
h
Suppose -16 = -t + 3*y, 9 = 15*t - 11*t - y. Let n be 3/25*2/3. Is t at most as big as n?
False
Let x be (45/6)/(-5)*-2. Suppose 0 = -x*w - 2*w. Do w and -5/6 have different values?
True
Let g = -48 - -32. Is g >= -14?
False
Suppose 2 = -2*i + 4. Suppose 4*r - 4 = k + 3*k, -i = r - 3*k. Suppose 0 = -5*f + r*f - y + 4, -5*y + 20 = 2*f. Which is bigger: f or 0.1?
0.1
Suppose 5*b - 9 = -5*i + 3*i, -3*b = -4*i - 21. Suppose b*m = 4*m. Suppose 4*g + m*g = 4*v - 32, 0 = g + 3*v. Which is smaller: -7 or g?
-7
Let u be (16/(-1036))/((-48)/(-56)). Does u = -1?
False
Let t be (-426)/1540 - (-2)/7. Does 0 = t?
False
Let x be 63/12 + (-1)/4. Suppose -j + x = 1. Suppose 0 = 4*v + j*q + 24, -2*q - 8 = -2*v. Is v equal to -1?
True
Let m be (-4)/(1 - 1/2). Let c be ((-5)/(-2))/((-4)/m). Let a(h) = -5*h**3 - h**2. Let v be a(-1). Are v and c nonequal?
True
Let a = 260 + -282.8. Let q = 23 + a. Which is smaller: 5 or q?
q
Suppose 0 = -7*p + 8*p. Which is greater: -3/7 or p?
p
Let n be (190/(-34))/((-168)/16). Let j = n + 2/51. Which is smaller: j or 1?
j
Let l = -409/56 - -45/7. Which is smaller: 0 or l?
l
Let c(f) = f**3 + 4 - f**3 - f + f**3. Let r be c(0). Is r less than 4?
False
Let a(f) = f - 5. Let l be a(5). Suppose 3*c - g - 1 = 3, 4*g = 3*c - 16. Are l and c unequal?
False
Let v be (1 - 5) + (10 - 7). Which is smaller: -4 or v?
-4
Suppose 2*f - n + 4 = -2*f, -2*f + 2*n - 8 = 0. Suppose 0 = 4*a - f*u - 2*u + 2, 28 = 4*a + 4*u. Let p be (-1)/2 - a/4. Is p less than -1/3?
True
Let b(q) = -q**2 - 10*q - 12. Let s be b(-8). Let g be s/(-18) + 44/36. Which is smaller: g or -1?
-1
Let z be 5*-1*(-28)/10. Let k = z + -6. Let b be (2/30)/(k/(-20)). Does b = 0?
False
Let t(r) = r - 7. Let g be t(9). Suppose -3*y + g = -y. Is y bigger than -0.2?
True
Let v be 6/10*(-4)/(-6). Let x = -10 + 15. Let t be (x/((-15)/2))/2. Is t > v?
False
Let k = 0.6 + -0.23. Let x = 5.93 + -6. Let p = k + x. Do -1 and p have different values?
True
Let o = -4.5 + 5. Is -1 greater than o?
False
Suppose i + 6 = o - 0, 2*o + 5*i - 5 = 0. Suppose -3*b + 0*h = 2*h + 11, o*h + 20 = 0. Which is bigger: b or -3?
b
Let w(r) = 5*r - 16. Let i be w(5). Let x = -10 + 20. Is x greater than i?
True
Let g = -5.07 - -0.07. Let t = 5 + g. Which is smaller: -2/5 or t?
-2/5
Suppose -5*i + 4*b - 918 = -102, -b - 156 = i. Let q = i - -1758/11. Which is bigger: 1 or q?
1
Let l = -17/7 + 207/91. Which is smaller: l or -0.2?
-0.2
Let w(o) = -o - 3. Let u be w(-8). Let z be 1/u*9/(-3). Suppose -s + 11 = -4*p, 4*s + 2*p = -0*p - 10. Is s < z?
True
Suppose -3*r - 2*s = -r - 2, -r - 5*s = -9. Let v be r + (3 - 2) + 0. Suppose 0 = 5*q + 10 - v. Which is greater: q or -3?
q
Let p be 15/(-75) + ((-118)/5)/(-2). Is p equal to 12?
False
Let h = 22 + -17. Suppose 5*j + 3*y = 15, h*j + 7 = y + 2. Which is greater: j or 6/5?
6/5
Let c be 305/35 + 4/14. Suppose 5*g + 25 = 0, 4*z + g + c = -0*g. Is z bigger than 1?
False
Suppose 4 - 2 = 2*s + 3*d, 0 = 4*s - 5*d - 26. Suppose -r + q = -0*q - 1, -s = -2*r + 4*q. Let m be (-6)/15 + r/(-2). Which is smaller: m or 0?
m
Let b = -6 + 3. Let u = -3 - b. Let s be (-6)/22*(-50)/(-75). Is u less than or equal to s?
False
Let b = 3 + -2. Let q = 3 + b. Suppose q*p - 11 = -3. Do p and 2 have different values?
False
Suppose 0 = -c - c + 10. Let a = c - 1. Let d be -2*((-8)/(-12))/(4/(-9)). Which is smaller: d or a?
d
Suppose 0 = 3*p + 4*d - 17, -3*p + 0*d + 22 = 5*d. Does 2/23 = p?
False
Let y be (-12)/(-10)*(-50)/(-15). Suppose y = 5*t - 6. Is t bigger than 3?
False
Let d = 42 - 41. Is 2.6 smaller than d?
False
Suppose 4*a + 3*z + 3 = a, -4*a = -3*z - 3. Suppose 4*r = 12, 5*x - 2*r + 3*r + 27 = a. Is x greater than -4?
False
Let i = 4 - -11. Let x = i + -15.2. Let k = -0.2 - -0.5. Which is smaller: k or x?
x
Suppose 5*i - 24 = -4. Suppose i*p + 19 = -3*o, p + 2*p = 3*o + 12. Which is smaller: p or 7?
p
Suppose 0 = 3*a + 3*p, -3*a - 8 - 4 = -3*p. Let o = 337/1672 - 3/152. Which is greater: a or o?
o
Let p = -79.9 + 80. Is p at least as big as 62?
False
Let d = 4 + 1. Suppose -13 - 12 = -5*a. Let l be 19/a + (-1)/(-5). Do l and d have the same value?
False
Let g = -4 + -1. Let i = g - -8. Let a(m) = -m + 10. Let p be a(7). Is p at least i?
True
Suppose -11 = 4*d - 7*o + 4*o, -4*d + o = 1. Which is smaller: d or 2/33?
2/33
Let x(f) = -3*f. Let g be x(3). Let u = -4 - g. Let p = u - 9. Is -4 >= p?
True
Suppose -3*h + 2 = 2*s, 0 = -0*h + h - 2*s + 10. Let q be 0 + (2 - -1 - h). Suppose -q*f + 5 = 10. Which is bigger: -2/7 or f?
-2/7
Let m be ((-3)/(-6) - 0)*10. Are 5 and m nonequal?
False
Suppose 3 + 3 = 2*g. Let q be (1/(-2))/(3/g). Which is bigger: q or 1/4?
1/4
Let c be 192/140*(-20)/8. Which is greater: -4 or c?
c
Suppose 2*i = 3*i - w - 32, 0 = -i + 2*w + 35. Which is smaller: 28 or i?
28
Let y = -17.51 + 0.51. Which is bigger: 0 or y?
0
Let d = 235/3 + -77. Does 1 = d?
False
Let b = -22/19 + -51/38. Let w = 4 + b. Which is smaller: w or 1?
1
Suppose 0*y + y - 3*j = 3, 5*j = -3*y - 33. Suppose -2*o = -0*o - 5*i + 30, -3*i = 2*o - 2. Is o < y?
False
Let p(l) = -l**2 + 9*l - 7. Let i be p(8). Let a(t) be the first derivative of -5*t**2/2 + t + 2. Let q be a(i). Which is greater: q or -3?
-3
Suppose 4*s + 8*p = 3*p - 6, 2 = -4*s - 3*p. Let v = s + 3. Which is smaller: 3 or v?
3
Let t be (6/(-16))/(15/(-10)). Which is greater: t or 2?
2
Let v(b) = 4*b - 6*b + b. Let y be v(3). Are -2 and y equal?
False
Let b = 4 + 0. Let a be -1 - 2/(b/(-30)). Which is smaller: 13 or a?
13
Suppose -f - 4*s = -3*f - 2, 21 = 3*f + 2*s. Let l be -3 + 2 - 10/f. Suppose -y - 