r equal to 0?
False
Let a(s) = 5*s - 26. Let b be a(6). Suppose -2*m + 43 = b*q - 7*m, 0 = 3*q - 2*m - 34. Let x be -4*(-1)/q + 2/21. Do x and -1 have the same value?
False
Let a(u) = 9*u + 40. Suppose 19*m - 15 = 22*m. Let b be a(m). Which is bigger: b or 9?
9
Let p = -326 - -221. Let v = -154792/5 - -30852. Which is smaller: p or v?
v
Let h be (-42)/(2/2 + -2). Let c(a) = a**3 - 21*a**2 - 24*a + 86. Let t be c(22). Let o = h - t. Is o <= -2/37?
False
Let j be ((-45)/(-21))/1 - 1. Suppose 36*c = 32*c + 92. Suppose -17 = 3*g - c. Which is greater: g or j?
g
Suppose 7*r = -888 + 118. Let v be (-1 - -3)/(44/r). Let k be v/2*-3*(-7)/(-42). Which is bigger: 1 or k?
k
Let d = 19/656 - -8377/50512. Which is bigger: 0 or d?
d
Suppose -4*p + 25 = -j, -4584*p + 5*j + 50 = -4589*p. Let r(b) be the first derivative of b**3/3 + 2*b**2 + 3*b - 1. Let a be r(-4). Is a smaller than p?
False
Suppose -41*b = -4741 - 3336. Is 203 < b?
False
Let d = 0.20687 - 0.10687. Which is smaller: d or -492?
-492
Let x = -55 - -59. Suppose h = -5*c + 10, h - 5*c - 10 = -0. Let y be (-75)/h*(-8)/12. Is x at least y?
False
Let p = -1979.9 + 432.9. Which is smaller: p or -2?
p
Let j = -727 + 2179/3. Let n = -189 - -190.27. Is n >= j?
True
Let g = -57664 + 58056. Let l = 163 - -228. Which is greater: l or g?
g
Let o be ((-1)/2)/((-11)/110) + -6. Is -3/1351 at least o?
True
Suppose -89*x + 14046 = -1262. Which is bigger: x or 2238/13?
2238/13
Suppose 5*a = -5*p + 2 + 8, -4*a + 2*p = -8. Let o be 0 + (-488)/1120 + a/5. Let s(x) = -x - 6. Let k be s(-7). Is o at least as big as k?
False
Let f = -50.9 - -51. Let n = 0.4 - f. Is 37 bigger than n?
True
Let h = -4636 + 4371. Which is greater: h or -2/11?
-2/11
Suppose 101 - 59 = -7*p. Let u(f) = -f - 3. Let x be u(-4). Let m be x + -2 + 2 + (p - 1). Which is greater: m or -5?
-5
Let m(i) = -i**2 + 5*i - 11. Let w be m(4). Let k be (-36)/(-21)*(-42)/(-4). Let x = 9 - k. Which is smaller: x or w?
x
Let v = 5440 + -5431. Which is smaller: v or 212/21?
v
Let j = 25 - 11. Suppose 25*r + 7484 = 7759. Which is greater: j or r?
j
Let w(k) = -2*k**3 + 13*k**2 - 20*k + 4. Let v be w(4). Let p = 9 - 8.91. Let u = -0.39 + p. Is u equal to v?
False
Suppose -26010 = -34*k - 8262. Is 520 < k?
True
Let b be -6 + (12 - (-15935)/(-25)) + (-6)/(-15). Is b greater than -607?
False
Let y(m) = -m**2 + 4*m - 8. Let q = -54 - -58. Suppose -25 = -q*v - 9. Let x be y(v). Is -27/4 smaller than x?
False
Suppose 2*j + 0 - 2 = 0. Let c(x) = 2*x**2 + 4*x + 45. Let w be c(-12). Let s = w - 28783/101. Which is bigger: s or j?
j
Let l = 3.0474 + 0.5926. Which is smaller: l or -24?
-24
Let o(c) = c**3 + 11*c**2 + 10*c + 5. Let s be o(-10). Suppose g = -4*g - s. Suppose 37*u + 69 = -42. Which is greater: u or g?
g
Let o be ((-6732)/(-45))/(46/115). Which is bigger: 375 or o?
375
Suppose 0 = -4*g - 16, g + 19 = 5*l - 40. Suppose 6*b + 25 = l*b. Suppose -b = -x + 3. Which is bigger: x or 10?
10
Let i be (-15)/18 - (-25864)/48. Let g = -534 + i. Which is smaller: g or -0.13?
-0.13
Suppose i + 2*t - 1 = 0, 150*t - 2 = 5*i + 153*t. Which is smaller: i or -75/172?
i
Let i = 53/430 - 1/43. Suppose 26*r - 3 = 23*r. Are r and i non-equal?
True
Suppose 4*s + 23*w = 24*w + 1886, w - 1404 = -3*s. Is s less than or equal to 473?
True
Suppose 2*n + n = 5*o - 1, -3*n = 5*o - 19. Let k(l) = 2*l + 11*l + 5*l - 6 - 15*l. Let b be k(o). Is b smaller than -3?
False
Let m = 3.65 + -1.75. Let x = 0.956 - -1.044. Do m and x have different values?
True
Suppose 4*m + 34 + 39 = 3*c, -2*m + 4*c = 44. Let k = 15 + m. Let w be -6 - ((-603)/87 + 1). Is k smaller than w?
True
Let u = -2315/170968 - -1/3976. Which is greater: u or 1?
1
Let s(f) = -2*f**2 - 92*f - 43. Let t be s(-48). Is t < -229?
True
Let f be (6/10)/(115/4025). Suppose -f*c - 235 = 38. Suppose m = 4*m + 39. Is c at most m?
True
Let c be ((-24)/20)/((-3123)/1560 - -2). Suppose -9*x + 35*x = -c. Is -17 at least as big as x?
True
Let y be (0 - -1) + -3 - -24. Let p(u) = 8*u**2 - 821*u - 1651. Let l be p(-2). Which is smaller: l or y?
y
Let d be 1779675/600 + ((-20)/(-32))/(-5). Which is smaller: 1/2 or d?
1/2
Let l be (-12)/9 - 10/15 - -6. Suppose 3*i + 47 = l*w, i + 3*i - 12 = 0. Which is smaller: 9 or w?
9
Let l be -28 + 6/3 + 3 + -6. Let o be 1/(-4) - l/4. Which is bigger: 31/4 or o?
31/4
Let v = -29635 + 29634. Which is greater: 0.06208 or v?
0.06208
Let c be (48/9)/(36/(-27) + 3). Suppose 2 + 7 = 3*n. Suppose -4*z + 5 = -n. Do c and z have the same value?
False
Suppose 25*s - 152 = -52. Suppose -2*h + s*m + 0*m = 22, -2*h - 46 = 2*m. Which is greater: -31 or h?
h
Let y = -1399.7 + 1518.7. Which is greater: -9 or y?
y
Let d = 465 + -436. Let l = 2 - 4. Let r = l + 2.1. Is r < d?
True
Let q(r) = -304*r + 5308. Let u be q(-32). Is u greater than 0?
True
Let o be 270*(330/(-75) + 4 + 2). Let l = -431 + o. Is l at most as big as 21?
True
Suppose -3*i - 2*i + 35 = 0. Let l = -7 + 11. Suppose 3*f - 3*u = 24, 0 = -l*f - 3*u + 4*u + 35. Do f and i have the same value?
False
Let j = 10 - 10. Let i = -2/113071 - 107399/320669356. Let o = -2479/7090 + i. Which is bigger: j or o?
j
Suppose -13 + 19 = 6*s. Suppose -2 = 4*p - p - t, -t = s. Let v be (-4 - -4)/(-1 + p - -4). Is 2/153 <= v?
False
Let a be (-4)/2 + (2 - 2). Let c = 310373.001 - 310373. Which is smaller: a or c?
a
Suppose 5*q = -3*p - 980, -2*q + 5*p - 417 = -56. Which is smaller: -194 or q?
-194
Suppose 0 = -9*k + 13*k + 716. Let d = -158 - k. Let l(i) = -i**2 - i - 1. Let j be l(-1). Which is smaller: d or j?
j
Let n(a) = a**3 + 6*a**2 - 5. Let c be n(-6). Let l = 207953 + -207966. Which is smaller: c or l?
l
Suppose -2*p - 93 = -25. Let q = p - -37. Let s be 4/q + (-28)/(-42). Which is smaller: s or 5/4?
5/4
Let r(m) = m**3 - 22*m**2 + 70*m - 21. Let u be r(18). Let q = -1814 + 5275/3. Which is bigger: q or u?
q
Suppose 17 = -11*n + 10*n. Let w(m) = -m**2 - 18*m - 2. Let p be w(n). Let u be 5/p + (-35)/123. Which is greater: u or -1?
u
Let o be (-60)/(-9) + 32/(-12). Suppose -5*z + 2*r = -217, o*z + 4*r = z + 151. Is z at most 4?
False
Suppose -3*q + 137*f - 133*f = -57, -4*f - 13 = q. Let o(p) be the second derivative of -13*p**3/6 - 2*p. Let c be o(-1). Which is bigger: q or c?
c
Suppose 52*r + 1746 = -s + 48*r, -s = -3*r + 1711. Is -1727 less than s?
True
Let i = 98 + -97.6. Let y be 10/40 + (-109)/36. Let z = -28/9 - y. Which is bigger: z or i?
i
Let h(d) = 35*d + 159. Let w be h(14). Suppose 3*t + w = 5*m, -10*t + 397 = 3*m - 8*t. Which is smaller: 649/5 or m?
649/5
Let w = -66.989 + 67.189. Let p = -0.82 - -1.76. Let t = 1 - p. Which is smaller: t or w?
t
Let i = 206 + -73. Let q = -93 + i. Let r = q - 50. Are r and -0.3 non-equal?
True
Suppose 2*u - 3*a = -1078 - 361, 2853 = -4*u + a. Is -713 at least as big as u?
False
Suppose -21*m - 1187 = -361 + 644. Is -69 < m?
False
Let r = 55 + -120. Let h = -505.8 + 571. Let y = r + h. Is -13 > y?
False
Let h = -1.61 + -118.39. Let a = -120 - h. Let x = 0.18 - 0. Are a and x equal?
False
Let d = 310 - -377. Is 2 >= d?
False
Let z = -22287 + 22224. Which is greater: 159 or z?
159
Let j = -1.58 + 0.08. Let r = 2.07011 - -2.92989. Which is smaller: r or j?
j
Suppose 254*b - 748*b - 279*b = 0. Let g be (-1006)/2490 - (-2)/5. Is b less than or equal to g?
False
Let i = 77 - 78. Let d(c) = -c**3 - 17*c**2 - 61*c + 21. Let z be d(-11). Is z at least as big as i?
False
Suppose 14*q = 19*q - 10. Suppose -q*o + 4 = -7*w + 2*w, 5*w + 7 = o. Which is bigger: o or -2?
-2
Let b be ((6 - 15) + (-141964)/(-15774))*3. Which is greater: 0 or b?
0
Let n = 68 + 19. Suppose 5*h - 5*r + 118 = -n, 0 = -2*h - 5*r - 103. Let u be 1180/h + 2/(-11). Which is greater: u or -29?
u
Let v be ((-1170)/273)/((-2)/(-14)). Let r = -465 - -435. Are v and r non-equal?
False
Let x = -638 - -606. Let m = -3.6 + 22.6. Let i = m + x. Do 0.1 and i have the same value?
False
Suppose 5*m - 35*t - 50 = -30*t, t + 4 = 0. Let a be 0 + 171/(-21) + m. Does -3 = a?
False
Let z = 10025 - 10194. Is 14 at most as big as z?
False
Suppose -i + d = -0*d - 13, -d + 41 = 2*i. Let z be (-8)/(-36) - (-1112)/i. Suppose -22*s = -24*s + z. Is 31 <= s?
True
Suppose 0 = -52*y - 594 + 2466. Is y at least 53?
False
Suppose -27 = -27*t + 18*t. Suppose 13*o = t*o - o. Which is smaller: o or 1/18