Which is smaller: 3 or d?
d
Suppose 0 = -5*n + n - 12. Let o be n/(-5*1/(-5)). Let r = -2 - -1. Which is smaller: r or o?
o
Let u be (-2)/4*(-16 + 10). Let p be (-1 + 2)/(25/55). Is u <= p?
False
Let l be -3 + 0 - (0 + 0). Let c be (l + 1)/(3/6). Let b = -4 - c. Are b and -6/11 non-equal?
True
Let q be 33*(-1)/(-24) + -1. Let s = 9/8 - q. Do s and -6/7 have the same value?
False
Let v = -4400.045 - -4415. Let a = v - -0.045. Is 2/3 at least as big as a?
False
Let a = 1294 + -20695/16. Which is smaller: -1 or a?
-1
Let h = -23.1 + 13. Let s = 4.4 + 5.6. Let b = s + h. Are b and -2/5 equal?
False
Let b = 1 - 1. Let y be -8 + 7 - 204/(-10). Let q = y - 93/5. Which is smaller: b or q?
b
Let l = 61 - 41. Let y = 13 + 2. Suppose 4*k + 105 = 5*t + 9*k, y = t - 5*k. Is l > t?
False
Let h(u) = -2*u - 1. Let v be h(-3). Suppose -11 = v*p - 51. Suppose p = -2*t - a, -t + 9 - 35 = -5*a. Is t at least -3?
False
Suppose 109*y - 106*y + q = -49, -y - 5*q = 35. Let z = -11 + -5. Which is greater: y or z?
y
Let u be -33*-4*11/1056. Is u at most 1?
False
Let r = 168444 - 26950949/160. Let m = 1/32 + r. Which is smaller: m or 2?
m
Suppose -5 = 4*s - 21. Suppose 0 = p + 4*d - s, 0*d + 2*d - 2 = -3*p. Is -3/19 greater than p?
False
Let h = -10643/477 - -202/9. Which is smaller: 0 or h?
0
Let p = 125 - 111. Let j(g) = -g. Let r(n) = 24*n + 3. Let f(m) = -15*j(m) - r(m). Let l be f(-2). Which is smaller: p or l?
p
Let w = -247.2 - -58.2. Is w at least as big as -1?
False
Let o(s) = s**2 - 4*s. Let a be o(3). Let r(n) = n + n**2 - 172 + 86 + 82. Let p be r(a). Which is bigger: p or 4/3?
p
Let n = 0.8 + 0.2. Let y = 23 - 25.6. Let v = -2.7 - y. Is v less than n?
True
Suppose 1726 = 3*z - 8*f + 10*f, z = 4*f + 580. Is 576 < z?
False
Let u(j) = -j - 16. Let g(q) = -q**3 + 8*q**2 - 10*q + 6. Let p be g(7). Let z be u(p). Which is greater: -5 or z?
z
Suppose 4*h = t - 88, -2 = -h - 3. Let w = 101 - t. Suppose -2*g = -3*g + 18. Which is greater: w or g?
g
Let y be (-27)/(-45) - 17/(-5). Suppose -y*b + 78 = 14. Let u be (-5)/(-20)*b/74. Which is smaller: u or 1?
u
Let a = -0.0371 - -1.2001. Let w = a - 0.013. Let l = -1.1 + w. Is 0 != l?
True
Let l(i) = -11*i - 2*i**2 - 19 + 5 + i**2. Suppose 30*y + 3*r - 2 = 29*y, y + 18 = 2*r. Let d be l(y). Which is smaller: -2/9 or d?
d
Suppose 7*z + 406 = -4*l + 5*z, l = -3*z - 109. Is l equal to -100?
True
Let g = 0.041 - 23.041. Let h = g + 13. Let m = h - -10. Is -2/37 equal to m?
False
Let b be (-1)/(-2)*(-84)/42. Which is smaller: -21/53 or b?
b
Let v = 518 + -577. Which is bigger: v or -58?
-58
Suppose 4*i - 12 = -0*i. Suppose i*h = 6, 3*h - 5 = z - 3. Suppose -2*w - b = 2, 0*b = 3*w - z*b + 3. Which is greater: -4/9 or w?
-4/9
Let y = -86 + 87. Suppose 0 = 5*z + 15, 2*m - 15 = 2*z - y. Is m > 6?
False
Let z = -218.3 + 219.3. Is 907 greater than z?
True
Let a(y) be the first derivative of -y**3/3 - 3*y**2 + 2*y - 2. Let w be a(-5). Let t be -20*6/(-20)*108/81. Is w < t?
True
Suppose 17 + 15 = 3*i - 2*y, 8 = 2*i + 2*y. Let u = 5 + i. Let x(n) = 4*n - 149. Let c be x(41). Which is greater: u or c?
c
Let h = 6.07 - 0.07. Let p = 5 - h. Are 0.5 and p equal?
False
Let j = -541 - -68165/126. Is -1 not equal to j?
True
Let z = 73 + -877/12. Let q be 6/(-15)*(-30)/6. Let m be -4 + q + 3 - 2. Is m != z?
True
Let r = -241.26 - -240. Which is greater: -1 or r?
-1
Let r(z) = -z**2 - 31*z - 231. Let p be r(-12). Which is smaller: -6 or p?
-6
Suppose -5*b + 2*w = 2, 4*b = 3*w - 2 - 1. Let x(q) = 31*q**2 - 1. Let g be x(-1). Let p be -2*4*3/g. Which is smaller: p or b?
p
Let o be ((-308)/(-35))/(4/30). Suppose -2*w = w - o. Which is greater: w or 23?
23
Let y = 0.2 - 0.58. Let u = y - -0.28. Do -25 and u have different values?
True
Let v be ((-6)/(-4))/(24/(-32)). Let t be (2 + -3 - v) + -26. Do t and -25 have different values?
False
Let y = -36 + 55. Suppose 4*q - a = 83, -7*a = -12*a - 15. Let b = q - y. Are b and 0 equal?
False
Let t = -6.6 - -6.5. Let d = -0.1 + -2.9. Let a = d + 3. Which is bigger: a or t?
a
Suppose 27*h = 28*h + 14*h. Let l be 1/(-1) - 6/(-5). Which is smaller: l or h?
h
Let t = -21 + 25. Suppose 2*d + t*r = 3*r + 8, 3*r = 2*d. Which is smaller: 3/2 or d?
3/2
Let a = 0.1 + -1.1. Let x = 42.09 + 4.91. Which is bigger: a or x?
x
Let q be 1/3 + 364/390. Let h = q + 16/165. Which is bigger: 2 or h?
2
Let m be 1056/286 + (-4)/1. Let w = -2 - -3. Which is smaller: w or m?
m
Suppose 1 = 3*k - 11. Let v be 5/10*(-1 - -1). Suppose -20 = -5*u, -m + k*u - 15 - 5 = v. Is -3 at least as big as m?
True
Let c = 456 + -467.29. Let q = c + 11. Is q < 0?
True
Let v(x) be the third derivative of x**5/60 - 2*x**4/3 - 2*x**3 + 9*x**2. Let r be v(17). Do -1 and r have different values?
True
Let n = 4722 + -4708. Suppose 0 = -0*q - 2*q + 30. Which is greater: q or n?
q
Suppose -50*f = -140 - 210. Suppose -5*r + 4 = -r. Is r greater than f?
False
Let v = 0.07 + -3.07. Let y = v - -1. Let n = -5 + y. Which is smaller: -1 or n?
n
Suppose -7*p - 325 = 6*p. Is p > -10?
False
Suppose 5*o + 34 - 4 = 0. Let r be o/33*(-1)/3. Suppose -18*g = -15 - 3. Which is smaller: r or g?
r
Let m be ((-15)/(-6) + -3)*-10. Suppose -35 = m*f - 40. Let j be (-1)/(-2) + 0 + 0. Which is bigger: j or f?
f
Let v = -0.2044 + -124.6956. Let k = v - -125. Suppose 0 = 3*q + 2*q - 5. Is k bigger than q?
False
Let c be (-6)/(-112) - (-33)/88. Let n = 8 - 4. Suppose -2*i = -a + 3*i - n, -5 = -5*i. Is a not equal to c?
True
Let x = 32 + -29. Let c = 13 + x. Are 16 and c nonequal?
False
Suppose -j = 11 - 13. Suppose j*m + 3*y = m - 45, y = 2*m + 62. Is m > -33?
False
Let p = 40/33 + -6/11. Suppose i = 4*i - 3. Which is bigger: p or i?
i
Let l = -195 - -200. Which is greater: l or 24/5?
l
Suppose -23 = 4*h - 19. Suppose 0 = 2*t + 21 - 81. Let u be (-10)/3*4/t. Which is greater: u or h?
u
Let m = 2608/45 + -58. Which is greater: m or 2?
2
Suppose 0 = 12*i + 2 + 94. Let s(w) = w**2 + 7*w - 1. Let y be s(-6). Is i at least y?
False
Let d = 13569/41 + -331. Is d greater than or equal to -6?
True
Let i = -8241/77 + 107. Let b be 4/8*0*(-1 - 0). Are b and i unequal?
True
Let h be 135/390 - 4/(-26). Let j = 2.15 + -0.15. Let y = 9 - j. Which is smaller: h or y?
h
Let z = 54 - 111. Let f = z - -173/3. Suppose 2*v = -2*a + 3*a + 1, 5*v = 5*a. Which is smaller: a or f?
f
Let n(q) = -q - 4. Let l be n(-8). Let b be l/(-18) - (-342)/81. Which is smaller: 6 or b?
b
Let k = 6.28 + -0.28. Let t = k + -6.3. Is 0.3 <= t?
False
Let v be 15/(-2)*576/(-240). Let t = 0 - 0. Suppose t = -2*l - 8 + v. Does l = 4?
False
Let z be -7 + 8 + -3 + -9. Do -13 and z have different values?
True
Suppose 0 = 9*k + 58 - 31. Which is greater: -29/11 or k?
-29/11
Let r = -17 + 17. Let w = 330 + -2316/7. Is w less than r?
True
Let h = 181 - 148.1. Let f = h - 28. Let u = -5 + f. Is -1.6 not equal to u?
True
Suppose 2*x - 429 = -x. Is x equal to 142?
False
Let u = 0.275 - -13.825. Let d = 13.65 - -0.35. Let p = u - d. Which is greater: -0.05 or p?
p
Let l = -5 - -4.92. Let d = l + -3.92. Let r = 4 + d. Is 4 less than r?
False
Let m be (-1 - 50/12)*(46 - 44). Is m bigger than -2?
False
Suppose 3*c - 12 = 15. Suppose 1268 + 928 = 304*f - 844. Is c >= f?
False
Suppose 2*o = -5*v + 1, -3*v + 2*o = -2*v + 7. Let g be 9/(-21) - 4797/(-21). Let p = g - 4103/18. Which is smaller: v or p?
v
Suppose 11*w + 25 = 6*w. Let s be 9/(-243)*48/w. Let l = s + -5/9. Is l at most -2/3?
False
Let u = -1455 - -2689. Is u not equal to 0?
True
Let u = 31 + -30. Let d be (0 + u/2)*(-4)/33. Is 0 less than or equal to d?
False
Let q be 20/(-12) - (-4)/6. Is q < -1?
False
Let h be 6/(36/15)*16/10. Let f = 15 - 11. Suppose -f*k + 0*k + 4*i = 44, h*k + 4*i + 12 = 0. Is -7 bigger than k?
False
Suppose -58*q + 2*i = -53*q - 2521, -1513 = -3*q + i. Which is bigger: q or 508?
508
Let q be ((-4)/(0 + 2))/2. Let g = q + -3. Let h = -3 - g. Is h equal to -1/8?
False
Let x(s) = s**2 + 8*s + 7. Let b be x(-7). Let j be (1 - -3)*(b + 1). Suppose -2*p - 4*g - g + j = 0, 4*g + 1 = -p. Is 7 at most p?
True
Let m = -104 + 130. Is 27 greater than m?
True
Let o be ((-14)/(-4) + -4)*0/2. Is -12/65 at most as big as o?
True
Let z be (24/14)/((507/(-1820))/39). Is z != -240?
False
Let q be 5 - 231/45 - 212/(-15). Are q and 8 equal?
False
Let z = 0.304 - 0.404. Whi