12*(-18)/(-52) - -2. Suppose 3 - 9 = -2*g. Suppose -3*i + g = -4*s - 4*i, 0 = 2*s - i + 3. Which is greater: s or p?
p
Let i = 463 - 124. Let f = -345.9 + i. Is f not equal to 2?
True
Suppose -2*d + 767 = z, 3*d - 1 = -10. Does z = 772?
False
Let c(u) = -u**2 + 5*u + 3. Let k be c(6). Let h = 62888/39 - 4850/3. Is k less than or equal to h?
False
Let g = 200.733 + -201. Let y = g - 0.733. Do y and 2.3 have different values?
True
Suppose 0 = 2*f + 2 - 8. Suppose 12*y = 11*y + 3. Let l be 4/(-3) - (-7)/(y - -18). Is f smaller than l?
False
Let v = 0.8823 + 0.1177. Is 0.4245 < v?
True
Let m = -48 + 104. Let v be (-7)/(-5)*(-16)/m. Let n be (-2 - 0)*(-94)/4. Which is bigger: n or v?
n
Suppose 17*d - 60 = 2*d. Let r(p) = 17*p - 72. Let w be r(d). Which is smaller: w or -88/17?
-88/17
Let o = -363 + 289.5. Let j = o + 73.6. Which is smaller: j or -1/15?
-1/15
Let q(k) = -27*k - 913. Let d be q(-58). Which is greater: d or 657?
657
Suppose 37 + 33 = i - 5*x, -4*i - 5*x = -230. Suppose 13*y = 19*y + i. Let u be 1 + -4 + (-3 - y). Which is greater: u or 7?
7
Suppose -2*l = -6*l + 276. Which is smaller: l or 2/21?
2/21
Suppose -5485 = -4*h + 36*h - 1869. Is h != -132?
True
Let t be (-1034)/(-47) - (-78827)/(-7). Are t and -11239 equal?
True
Suppose -5*k = -4*p - 674 - 100, -5*p = 3*k + 912. Which is bigger: p or 2?
2
Let o = 117323/7914509 + 12/118127. Suppose -6 = -h - 3*q, -2*h + q - 3 = -1. Are o and h nonequal?
True
Let l = -4.88 + 3.14. Let r = -1.74 - l. Is r >= -1/3?
True
Let d(n) = -38*n - 220. Let r be d(-6). Suppose -3*m - r + 1 = 2*h, 4*h + 4*m + 20 = 0. Is h at most -4?
True
Suppose 5*l + 10*w - 11*w - 12 = 0, -4*w = l + 6. Is -232 < l?
True
Let y = 722.0593 - 722. Is -2/7 != y?
True
Suppose -96*h = -133*h - 77*h. Which is smaller: h or -10/3299?
-10/3299
Suppose 17*y - 22*y = 230. Let m = 51 + y. Suppose 3*k + 8 = 2*z - 0*z, -5*z = m*k + 55. Is k < -10?
False
Let u = 1915 - 1940. Is -56 bigger than u?
False
Let y be 3 - -4*51/(-12). Let r be y/(-91) + 138/117. Suppose 4*o - 4 = 4. Is r >= o?
False
Let a be (6/12)/(101/202). Let y be 4/(-71)*(-3)/4. Which is smaller: a or y?
y
Let t be (7899/2)/(248/40 + (-1)/5). Is 658 less than or equal to t?
True
Let f = -11378 + 11385. Suppose 0 = -2*h - 8, 3*d + h - 3*h - 26 = 0. Does f = d?
False
Let x(o) = -1205*o**3 - 3*o**2 + o + 2. Let s be x(-1). Let m = 3571/3 - s. Which is smaller: m or -14?
-14
Let x = -2954 - -2957. Is 225/118 > x?
False
Suppose 0 = 25*b - 23*b. Suppose o - 3*u - 24 = 0, 5*o - 92 = -b*u + u. Let x be 18/24*16/o. Which is smaller: -4/3 or x?
-4/3
Let b(n) = n**3 - 5*n**2 - 24*n + 118. Let k be b(4). Let p be (-23)/k - ((-27)/9 + -1). Is -3.7 >= p?
False
Let c(w) = 2 - 354*w + 355*w - 8. Let l = 1 - -4. Let n be c(l). Which is bigger: -3 or n?
n
Let s = 9724 + -126326/13. Do 2/5 and s have the same value?
False
Suppose -3*j + 18 = n + 12, 0 = 14*j + n - 17. Are 1/519 and j equal?
False
Let i = 0.2506 + -6.2506. Is -190 at most i?
True
Let x(r) = -r**3 - 7*r**2 + 5*r - 19. Let o be x(-8). Let w be (-1150)/288 - (-13 - (o + -14)). Which is greater: 0 or w?
w
Let c = 199.767 - 199.6. Is -0.3 at most as big as c?
True
Let p = 2423 + -2420.2. Which is greater: -0.025 or p?
p
Let v = -43087 + 131855/3. Which is bigger: v or 865?
865
Suppose -3*b = h - 14, 5*h + 15 = 2*b - 0*h. Suppose 84 = b*t + 19. Let g = 4488 - 4473. Which is smaller: g or t?
t
Let u = 3275 - 3384. Is 0 at most as big as u?
False
Suppose 4*a + 3*n = -96, -n = 7*a - 2*a + 120. Let s be (-40)/(-140) - a/14. Let q be 78/(-9)*(-2)/12. Do s and q have the same value?
False
Let a be (16 - 17)*(-1)/(-1123). Which is bigger: -1 or a?
a
Let l(z) = 2*z**3 - 10*z**2 + 12*z - 11. Let p be l(4). Suppose -s - 3*o + 41 - 5 = 0, -s = -p*o - 36. Which is smaller: 35 or s?
35
Let g be 2 + (-20)/(-4) + -3. Suppose g*x = -2*z - 12, 4*z = -0*x - 5*x - 9. Is x > 8?
False
Let q(l) = -23*l**3 - 64*l**2 + 14*l - 10. Let j be q(-3). Let y be (-2)/4*(-9 - 1). Suppose -4*w = -8*w - 3*t + 3, -w - y*t + 22 = 0. Is j smaller than w?
True
Let d = -68 + 115. Suppose -3*n + d = v + 15, -3*n + 52 = 5*v. Suppose n = -15*o - 6. Which is smaller: -5/27 or o?
o
Suppose 2*k + 5*u + 183 = 0, -5*u - 12 - 13 = 0. Let v = k - -79. Suppose -3*i = -v*i - 2*b + 1, -5*i = 5*b - 15. Is i at most 2/91?
False
Let g = 161 + -160. Let h be (g/15*2)/(123/246). Suppose 4*f - 2*f - 2 = 0. Which is bigger: f or h?
f
Suppose -2*p = -4*z - z + 37, -5*p = 5*z - 30. Suppose 4*f + 15 = 3*i, -i - z*f + 2*f + 5 = 0. Is i less than -9?
False
Let h be (-3 - -3)/((-32)/(-8)). Let l = -358/7 + 12123/238. Which is smaller: h or l?
l
Let s(h) = 2*h**2 + 13*h - 46. Suppose 4*x = x + 3*n - 21, 0 = 2*x + 3*n + 29. Let u be s(x). Is 19 smaller than u?
True
Let j = 283/3 - 1948/21. Suppose 5*a - 15 = 0, 5*a = 57*o - 61*o + 55. Suppose 0 = 49*r - o - 39. Is j >= r?
True
Suppose -5*j - 20*f + 18*f = 15, 0 = f + 5. Which is greater: j or 32/359?
32/359
Suppose 0 = 16*q - 9*q - 1995. Let i = q - 293. Is -9 equal to i?
False
Suppose -56*p + 54*p - 3*m = 0, -3*p + 5*m = 0. Which is greater: p or -2/11773?
p
Let f = -0.25 + 10.25. Let p(t) = -t - 4. Suppose -l - 40 = 4*l. Let k be p(l). Is f greater than k?
True
Let w be 7 - (-7 + (-7)/(-1)). Suppose -10 = -w*r - 3. Which is bigger: r or -2/49?
r
Let d = -7.7 - -346.7. Is d at least as big as 0.2?
True
Suppose -103 + 86 = -a. Let y = a - 11. Let l be ((4/y)/(-1))/((-4)/(-222)). Is l at least -38?
True
Let p = 19196.63 + -19197. Which is smaller: -308 or p?
-308
Let a be -4 - -1 - (-1 + 0) - -4. Suppose 3*c - 14 = -2*x, -a*x + 6 = 5*c - 12. Suppose -c*o + 10 = -3*f + 3, f + o = 6. Which is bigger: f or 8/13?
f
Suppose -4 = 5*g + 1. Let x be (180/(-174))/((-2)/(40/(-30))). Which is bigger: x or g?
x
Let q be ((-46872)/26)/(-4) - 1 - -2. Let z = q + -452. Let v = 60 + -59.9. Which is smaller: z or v?
z
Let h = 113.727 - -0.273. Let o = h + -114.07. Let m = -3/4 - -5/4. Is m not equal to o?
True
Let a = 48 + -43. Let b(r) = 3*r - 12. Let f be b(a). Suppose -8*n = f + 29. Is -16/3 equal to n?
False
Let u(v) = 4*v + 6. Let y be u(6). Let t be ((-1647)/21)/(-3) + -38 + -4 + 45. Is y >= t?
True
Suppose -165*o - 156782 - 59698 = 0. Which is greater: o or -1317?
o
Let d = -0.003 - 0.343. Let t = d - -0.446. Is t smaller than -5/16?
False
Let u = -1.4 - -1.6. Let o = 774.3 + -703. Let r = -71 + o. Do u and r have the same value?
False
Let c = -98252.1 + 98252. Let u = -0.0318 + 2.4018. Which is greater: u or c?
u
Let l(q) = 0 - 1533*q + 1540*q + 36 + 64. Let x be l(-14). Does x = 18/35?
False
Let v = -1631 + 44047/27. Suppose 2*u = -21*m + 24*m - 20, -u = -m + 7. Which is greater: v or u?
v
Let m be (-40778)/(-5828) - (-61)/((-2989)/343). Is 0 less than m?
False
Let d = -78 + 114. Let u be d/72*16/7. Which is smaller: 1 or u?
1
Let c(g) = 2*g**3 - g - 2. Let w be c(-1). Let k be 8*((-81)/18 + 3/w). Which is smaller: k or -47?
-47
Suppose -4*h - 8 = 3*t + 1, 0 = 3*h + 3*t + 6. Let y be (-42)/16*(-1)/(-7)*h. Let p = 3 + -1. Is p equal to y?
False
Let g = 21559 + 578. Let n be 4/(-3) + 29657/g. Does n = 1?
False
Let z(a) = -a**2 - 5*a + 1. Let d be z(-4). Suppose -3575 = 29*i - 18*i. Let v be 2 + 13/(i/(-60)). Is d less than or equal to v?
False
Let b be (-56)/(-35) + (-742)/(-5). Is -4 < b?
True
Suppose 2*u + 24*u = -182. Let m(c) = -c**3 - 6*c**2 + 5*c - 15. Let q be m(u). Is q > 2/165?
False
Let r = 3 - -2. Let b be (-2)/(-5) - (72/(-20) + 4). Suppose -f - 2*f + 30 = -2*g, r*f - 2*g - 54 = b. Are 25/2 and f equal?
False
Let h = -164.5 - -170. Let g = -2.5 + h. Which is smaller: g or 0.006?
0.006
Suppose -2*m = -5*m + 27. Suppose -36*x - 319 = -40*x - 25*x. Is x >= m?
True
Let h = -54023 + 54053. Suppose -5*r - 3*t = -133, 0 = -r + 2*t - 1 + 38. Is h not equal to r?
True
Let i(h) = h**3 + 3*h**2 - 19*h - 6. Let n be i(-6). Let s = 1332702/5 - 267487. Let t = 950 + s. Which is smaller: t or n?
n
Suppose 1309 = -59*m + 66*m. Let h = m + -208. Let b be 6/(-9) + (-201)/9. Which is greater: h or b?
h
Let z = -87.08 - -85.08. Which is smaller: z or -0.1866?
z
Let h = -9713 + 9712.9. Let o be (9/(-5))/(12/(-15)). Is h >= o?
False
Let o = 0.48 - 24.48. Let i = o - -24.3. Let a = 10.3 - i. Is a bigger than 2/5?
True
Let b = -0.3 + -4.7. Let q = 1673.91 + -1666.