+ 1, 61 = -4*r - 2*h + 47. Which is bigger: r or -2/15499?
-2/15499
Let c be 64/(-112)*98/(-4). Let k be (-308)/(-490) - 2/c. Which is smaller: k or -1?
-1
Let m = -7 - -3. Let j = -2/14973 - -10697/14973. Do m and j have the same value?
False
Let u(n) = -3*n - 6. Let v be 3/6 + (-2)/((-8)/(-46)). Let m be u(v). Let f be (2/6)/((-3)/m). Which is smaller: 5 or f?
f
Let u = 10917 + -3220512/295. Is u less than or equal to -1?
False
Let a = 24.58 + 36.42. Let c = 140 + -78. Let r = c - a. Are 1/19 and r non-equal?
True
Let x = -0.04589 - -53.44589. Is x smaller than 1?
False
Let p = -9597/40 + 240. Let z(n) = -5*n - 7. Let f be z(-5). Let d = f - 17. Is p at most as big as d?
True
Let a(y) = 3*y**2 + 55*y - 360. Let f be a(41). Is f greater than or equal to 6939?
False
Let r be 2*((-24)/(-276))/(-1). Which is smaller: -1/10 or r?
r
Let x = 227 + 191. Suppose 0 = -15*a - x + 3103. Is 178 < a?
True
Suppose 3*w - 11 = -11. Let j = 13052/8925 + -74/51. Which is greater: w or j?
j
Suppose 70 = -3*y + 17*y. Let g(r) = 2*r**2 + r + 1. Let w be g(2). Suppose y*v - 3*v - x = w, 60 = 5*v + 4*x. Is v smaller than 9?
True
Suppose -952*l + 956*l + u = -48, 4*l + 36 = -4*u. Is -39 bigger than l?
False
Let a be 19830/(-45) + 4/(-12). Let y be 3/366*-3*(-84)/a. Is y at least -1?
True
Let j = 219.709 + 0.291. Let z = 143 - j. Let d = -78 - z. Which is smaller: 15 or d?
d
Suppose 50*c = 45*c. Suppose c = -35*k + 98 - 28. Are 28/11 and k non-equal?
True
Suppose t = -5, 3*t = 3*z + 8*t - 6059. Is z smaller than 2026?
False
Let i = -304.95 - -298. Let u = i + -0.05. Let c = -737 + 736.9. Is c at least as big as u?
True
Let y = 54 - 42.5. Let j = 116 - 116. Is y > j?
True
Let y = -1092 - -55730/51. Let m = -311/5916 - 3/116. Let z = m + y. Is -2/17 greater than z?
False
Let j be -5*(9/(-5) - -1) - (-500289)/(-125156). Is 0 > j?
False
Let h = -13.01 + 13. Let z = 906 - 544. Let t = z + -357. Which is smaller: h or t?
h
Let k = -16 + 54. Let a(b) = b**2 - 40*b + 76. Let y be a(k). Let h be 0*-2*(-2)/(-8). Are y and h unequal?
False
Let a be 38 - ((-72)/(-33) + 6/(-33)). Let d be a/(8 - -1) - (-167)/(-42). Are -0.1 and d equal?
False
Suppose -1124 = -4*d + 11*w - 7*w, -5*d + 2*w + 1405 = 0. Let n = -307 + 589. Is n not equal to d?
True
Let c be 5*(-3)/15*7. Let s(o) = 5*o**2 + 11*o + 4. Let v(r) = r**2 + r. Let g(i) = s(i) - 4*v(i). Let q be g(c). Which is smaller: q or 9?
q
Suppose 2979*s = 2996*s + 1020. Which is bigger: s or -664/11?
s
Let h(a) = -3*a**2 - 84*a + 179. Let i be h(-30). Which is greater: -1/7177 or i?
-1/7177
Let s = 218 - 189. Which is greater: -0.48 or s?
s
Suppose -19*u + 4603 = 4622. Is u at least as big as -2/19057?
False
Let a = 0.02 + -4.42. Let l = 636 + -640.54. Let i = 4.64 + l. Is a smaller than i?
True
Let c(w) be the third derivative of -1/24*w**4 - 1/60*w**5 - 5/3*w**3 + 14*w**2 + 0 + 0*w. Let j be c(0). Which is bigger: -8 or j?
-8
Let a = 11889 + -10182. Which is smaller: a or 15350/9?
15350/9
Let u = 446.26 - 446.36. Which is smaller: 19596 or u?
u
Suppose -2*i - 23 = -33. Suppose -i*x = -2*c, 0*x - 5*x + 4*c = 10. Let s be ((-1 - 35) + x)/(638/(-29)). Is 2 equal to s?
False
Let n = -23904 - -24571. Is n >= 678?
False
Suppose 0 = 76*b + 17*b + 17484. Are -184 and b equal?
False
Suppose 108 = 15*v - 6*v. Let k be (3 - 1) + -2*2/v. Is k greater than or equal to -10/11?
True
Let d = -114.345 - -0.345. Let x = 127 + -126.9. Which is greater: d or x?
x
Suppose 3*l - 1 = -s, 13*s + 14 = 4*l + 8*s. Which is smaller: 4/3117 or l?
4/3117
Let y = 2/31645 - -283847/15157955. Which is greater: y or 1?
1
Let i = -18725 + 435000476/23231. Are i and 1 nonequal?
True
Let m be 254 - (4 - (15 + -5)). Suppose -3*o + 779 = 4*f, 2*f = -o + 4*o - 785. Which is bigger: m or o?
o
Suppose -375 = -5*l - j + 3*j, 4*j + 312 = 4*l. Let y = 106 - l. Suppose y = 9*x + 2*x. Which is smaller: x or 18/7?
18/7
Suppose -29*r - 5 = -34*r, 3*s - 640 = -r. Let c = s + -215. Are -14/25 and c unequal?
True
Let p(x) = 129*x**2 - 1285*x + 17. Let r be p(10). Which is smaller: r or -12?
-12
Let l = -14823 - -12252. Is l > -2571?
False
Let y = -403 - -2310. Let b = 5771/3 - y. Suppose 2*j = 6*j - 72. Are j and b unequal?
True
Suppose 44*v = 13579 + 21225. Is 791 bigger than v?
False
Let x = 16922/19 - 20289231/22781. Is 1 bigger than x?
True
Let w = -406049/5 - -79832. Which is smaller: -1379 or w?
-1379
Let m be (-2346)/69*(1 + (-242)/244). Let a = m + 1295/4209. Let s = -24 - -25. Is a at most as big as s?
True
Let c be ((-4)/(-3))/(52/78). Let v be 3 + 55 - 6/3. Let j be (-2 - v/(-36)) + 1. Is c bigger than j?
True
Suppose 4*m + 3*p - 10 = 8*p, -2*m - 5*p = 10. Suppose 0 = 7*j + 254 + 173. Which is greater: m or j?
m
Let j = 414.56 + -414. Let o = -2.56 + j. Let s = -78 + 230/3. Which is bigger: o or s?
s
Let o = -2/719 - 62519/12223. Which is bigger: o or -6?
o
Let c(w) = -w**3 + 3*w**2 + 3*w + 16. Let j be c(5). Let z be 2/4*(2 + 0). Let n be z/(3/(-3)) + -1. Is j at least n?
False
Let h = -51448 - -4064256/79. Are h and -2 equal?
False
Let r = 11286 + -14545. Which is smaller: -3260 or r?
-3260
Let o be -200 + (4 + 0 - 4). Let x be ((-2)/4)/(28/o). Let l = 518 + -513. Which is greater: l or x?
l
Let q = 1/2523 - 23549/2523. Which is bigger: -10 or q?
q
Suppose 39*w = -366 - 3144. Is -109 at least as big as w?
False
Let x(c) = 2*c**2 + 43*c + 36. Let u be x(-21). Suppose 5*m = -0*m - 5*k + u, k + 2 = 0. Let b be 355/105 - 2/(-7). Which is smaller: b or m?
b
Let g(k) = -k**3 - 14*k**2 - k - 6. Let d be g(-14). Suppose -d*o - 4 = 4. Which is bigger: o or -3/350?
-3/350
Let u = 19 + -7. Let f be (1 + 9/u)/(5/(-180)). Is -63 > f?
False
Let n be 172/1634 - (-1466)/(-15010). Which is bigger: n or 1?
1
Let j be (11 - 12)/(-2 - -1)*(-53)/53. Are -33/1117 and j non-equal?
True
Let s = 2404 + -4666. Let z be 22/(-24)*s/52. Let c = 40 - z. Which is smaller: 1 or c?
c
Suppose -9*v = 52 - 16. Let h be (v/5)/(26/65). Suppose b - 4*b = 15. Which is smaller: h or b?
b
Let i = 15441.5 + -15441.44. Let l = -1 + 19. Is i != l?
True
Suppose 0 = 9*r - 15*r + 156. Suppose -31*o = -r*o - 290. Let i = o + -56. Is i less than or equal to 2?
True
Let i be 12/9*-1*-33. Let y(s) = 92*s - 6. Let h be y(2). Suppose -4*c = 2*r - h, -c + 5*c - 163 = 3*r. Is i not equal to c?
True
Let i = 40.98 + 5281.02. Which is bigger: -0.1 or i?
i
Let w(c) = -22*c + 21. Let o be w(1). Does o = -1?
True
Suppose 2*w - 12 = -4*d - 22, -3*d = -5*w - 38. Is 47/561 < d?
True
Let g = 119 - 139. Let r be (3 + -7)/((-5)/g). Which is smaller: -52/3 or r?
-52/3
Let j be (2/(-12))/(6/(-8)). Let v = 13.5 - -339.5. Let c = -353.9 + v. Are c and j equal?
False
Let j = 5153/946 - -7/946. Is 3 greater than or equal to j?
False
Let x = 8 - 138. Let i be 3 + -3 + 15/x. Let u(k) = -k - 20. Let p be u(-19). Which is smaller: i or p?
p
Suppose 14 = 3225*r - 3218*r. Suppose -233 = -3*p + 172. Suppose -67 = 3*c - r*l, p = -5*c + 5*l + 15. Which is smaller: -37/2 or c?
c
Let q = -49 - -45. Let h = 929 - 933. Is h > q?
False
Let q = -9 - 1. Let t(i) = -4*i - 9. Let r be t(q). Let v be r/((-3)/(-2)*(-4)/6). Which is greater: 1/3 or v?
1/3
Let l = 9127580908/121191 - 225947/3. Let d = l - -25525405/646352. Let u = d - 79/2. Is u smaller than 0?
True
Let n = 0.2515 + 0.0385. Let x = 0.171 - n. Which is smaller: 2/7 or x?
x
Let i = -82 + 93. Let d(w) = -2*w**2 + 24*w - 25. Let s be d(i). Is -5 >= s?
False
Suppose 135 = 30*o - 195. Suppose o*v - 21 = 4*v. Which is smaller: v or 23/6?
v
Suppose -43957*s + 9 = -43966*s. Is 60.8 greater than s?
True
Let n = -24408 - -83695033/3429. Is n less than or equal to -1?
False
Suppose -2*q + 4*q = -5*t + 18, -3*q = -t + 7. Let c be ((-28)/q)/4 + -6. Which is smaller: -5/51 or c?
-5/51
Let w = -608.9391 + -0.0609. Let g = 609.293 + w. Which is greater: g or 0.1?
g
Let l = -749 - -749.906. Let f = l + -0.8. Which is greater: f or 2/3?
2/3
Let z = -370478/251 - -1476. Which is smaller: 1 or z?
z
Let u be 7/((-28)/(-20)) + -8. Let l be (((-1080)/352)/(-15))/(u/(-2)). Do l and 0 have the same value?
False
Let r = 9.584 + -8.584. Let k = -0.4 + -11.6. Which is smaller: k or r?
k
Let a = 8.823 + -8.723. Which is smaller: 8607 or a?
a
Let a(m) = 2*m**2 - 353*m - 8002. Let o be a(0). Which is bigger: -8004 or o?
o
Le