609. Let u = p + -1915/22. Is u equal to -1?
False
Let j be ((-3)/2)/((-18)/24). Suppose j*i - s - 2*s = 9, 12 = -4*i - 4*s. Which is smaller: i or 6/7?
i
Suppose 16*w = 4*w. Suppose 7*g - 17*g = w. Which is greater: g or 1/41?
1/41
Suppose t + 3*d = 0, 0*d = 4*t + 2*d + 30. Let b be (-1 + (-6)/t)*-12. Suppose -p - 3 + 8 = 5*w, w + 20 = b*p. Which is bigger: -2/9 or w?
w
Let i(g) = -g**2 - 4*g - 8. Let a be i(-5). Let q = a + 15. Let c be (q/10)/(9/(-108)). Is -3 < c?
True
Let a(s) = s**3 + 11*s**2 - 14*s - 9. Let i be a(-12). Let t = i - 15. Which is smaller: t or -4/11?
-4/11
Suppose 58*x - 61*x = -183. Which is smaller: 60 or x?
60
Let f(t) = t + 1. Let v be f(7). Suppose 0 = 4*j - v*j - 40. Is j less than -11?
False
Let f = -40 - -40. Suppose 1325 = 5*m + 2*u, -4*u = -0*u - 20. Let c = 3947/15 - m. Is c smaller than f?
False
Suppose -3*y - 2*m + 704 = 0, 6*m + 912 = 4*y + 2*m. Suppose l = 2*h + 5*l + y, 2*l - 380 = 3*h. Let k = h - -870/7. Is k <= 0?
False
Let u be ((-3)/(-3))/((-18)/(-306)). Suppose 0 = -z + 3*h - 3 - 13, -5*z - 108 = -h. Let n = z + u. Which is bigger: n or -2?
-2
Suppose i + 12 = -4*d - 25, 5*d = -5*i - 170. Which is smaller: i or -11?
i
Let m = 1251 + -1438. Which is smaller: m or -1672/9?
m
Let w = -2.6 - -26.6. Let f = 24 - w. Which is smaller: f or 14?
f
Let j = -1809 - -197179/109. Which is greater: j or 0.3?
0.3
Let y(r) = r - 1. Let x be y(3). Let w = 35 + x. Let u = w - 215/6. Which is smaller: 0 or u?
0
Let c = -747 + 751. Are 2 and c unequal?
True
Let y = -47/9 + 50/9. Are y and 76 equal?
False
Let a be 2/(-8) - 14/40. Let f(l) = 3. Let v(n) = -n - 5. Let t(d) = 5*f(d) + 2*v(d). Let w be t(3). Does a = w?
False
Let q = -16 + 20. Let w = -8 + q. Is w > 1?
False
Let h be 1/((-2)/((-12)/(-1)) - 0). Let a be ((-40)/h)/(-5 + 68/12). Suppose 0 = -5*c + 26 + 29. Is a greater than or equal to c?
False
Let t be (-2)/(-4)*(5 + -3). Suppose 51*w + t = 52*w. Let k(i) = -12*i + 2. Let v be k(2). Which is smaller: v or w?
v
Let x = -0.16 + 1.16. Let b be 143/33 - (-2)/3. Suppose -4*g + b*g - 17 = 0. Which is smaller: x or g?
x
Suppose r = -6*r + 49. Let b(o) = o**2 - 3*o. Let u be b(r). Which is smaller: u or 29?
u
Suppose 12 = -d - 5*g + 15, 0 = -4*d - g + 12. Let q(t) = -t**3 + 3*t + 1. Let o be q(-2). Is d bigger than o?
False
Let a be (-56)/(-196) - (-1056)/(-21). Are -52 and a non-equal?
True
Let v = -0.036 - 0.024. Let p = v - 0.04. Are p and 0.2 equal?
False
Let k = 175 + -175. Let l = 1/95 + 183/665. Which is smaller: k or l?
k
Let d(t) = t**3 - t. Suppose 5*i = 3 - 8. Let p be d(i). Let y = 45/4 - 11. Which is greater: p or y?
y
Let n = -24.1 + -2.9. Let i = -27 - n. Let d be 1/9*(-2 + 5). Is d < i?
False
Let u be 2 + 2 + (-436)/34. Which is greater: -10 or u?
u
Let r be 5/(3/(6/2)). Let m be ((-6)/r)/(5 - 3). Let f = -3 - -2. Is f smaller than m?
True
Let j = -11.1 - -2.1. Let c = 10.004 - 0.004. Let b = c + j. Is -4/9 less than or equal to b?
True
Let r be (1/7 - 28/196)/(-2). Is r > 1/353?
False
Suppose -y - 1 = -3. Let o be 2/2*y/2. Is -1/12 at most as big as o?
True
Let k = -30 + -17. Let y = -29 - k. Let v be (-2)/(-6) - y/(-27). Which is smaller: 0.18 or v?
0.18
Let h = -8.6 + -4.4. Are h and 7 non-equal?
True
Suppose 0 = 25*r + 423 + 277. Which is bigger: r or -25?
-25
Let h = -20 - -20. Suppose -l - 17 = 2*n - 4, 2*l + 3*n + 23 = h. Let r = -2 - l. Is 4 at most as big as r?
True
Suppose -16*h + 71 = 7. Which is smaller: 7/2 or h?
7/2
Let h be (0 - -2) + (-6 + 5)/(-1). Suppose -3*t + 2*p + 53 = 0, 4*t - h*p = t + 57. Is t at least as big as 15?
True
Suppose -4*f = -3*v + 169, -2*v = f - 7*v + 55. Let j = 47 + f. Do 1 and j have different values?
True
Let j be 35596/18 + -3*(-12)/81. Is j <= 1978?
True
Let q = 3500.73 - 3466. Let d = q + -35. Let f = 0.37 + d. Which is greater: f or -6?
f
Let h = -229 + 258. Which is bigger: h or 0?
h
Let q = -63 + 51.4. Let i = -3.6 - q. Let j = i - 4. Which is smaller: -3 or j?
-3
Let s be -4 - -1 - (135 - 23). Let g be s/(-5) - (-3 + 2). Is 23 >= g?
False
Suppose -2*i + 6 = p, -4*i + 4*p - 28 = -16. Is i greater than -3/62?
True
Let u be ((3/18)/1)/((-1)/(-3)). Is u equal to 0.1012?
False
Let f be -5 - (1602/6)/3. Which is smaller: f or 0.1?
f
Let h = 1783 + -1736. Is 44 at most as big as h?
True
Let v = 0 + 1. Let r = 11 + -9. Suppose -t = -r*t + 7. Is v <= t?
True
Suppose 0 = 5*w - 5*l - 50, l - 16 = -w - 2. Suppose 0 = -8*u + w - 4. Do 5/4 and u have the same value?
False
Let v(b) = -b**3 + 7*b**2 - 2*b - 3. Let n be v(6). Let y(o) = 3*o**2 - 16*o + 4. Let c be y(5). Let h be c*(3 + (1 - 27) + 2). Are h and n equal?
True
Let q be (-18)/15 - 2/(-10). Let z = -153 + 165. Are q and z equal?
False
Suppose -5*r + t + 10 = 2*t, -4*t = 20. Is 3 >= r?
True
Let v = 0.0455 - 0.0555. Which is greater: 46 or v?
46
Let p = -0.59 - -11.69. Let w = p + -11. Are -0.06 and w nonequal?
True
Let u(s) be the third derivative of -s**5/60 + 7*s**4/24 - 5*s**3/6 + 3*s**2. Let x be u(5). Let r be 1 + -1 + -13 + x. Are r and -9 nonequal?
True
Suppose -4*i + 91 = j - 7*i, -3*i + 15 = 0. Let h be 4/10*(-266)/(-1). Let w = j - h. Is 1 greater than or equal to w?
True
Suppose 3*y + i + 18 = 0, 4 = -y - 3*i + 2*i. Let o be y/(-3)*14/(-49). Let j(s) = -s**3 - s**2 + s - 1. Let l be j(0). Is o < l?
False
Let m = -0.0523 - -0.0273. Is 4/7 smaller than m?
False
Let t be (-26)/(-117)*(-246)/(-79). Let g = t + -2/79. Which is smaller: -4 or g?
-4
Let l = -324 - -325. Which is smaller: -1.76 or l?
-1.76
Let c = -26 - -27. Suppose 2*s - 101 = -4*x - 27, -c = -x. Suppose j = -6*j - s. Which is smaller: -6 or j?
-6
Let a = 115.94 + -112. Let q = 6.94 - 7. Let b = q - a. Do b and 1 have the same value?
False
Let k = 22.6 + 7.4. Is -3 at most k?
True
Let y = -23 - -48. Suppose 0 = 5*u - y. Suppose 0*h = -u*h + 25. Which is greater: h or -2?
h
Suppose 45 = -5*z + 5*x, 5*z + 2*x + 28 + 38 = 0. Let y be 15/z*-2*4/20. Which is bigger: -8 or y?
y
Suppose -4*f = -4*i - 12, -4*i - 6*f = -8*f + 22. Which is greater: 22 or i?
22
Suppose 0 = 4*q - 5*q + 15. Let b = 67 - q. Let p = -154/3 + b. Is 1 equal to p?
False
Suppose 4*v - 2 = 3*a, 0 = -5*v + a - 2 + 10. Let n be 524*(v + 21921/(-10962)). Let y = n + 4/63. Which is greater: 0 or y?
y
Suppose -5*o = 2*v - 8, -v + 1 = -0*o + o. Suppose 14 = -3*u - 5*z - 0*z, -3*u - 10 = 4*z. Let h(d) = -d**2 + d - 2. Let i be h(u). Does i = v?
False
Suppose 0 = -0*q + q. Let r be -2 + 4 + 66/(-51). Which is greater: r or q?
r
Let c = -4.544 - 0.056. Let y = c - -2.6. Is y smaller than -16?
False
Suppose 8*w = -12*w + 20. Which is bigger: w or 1/135?
w
Let l(n) = n**2 - 7*n - 19. Let d be l(9). Which is bigger: d or 0.084?
0.084
Let v(y) = -y**3 - 3*y**2 - y - 1. Let m be v(-3). Suppose 4*h - 3*a = m*a - 5, -5 = -a. Let l be (h - 2)*1/(-17). Which is smaller: -1 or l?
-1
Let c = 2.8 + -2.7. Which is bigger: c or -6/13?
c
Let h = 842.9 + -843. Which is smaller: h or 26.1?
h
Suppose -3*m - 3 = 4*g - 4, -4*m - 36 = -4*g. Which is smaller: g or 27/8?
27/8
Suppose j - x - 16 = 0, -5*j - x + 52 = x. Let g = -20/19 - -668/57. Is g bigger than j?
False
Let z(h) = 3*h**2 - 3*h - 3. Let q be z(-1). Let c be ((-3)/6)/(5/34) - q. Is -7 at most as big as c?
True
Suppose 0 = 4*u - 3*y - 49, 3*y - 5*y = 2*u - 14. Which is smaller: u or 99/10?
99/10
Let a be (0 + 18)*(534/12 + -9). Is a at least as big as 639?
True
Suppose b - 6*b + 15 = 0. Let p(m) = -7*m - 4. Let a(k) = 15*k + 9. Let w(n) = 2*a(n) + 5*p(n). Let x be w(-1). Do x and b have the same value?
True
Let b = -21 + 25. Let w be 3*((-11)/3 + b). Which is greater: w or 2/183?
w
Let q = -301343/95 + 3172. Is q greater than 1?
False
Suppose 3*r + 203 = 5*n, -4*n + 0*n - 5*r = -155. Let m = n - 38. Is 1 less than or equal to m?
True
Let f = 25 - 20. Suppose 0 + f = -5*z. Are 2/69 and z equal?
False
Let u be ((-6)/11)/(-13 - -10). Which is bigger: -8 or u?
u
Let a(o) = o**3 - 12*o**2 - 11*o - 2. Let j be a(9). Let v be (-3)/(36/j) - 2. Let u = v - 4394/165. Are u and 1 non-equal?
True
Let d be 5*(-9)/60 + (-369)/52. Which is greater: d or -8?
d
Suppose 5*v + 4*d + 72 = 0, 3*v = 3*d + d - 56. Let y = -22 - v. Suppose 18 = -4*s + j, -1 - 21 = 4*s + j. Which is greater: y or s?
s
Let i(g) = g**3 + 4*g**2 - 6*g - 2. Let u be i(-5). Let b be 1*3