ame value?
False
Let b = 0.03 - 0.33. Let s = b - -1.5. Which is smaller: s or -1?
-1
Let q be (3 + 2192)*2/(-12). Let j be 365*(1 - -2 - 4). Let p = j - q. Which is smaller: p or 0?
0
Let b(t) = -4*t + 5 + 5*t - 3*t. Let h be b(-3). Let o = -6/29 - -41/58. Which is smaller: h or o?
o
Suppose q = -44 + 60. Suppose 0 = q*i - 66 + 194. Are i and -9 non-equal?
True
Let k = 19 + -13. Suppose 0 = -5*n - 19 - k. Let x = 16 - 19. Do n and x have the same value?
False
Suppose 72*j + 8 = 76*j. Suppose -126 = -11*m + j*m. Which is smaller: 15 or m?
m
Suppose -8 = 4*h - 2*j - 2*j, 2*j - 4 = -2*h. Suppose -5*c + 20 = -3*f - 2*f, -5*c - 5*f = h. Which is greater: c or 7?
7
Let m = -1742 - -850. Is m <= -891?
True
Let b = 91 + -55. Let f = 25 - b. Which is smaller: f or 3?
f
Let m = -1492 - -1485. Which is greater: -2/137 or m?
-2/137
Let u = -4787/2124 + 2/531. Suppose 30*w = 23*w - 602. Let x = w + 83. Which is bigger: x or u?
u
Let v be -3*2/(-3) - -3. Suppose v*b + 55 = -20. Let l be (1/(-2))/(b/360). Which is smaller: 13 or l?
l
Let n = -489/592 - -1/74. Which is smaller: n or -1?
-1
Let v be 1/(23/6 + -4). Let r be v/(-5)*-1 + (-1)/5. Suppose -2*y - 3 = y. Is y at least as big as r?
True
Let p be ((-39)/6)/(3/(-30)). Let b be 13/(p/(-2)) - 12/(-25). Let y be 0 - 0*1/(-3). Which is smaller: y or b?
y
Let b = -10 + -31. Let k = -10761 + 10721. Which is bigger: b or k?
k
Let i(d) = 11*d**2 + 10*d - 21. Let u be i(2). Let k be ((-7)/2)/(2/(-24)). Which is greater: k or u?
u
Let g = -3760733/11 - -342133. Let l(i) = 12*i**2 - 9*i - 7. Let k be l(5). Let w = g - k. Is -1 at most w?
True
Let x = -1.078 - -0.668. Is -12 bigger than x?
False
Let t(n) = 2*n + 26. Let m be t(-5). Let r = 19 - m. Which is greater: r or 0.02?
r
Let t(v) = -7*v**3 + v - 1. Let h be t(1). Let o = 8 + h. Let c = -8 - -7. Which is bigger: c or o?
o
Let j = 284.1 - 284. Which is greater: 23 or j?
23
Suppose -2*f + 5*f = 2*y - 3, -4*y = 2*f + 2. Let w = 0.02 + 1.58. Which is greater: w or f?
w
Let z = 0.27 + -15.27. Let u = -60 + 76. Let k = z + u. Are k and 2 non-equal?
True
Let p = 52 + -63. Let c = p - -12. Is c greater than 0?
True
Suppose 115*g = 118*g - 6. Let x be ((-4)/(-142))/(-2 - g - -3). Is -1 != x?
True
Let u be (-4 - 128/(-36))/(-1). Which is bigger: u or -51?
u
Let f(z) be the first derivative of z**4/4 - z**3 - z**2/2 - z - 3. Let o be f(3). Let q be o + 2 - 13/(-6). Is 1 at least q?
True
Suppose -5*l - 36 = -4*z - l, 0 = 3*l + 15. Let m(i) = -i + 5. Let y be m(z). Which is bigger: -3/17 or y?
y
Let x = 3038 - 2217. Is x not equal to 821?
False
Suppose 5*g - 274 = y, g - 282 = -3*y + 4*y. Is y != -282?
True
Let t be -20*(6/(-14) + 16/(-28)). Suppose 4*s = -7 + 23. Suppose 3*j - 7*j = -t, 5*i - s*j = -120. Which is bigger: -21 or i?
i
Let q(z) = -z - 15. Let m be q(-17). Suppose m*u = -5*r - 0*u + 13, 3*u + 6 = r. Suppose a - 4 = -a. Is r greater than or equal to a?
True
Let p = -42 + 69. Are 30 and p nonequal?
True
Let x = -0.94 + 1. Let a = 25.53 - 23.53. Which is greater: x or a?
a
Suppose 0 = -5*d + 3*s - 10, -5*s + 6 = -19. Let c be -3 + (-3 - d) + -1. Which is smaller: c or -7?
c
Let b = 16 + -2. Let r(t) = t**2 - 12*t - 11. Let w be r(b). Let o be -2 - 2 - (-66)/w. Is -2/5 < o?
True
Let p(s) = -3*s**2 + 3*s - 1. Let i(f) = 2*f**2 - 2*f + 1. Let n(o) = -5*i(o) - 4*p(o). Let v be n(2). Which is smaller: 1/6 or v?
1/6
Let t be (-3 - (-4)/2) + 7. Let h be (t/5)/(5/25). Suppose 4*d - 2*x + h = 2*d, -5*x - 48 = 4*d. Which is greater: d or -8?
d
Let i = 39 - 42. Suppose -y = 2*y - 3*q - 18, 3*q + 4 = -4*y. Suppose 0 = 3*h + y*n + 8, 0 = 2*n + 4 - 2. Which is smaller: i or h?
i
Let m = -0.8 + 0.6. Let n = 352/3 - 116. Which is greater: m or n?
n
Let i = 8411 + -24986/3. Which is smaller: 81 or i?
81
Let a = 65.26 - 65. Let n = -0.28 + -1.58. Let x = a + n. Which is smaller: x or -2/5?
x
Let m = 47/440 + 3/40. Let y be 11/(154/(-12))*7. Let s(g) = -g**3 - 6*g**2 + g + 5. Let d be s(y). Which is smaller: d or m?
d
Let i be 1/(-126)*6*(-2)/(-123). Does -1 = i?
False
Let h = 78 - 85. Which is smaller: -12 or h?
-12
Let h = 692 + -844. Which is smaller: -1 or h?
h
Let z be ((-1)/(-2))/((-10)/(-28)). Let t be (0 - 0)/(11 - 23 - -8 - 1). Which is smaller: z or t?
t
Suppose 3*v + 2*v = 5*g + 20, 2*g + 5 = -v. Suppose 0 = 2*k + 2*k. Let b = v - k. Is b at least -1/17?
True
Let a = -599 + 4202/7. Is 1 equal to a?
False
Let p = -30 + 28. Let y be (p/(-6))/((-8)/12)*-16. Which is bigger: y or 1?
y
Suppose -162*r = -157*r - 3105. Is 623 > r?
True
Suppose 5*b = -2*a + 16, -a + 9 = -0*b + 3*b. Suppose 1 + 3 = b*u - z, -2*u + 4 = -2*z. Is -15 at most as big as u?
True
Let n = 11 + -41. Let b = 1.122 - 1.122. Which is bigger: b or n?
b
Let w = 14884/49335 + 2/1495. Suppose -31*j = -37*j - 55*j. Which is greater: j or w?
w
Suppose 5*y - 42 - 8 = 0. Suppose -y + 2 = -4*l. Is l smaller than 6/5?
False
Let n = 18.2538 - 18.19. Which is smaller: -0.2 or n?
-0.2
Let a be (14/(-21))/(66/(-159)). Which is greater: a or 2?
2
Let z = -3/2929 + -509613/32219. Is z >= -17?
True
Let x = -2 + 20/9. Is -1 at least as big as x?
False
Let p be (1/(-7))/(13/(-741)). Is p <= 7?
False
Let d be 56/(-48) - (0 + (-3)/(-6)). Is d not equal to 0.05?
True
Let y = -844 - -845. Which is bigger: y or -1/180?
y
Let l = 26 - 16. Let j be 3*6/(-9)*l. Let q = -18 - j. Which is smaller: q or 7/6?
7/6
Suppose 13 - 64 = 3*g. Let d be (g + 9)*(-3)/(27/(-2)). Which is bigger: -3 or d?
d
Let v be (8/6 - 1)*(-12)/(-4). Suppose 4*k - t = 16, -15 = 4*t + v. Is 26/7 at least as big as k?
True
Let q(c) = -17*c - 17. Let s be q(-1). Is s greater than -1/310?
True
Let w = -0.454 + 1.754. Which is bigger: 0.1 or w?
w
Suppose 0 = 4*b - 668 - 144. Let a be -1 - (-5682)/(-28) - -1. Let g = a + b. Is g at least as big as 0?
True
Suppose -3*u - j = -8 - 22, 4*u - 3*j - 40 = 0. Let f be (12/(-98))/(u/(-70)). Which is bigger: f or 0?
f
Suppose -2*g - 66 = -5*k, -5*k + g + 0 = -68. Which is smaller: k or 20?
k
Let x = 0.72 + -27.72. Let d = x - -25. Is 17 >= d?
True
Let z = -260.7 + 201.7. Are 5 and z equal?
False
Let l be ((-90)/(-4))/(42/280). Let k = l - 150. Let f = 0.4 + -0.3. Is f bigger than k?
True
Let a(d) = d**2 - 6*d + 5. Suppose 5*f = 4*n + 12 - 57, -10 = -5*n - 3*f. Let y be a(n). Let t(c) = -c - 1. Let p be t(y). Is p less than or equal to -1/14?
True
Let g = 349 - 386. Is g bigger than -38?
True
Let c = 29.53 + -29.4. Let b = -9.9 - -10. Which is smaller: c or b?
b
Suppose 0 = 3*a - 4*c - 4, 4*a + 0*c = 3*c + 3. Let l = 3 - -2. Suppose 0 = -2*d + l*d + 2*h - 2, 14 = -d + 3*h. Is a at least d?
True
Let k = 1089/34 + -32. Let p = 8 + -8. Is k smaller than p?
False
Let z(p) = -40*p**2 + 68*p + 3. Let g be z(4). Are -366 and g non-equal?
True
Let g = 0.102 - -8.898. Which is smaller: -15 or g?
-15
Suppose -4*y - y = 0. Let p(g) = -g + 12. Let b be p(11). Let j = b - y. Are 2/23 and j unequal?
True
Suppose 15 = 5*m - 10. Suppose 4*r + 32 = 5*c - 1, -3*c - 5*r + m = 0. Let k be 2 + ((-5)/(-10)*-14 - (-1 - 5)). Is k not equal to c?
True
Suppose 3*h - 13*h + 50 = 0. Let g(f) = 12*f + f**3 - 4 - 2*f**2 - 4*f**2 - 5*f. Let s be g(h). Is 5 smaller than s?
True
Let u(k) = -3*k**2 + 41*k + 161. Let a be u(-4). Is -44 at least as big as a?
True
Let r = -33 + 21. Let i = r - -12.1. Let g(m) = m + 11. Let p be g(0). Which is bigger: p or i?
p
Let r = 271 + -269. Which is greater: r or 2/9?
r
Let f = 7 - 3. Suppose 53 - 21 = -f*s. Let b be s/(-20) + 1/(-3). Is b greater than 1?
False
Let z = -275 - -276. Which is greater: -3 or z?
z
Suppose -5*v + 5 = 2*d + 2, 4*d = -3*v + 13. Let a = 227 + -206. Let j be (-7)/d*(-6)/a. Which is bigger: j or 1?
1
Let j be (-138)/(-92) - (-220)/(-376). Is j != 1?
True
Let d(o) be the second derivative of -o**5/20 + o**4/4 + o**3/6 + o**2 - 17*o. Let q be d(4). Which is smaller: q or -9?
q
Let f be 3/(-3)*(-3 + -2). Suppose f*q + 25 = 0, 4*n - q = 5 - 16. Let a be (-35)/(-25) - n/(-10). Which is smaller: 1/15 or a?
1/15
Suppose -538 = -8*v + 830. Suppose 3*c = 6*c + w - v, -122 = -2*c + 2*w. Is 58 bigger than c?
False
Let u be 5 + (1 - 4)*4/12. Suppose 2*v - u*z = -3*z, v - 2*z = 0. Let o be 8/(-3) + 1 - -1. Is v bigger than o?
True
Let f = -14767/3576 + 2/447. Are -3 and f equal?
False
Suppose -19*v + 580 = 