r d?
d
Suppose 3*x - 8*x - 230 = 0. Let r = x + 512/11. Which is smaller: r or 0.1?
0.1
Let k(w) = -2*w + 1. Let p be k(0). Let u(h) = -h - 1. Let y be u(11). Let q be 20/18*y/8. Which is smaller: q or p?
q
Let y = 13 + -23. Let o = y + 8. Let h(r) = -r - 2. Let q be h(o). Which is bigger: -1/6 or q?
q
Let v be (4/(-2) - 2)*5. Let t be v/(-6)*204/85. Suppose 0 = -g - g + t. Is 3 not equal to g?
True
Let m = 25.9 + -25.8. Let a = 0 - -0.1. Let w = a - m. Are -8 and w non-equal?
True
Suppose -2*t - 3*t + 0*t = 0. Which is bigger: t or 1/112?
1/112
Suppose 5*m = 5*k + 25, -k - 12 - 8 = -4*m. Suppose 6 - 1 = m*r. Let i = 71/15 + -39/10. Which is greater: i or r?
r
Let p = -175 - -275. Suppose -8*g - 4 = p. Which is smaller: g or -7?
g
Let c = 18 + 51. Let b = c - 93. Do b and -24 have the same value?
True
Let j = 377 - -146. Suppose -j = -7*u - 68. Which is greater: u or 66?
66
Let f = -24 + 20.8. Let s = -4.2 - f. Is 0.2 greater than s?
True
Suppose 2 = -o, -x - 2*o = -3 + 7. Do x and -3/28 have the same value?
False
Let s be (-1 + 16/10)/((-237)/3555). Let u = 18 - 26. Which is greater: s or u?
u
Let o be -41 + ((-25)/(-2))/5*2. Which is bigger: o or -11?
-11
Suppose 0 = 3*o - 4*i + 3, -2*o + 2*i + 1 = 5. Let k be 8/(-40) + 4/o. Let a be 4/(-6) + k/3. Is a greater than or equal to -1/10?
False
Suppose 0 = 2*z + z. Suppose -i - 5*j = -18, z = -i + 2*i + j - 6. Let a(k) = k**3 - 2*k**2 - 3*k + 2. Let w be a(i). Which is smaller: w or 0?
0
Let u be ((-2)/(-12))/((-9891)/891 + 11). Which is bigger: -3 or u?
u
Suppose -3*x + 54 = 3*p, 0 = -2*p + x - 19 + 61. Let c = -11 + p. Is 8 < c?
True
Let k = 36 + -38. Let h = 7 + k. Are h and -2 equal?
False
Let z = 0.84 + 2.96. Let d = -3.6 + z. Let g = -13/2 + 3. Do d and g have the same value?
False
Let j(f) = f**2 - 19*f - 65. Let a be j(22). Is a less than -7/80?
False
Let u = 8.109 + 0.191. Which is bigger: u or 0.1?
u
Let q be 5/1 + (-5)/(35190/35178). Do q and -1 have the same value?
False
Let c(h) = -13*h - 1. Let b be c(1). Let l = -16 - b. Let m = l - -13. Which is bigger: m or 10?
m
Suppose -2*i - 3*h - 1253 = 0, -5*i + 9*h = 4*h + 3070. Is i bigger than -619?
False
Let h be (-8)/((-16)/(-26) - 1). Suppose z - 6*z + 89 = 4*q, 0 = z - 1. Let k = q - h. Is k less than -1?
False
Let q be (-403)/(-6) - (-2)/(-12). Suppose 65*p = q*p - 34. Is 17 < p?
False
Suppose -39*i + 41*i - 16 = 0. Which is bigger: 44/5 or i?
44/5
Let q be 36394/63 - (-68)/(-119). Let a = q + -576. Which is bigger: a or 1?
a
Let o = 13/94 - -10207/282. Let a = o - 37. Which is smaller: a or -2?
-2
Suppose 3*n + 87 = -3*w, 2*w + 4*n = -7 - 51. Is w less than or equal to -27?
True
Let s be 1 - (-12)/(-4) - -142. Let m be ((-8)/s)/((-4)/(-5)). Is -0.2 <= m?
True
Let p = -202 - -307. Is p smaller than 105?
False
Let h be 1*4/5 + 1016056/(-39820). Let v = -272/11 - h. Which is bigger: 1 or v?
1
Let h = -52.9 + 53.067. Is h <= 0.2?
True
Suppose 25*o - 23*o + 4 = p, -3*p + 12 = 4*o. Is 38/65 > o?
True
Let n be 19/(-7) - -3 - (-52)/14. Suppose v - n*f = 3*v - 40, 2*v = -3*f + 37. Is 15 at least v?
True
Let z = 6.6 + -18.6. Is -4/3 < z?
False
Suppose -22 = 5*s + 3. Let a(g) = 5 + 3 + 0*g - 6*g. Let z be a(2). Is z smaller than s?
False
Let b(q) = 26*q + 20*q + 2 - 45*q. Let g be b(-6). Is g smaller than 4?
True
Suppose 15 = -5*r - 5. Let g(z) = -8*z + 47. Let d(p) = 3*p - 16. Let h(l) = -17*d(l) - 6*g(l). Let j be h(r). Which is smaller: j or 3?
j
Let f = 2/61 - 67/183. Let k = -8 + 24. Let z(w) = -w**3 + 18*w**2 - 33*w + 15. Let x be z(k). Are f and x non-equal?
True
Let l = 114 + -1597/14. Suppose -3*b + 85 = 2*b - 2*c, -5*b = -5*c - 100. Suppose 0 = 4*p - 2*d - d - b, -5*p - 5*d - 25 = 0. Which is smaller: p or l?
l
Suppose -4*y = 2*o - 2172, 5*y + o - 3197 = -485. Is 542 at most as big as y?
True
Suppose -8*q - h = -12*q + 757, 3*q + 2*h - 565 = 0. Does q = 759/4?
False
Let g = 2.37 + -2.1. Let j = g + -3.27. Let b = -3 - -1. Which is smaller: j or b?
j
Let h = 23 - 9. Suppose -22 = 13*g - h*g. Suppose -3*q = 29 + g. Which is bigger: q or -16?
-16
Let u be ((-3)/23)/(18/12). Let y be (-7 - -5)/(4/8). Let x be -4 - ((-6 - -3 - y) + -5). Is u at least x?
False
Let f be 5 - ((-6)/(-2) + -6). Suppose -5*q + 3*g - 32 = 0, -8*q + 3*q - f = 3*g. Let s be 204/(-297) + q/18. Do 0 and s have the same value?
False
Let t be ((-5 - 42) + 7)*22. Is -879 less than t?
False
Suppose 5*z = -5*q + 55, -6*z + 5*q = -z - 95. Let k be 132/(-10) + (-12)/z. Let g be (-144)/32*(-20)/(-6). Which is bigger: g or k?
k
Let p(g) = 35*g + 36*g + g**2 - 65*g - 19. Let m be p(-9). Which is smaller: 0 or m?
0
Let i(t) = 2*t**3 + 16*t**2 - 5*t - 4. Let h be i(-8). Let u be 9/h - 87/(-4). Which is smaller: 21 or u?
21
Let r(c) = 3*c - 14. Let t = 9 - -5. Let p be r(t). Is -1 not equal to p?
True
Suppose -19 = 5*x - 14. Is 2/761 at most as big as x?
False
Suppose 0*k - 3*k - 2*f = 9, 0 = -4*k + 2*f - 12. Suppose -5*b + 0*b - 20 = 0. Let m be (0/(b/2))/(-2). Is m >= k?
True
Let u = -907/5 - -181. Is u at most -0.46?
False
Suppose -j - 112 = -8*j. Let y be 19/3*3 + -3. Is y <= j?
True
Let a = -0.3 + 1.3. Let o = -47.07 - -9.07. Which is greater: o or a?
a
Let d = -0.36 + 2.46. Let q = 0.1 - d. Let k = -28/5 - -6. Which is greater: k or q?
k
Let k be 0 + 3 - 50/16. Let d be (-8)/32 + 446/(-8). Let t be 2/(-6) - d/96. Which is greater: k or t?
t
Suppose 2*z - z + w = -6, 0 = -z + 5*w + 6. Suppose 3*r + 11 = 2*m, -5*m + 0 + 19 = r. Suppose -m*i - 15 = i. Is i < z?
False
Suppose 5*s - 2*v - 11 = 0, 0 = -3*s + v + 3 + 4. Let g be ((-1)/3)/1*s/(-4). Are -24 and g equal?
False
Let h be (-2 + 3)/((-3)/(-39)) + -4. Suppose 12*r - h*r = 3. Which is greater: -49 or r?
r
Let h be 16/(5*(-4)/(-40)). Let x be 4 + (3 - 404/h). Which is smaller: x or -5?
x
Let m(f) = -f**3 - 23*f**2 + 47*f - 24. Let z be m(-25). Which is smaller: z or 46?
46
Let k(b) be the first derivative of -3*b**2/2 - 9*b + 7. Let o be k(-4). Which is greater: 7 or o?
7
Let r = 9.14 + -1.23. Let l = r + -8. Let g = l - -0.09. Which is smaller: 2/3 or g?
g
Suppose -2*u + 0*q + 5 = q, -4*u = -2*q - 30. Suppose 1 = -6*m - u. Which is bigger: m or 1/19?
1/19
Let p be 3/(7/4 + -1). Let h(q) = q**2 + 10*q - 7. Let s be h(-10). Let g(t) = -t**2 - 6*t + 11. Let v be g(s). Is v equal to p?
True
Let j(n) = -n**2 + 8*n - 3. Let l be j(7). Let a = -722 - -725. Is a at least l?
False
Let o(a) = 2*a + 2. Let q be o(-6). Let y(u) = 4*u**2 + 6*u - 4. Let l(m) = m**2. Let t(z) = -3*l(z) + y(z). Let g be t(-5). Which is smaller: g or q?
q
Let a(w) = w**2 - 31. Let o be a(-9). Which is bigger: 49 or o?
o
Suppose 3*v + 84 - 36 = 0. Let o be (16/(-6))/(v/(-6) - 2). Which is bigger: -30/7 or o?
o
Let t = 562.9 + -536. Let n = 27 - t. Which is smaller: 17 or n?
n
Let z(k) = k**3 - 5*k**2 + 4*k + 4. Let b be z(4). Which is greater: b or 11?
11
Let f = 0.061 - 1.061. Let m = 0.068 - -0.132. Which is bigger: f or m?
m
Suppose 0 = 2*z - 11*x + 9*x - 74, -5*z + 4*x = -186. Is 38 <= z?
True
Suppose 582 = -160*o + 163*o. Which is greater: o or 191?
o
Let q = -6 - -6.32. Let k = q + 1.68. Let f = 2 + -2. Is f at most k?
True
Suppose 0 - 4 = -l. Let b(d) = -3*d**2 + l*d + 4*d - 1 - 2*d + d**3 - 4*d**2. Let c be b(6). Which is smaller: 2/19 or c?
c
Suppose 0 = 40*v - 59 - 3221. Is 82 at most v?
True
Let y(q) be the third derivative of -q**4/24 + 5*q**3/6 + q**2. Let j be y(6). Let p be -3 + 8 + (-4 - (12 + -24)). Which is smaller: j or p?
j
Let i be -4 - (-1 + (9 - 4)). Let s be (-59 - 3 - (4 + i))/1. Which is bigger: s or -56?
-56
Let v = -20/51 - -18/17. Let i be (21/(-18))/(-7) - 39/126. Are v and i equal?
False
Let v = -132 + 120.2. Let x = -10.1 - v. Which is bigger: x or 1/4?
x
Suppose w = -3*h + 9, 2*w + 2*h + 5 - 3 = 0. Let j be (-6)/(-39) - w/299. Which is greater: 0 or j?
j
Let q(c) = c**2 - 8*c + 6. Let z be q(5). Let p be (z - (-3 + 2)) + 1. Let l = p + 5. Is 5 at least as big as l?
True
Suppose 16*d = 13*d + 12. Suppose -3*f + 12 = -2*p, -3*p = -f + d - 0. Suppose 7 = -3*j + f*j. Is 7 equal to j?
True
Let z = 51093/4070 + -3/370. Which is greater: 12 or z?
z
Suppose s - 62 = -5*n - 0*n, s = 2*n + 27. Which is smaller: s or 40?
s
Let u(l) = -4*l - 10. Let r be u(-4). Suppose 2*x = -4*k - 2, -5*x - 5 = 4*k + r. Let h(i) = i**2 + 2*i - 1.