r + 7. Let d be a(-6). Let t = d + -308297/117. Which is greater: 1 or t?
1
Let h = -446 - -446. Suppose 0 = -5*v + 6*v - 1. Suppose 1 = c - 0*u - u, c - 3*u = v. Is h at least as big as c?
False
Let x = 13.303 - 8.303. Which is smaller: x or 422?
x
Suppose -19*a - 22 + 79 = 0. Is a less than 558?
True
Suppose p + 23*o - 26*o + 7 = 0, 4*o = 5*p + 2. Suppose 2*b = p, t - 5*b + 5 = -1. Is t smaller than 0.25?
True
Suppose 0*i + 5*i = -125. Suppose -6*b = 18*b + 455 + 193. Is b at least as big as i?
False
Let a = -0.2 + 0.1. Let g = -0.1 + a. Let l = 62921.15 + -62921. Is l greater than g?
True
Let i = 5/34 + -707/68. Suppose 519*l - 313*l = 257*l + 561. Which is bigger: l or i?
i
Let b = -0.6979 + -1298.3021. Is -1 equal to b?
False
Suppose 0 = 26*k - 7*k + 266. Let b = -21 + 21. Suppose 2*j + 0*j = d - 28, b = 5*j - 3*d + 71. Do k and j have the same value?
False
Let x = -0.4 + 0.5. Let w = 1621/13283 + -5/359. Is w greater than x?
True
Let a(g) = -10*g - 17. Let o be a(-6). Let y = o + -52. Let f be 6 + y + 1*4. Is f != 0.033?
True
Let a = 14269 + -14237. Which is smaller: a or 161?
a
Suppose -6*k - 94*o + 90*o = 22918, 7622 = -2*k + 3*o. Which is bigger: -3820 or k?
k
Let a be (-12)/(-8)*530/(-159). Is 334 bigger than a?
True
Suppose -44*w + 565 + 755 = 0. Which is bigger: w or 583/20?
w
Let j = -75 + 76. Let q be (-19 - -20)/(j/8). Which is greater: q or 50?
50
Let s = -306 - -306. Suppose -5 = q + 8. Let h be 15/q*12/30. Which is smaller: s or h?
h
Let l be (((-216)/(-321))/6)/(1 + -3). Let a = 232/321 + l. Which is smaller: a or 6/7?
a
Suppose -4 = -3*r + 2. Let n(b) = -3*b**3 - b**2 - 4*b + 5. Let m be n(r). Is m < -28?
True
Let h = -1720 - -1791. Is h greater than -2/7?
True
Let f be (10/(-5) - 3)*-1. Suppose -a = -f*u - 57 + 17, u + 2*a + 19 = 0. Let d = 5 + u. Which is smaller: d or -5?
-5
Suppose -30 = -26*u - 56. Let j be (-24)/(-32)*(-8)/(-2031). Is u != j?
True
Suppose 2*b - 62 = -5*x, -4*b + 3*b - 3*x + 31 = 0. Suppose -k + b = 2*h, -5 = -4*h + 3*h. Suppose 0 = k*l - 9 - 159. Which is smaller: 47/5 or l?
l
Let j = 317464/3141 + -910/9. Is j at least as big as -1?
True
Let t = 3511 - 3478. Let c = 77 - 43. Which is bigger: c or t?
c
Let l = -4089 + 764646/187. Suppose 5*z = -304 + 309. Which is greater: z or l?
z
Let c = -19473 - -18960. Is -523 <= c?
True
Let s = 7532 + -7531. Let l be 10/105*3/131. Is s at most as big as l?
False
Suppose 18*g - 24*g = -12. Suppose -3*d = g*b + 25, 0 = 3*b - 5*b - 5*d - 35. Is b smaller than -7?
False
Let n = -342 + 655/2. Let w = 10738 + -10753. Which is greater: n or w?
n
Let r be 8/2*(-15)/(-12). Let v be -20 + (-156)/(-8) - ((-34)/36 - -1). Which is bigger: r or v?
r
Let k = 35.892 - 36. Let r = 4.95 - 6.842. Let m = r + k. Which is smaller: -1.2 or m?
m
Let h = 957436/4389 - 1527/7. Is -1 at most h?
True
Let a be (26/(7904/(-24)))/(225/(-12)). Let f(t) = 2*t**2 - t. Let b be f(1). Is a < b?
True
Let b = 0.16148 - 0.18648. Is b < 0.057?
True
Let j = 355 + 45. Let c = 401 - j. Which is smaller: c or 8/19?
8/19
Let k = -3/1130 - 531/55370. Are k and 2/5 unequal?
True
Let f = 99 + -98. Do -8/1329 and f have different values?
True
Suppose 5*l - 20 = -0. Suppose -l*w + 21 - 5 = 0. Suppose 3*c - 9 = 3*y, y - 6*y - 24 = w*c. Which is smaller: 2/7 or c?
c
Suppose -j = 4*k + 28, -5*k + 4 = -3*k + 5*j. Let x be 10/8 - (-2)/k. Suppose 0 = 2*y - 4*o + 6, -3*y - 4*o = -31. Which is smaller: y or x?
x
Suppose 32 = 4*x + 12. Suppose 0 = x*t - 6 + 1. Let w be 7 - -2 - -2*376/(-80). Which is greater: t or w?
t
Let g(n) = n**3 + 3*n**2 + 4*n + 2. Let t be g(-2). Let z = 203/60 - 33/10. Let k = z + 5/12. Which is bigger: k or t?
k
Let h(f) = -f**3 + 11*f**2 - 7*f - 21. Let d be h(10). Let a = -10 + d. Let s be (((-15)/(-6))/(-5))/((-10)/a). Is 0 <= s?
False
Suppose -y = 4*y + 3*j - 3197, -4*y = -j - 2544. Suppose 0 = 5*a + 2*k + y + 434, 5*a + 4*k + 1067 = 0. Let r = a - -140. Is -75 >= r?
True
Let n be ((-10)/6)/((-184)/60 + 3). Let k = n - 25. Is k at most -1/66?
False
Let t be -3 + ((-1)/(-1) - -12). Let i be 5/t*(-3 - -2). Let w be (-80)/440 - 219/66. Are i and w non-equal?
True
Let z = -851.6 + 778. Let v = z - -73.8. Which is greater: v or 91/5?
91/5
Suppose 4*u = -4*l + 780, 2*l - 2*u - 387 = -u. Is l at least as big as 189?
True
Let j = -9793 - -9794. Which is smaller: j or 7378?
j
Suppose -350 + 394 = -22*d. Let v be (-4)/(-115)*140/(-8). Are d and v equal?
False
Let i be -640*(5/(-15))/((-40)/144). Which is smaller: i or -769?
-769
Let d = -660.12 + 660. Is -141 < d?
True
Let b = -21.72 - 0.28. Let q be (6 - -23)/((-1)/3). Let p = -89 - q. Which is smaller: b or p?
b
Let t(u) = 9*u + 189. Let n be t(-15). Suppose 2*f - 94 = -2*g, -4*f + 2*g + 18 + 200 = 0. Which is smaller: f or n?
f
Let m = 293.99 + -305. Let a = m + 0.01. Which is smaller: -6 or a?
a
Let a be 2/(-8)*1*0/(-2). Let n be ((-3108)/(-20) - -3)*-5. Let s be (-6)/27 + (-194)/n. Which is smaller: s or a?
a
Let l = 15502391/37791 - 20948/51. Let n = l + -6/247. Suppose 0 = -2*d + 78 - 80. Which is bigger: n or d?
n
Let p be (-4)/10 + ((-48)/(-20) - 0). Suppose -3*w = -p*v + 9, 4*v - 2*v - 10 = 4*w. Suppose -12 = -v*z, -t = 4*z - 3*z - 6. Which is greater: t or -9?
t
Let t = 0.093 - 379.093. Let r = t + 377. Which is greater: 46 or r?
46
Let d = -19 - -17. Let k = -1.58 + -1.72. Let f = k + -0.7. Which is bigger: d or f?
d
Let r(x) = 4*x + 73. Let c be r(-17). Suppose -5*j + 5*h = 630, 0 = -j + c*h - 235 + 89. Is -122 <= j?
True
Suppose 0 = -11*r + 4*r + 511. Let i = r + -57. Let w = -77 - -183/2. Which is greater: w or i?
i
Let y = -48 + 33. Let t = 18 + y. Let b = -13191/7 + 1885. Which is bigger: t or b?
t
Let o(w) = -w**2 - 3*w - 13. Let x be o(-4). Let n = 17 + x. Suppose -2*t - 9 - 3 = 0. Is n less than t?
False
Let p(d) = 10*d + 174. Let t be p(-17). Let s be (-2 + t)/(-10) + (-1158)/10. Is s at most -115?
True
Let q = -1648288/7 - -236186. Is 717 smaller than q?
False
Let m(b) = b**2 + 1. Let v(j) = 5*j**2 - 7*j + 7. Let d(t) = -6*m(t) + v(t). Let q be d(-6). Let x be 3*(-4 - (-29)/q). Which is smaller: -1/4 or x?
-1/4
Suppose -399*f + 29251 = 69614 + 60584. Is f smaller than 1/3?
True
Let x = 3579 + -4098. Is -0.1 <= x?
False
Suppose -3*a + l - 5*l - 261 = 0, a - 3*l = -87. Is a >= -97?
True
Let d(q) = -3*q**2 - 4*q - 26. Let o be d(-6). Let k = o + 160. Is k smaller than 47?
False
Let p = 12773 + -12771. Which is greater: p or -0.2754?
p
Let n = 0 - 6. Let x = -17 + n. Let g be (27 + 37/(-3))*(-6)/4. Which is smaller: x or g?
x
Suppose 3*o + 9 - 2 = -5*s, o = s + 3. Let q be -54 - ((5 - 2)*o - 0). Are q and -287/5 nonequal?
True
Let a = 3.97 + -3.8. Let z = -44 - -43.988. Let n = 1.988 - z. Is a less than or equal to n?
True
Suppose 4*w + 1 = 5*y + 6, 2*w - 1 = y. Let p be (-6 - 112/(-63)) + 2/9. Let l be -1*(-13 - p)*y. Which is smaller: l or 1?
l
Let u = -10654343174/99 - -107617065. Let k = u - -2563. Which is smaller: k or -1?
-1
Let i(s) = s**2 + 20*s - 11. Let t be 1/(2/(-4)) - (-35 - -50). Let y be i(t). Which is bigger: y or -60?
-60
Let a be 3/15 - (-248)/(-15). Let u(v) = v**2 - 23*v + 101. Let w be u(6). Let r be (4 - -1) + -9 - (12 - w). Which is smaller: r or a?
r
Let z(t) = t**3 + 14*t**2 - 2*t - 2. Let r be z(-19). Let x = -40694/23 - r. Is -1 at least as big as x?
False
Let i = 2463 + -2533. Suppose -3*l + 9 = -6. Suppose -l*q = -q + 284. Is i bigger than q?
True
Suppose -o = 17 + 4. Let a be 8/(3 + o/9). Let x be a/10*(-35)/(-14). Which is smaller: x or 5/2?
5/2
Let k be 4*((-14)/(-273))/((-4)/13491). Which is smaller: -693 or k?
-693
Let f(z) = 16*z + 100. Let x be f(-6). Suppose -3*h + h + 5 = -a, 2 = -2*a - x*h. Is -18/7 <= a?
False
Let f be (-2)/(-1 + 3/6). Let m be 5 - -30*f/(-6). Which is greater: m or -17?
m
Let i = 2/35671 - -462725/17799829. Which is smaller: i or 1?
i
Let y be 76 + -68 + 19314/(-2414). Which is smaller: y or 0?
y
Let b(f) be the third derivative of f**5/60 + f**4/24 - 7*f**3/6 + 3*f**2 - 2*f. Let p be b(3). Is 1 != p?
True
Let d = -0.32 - -0.97. Let j = -1.18 + d. Let y = j - 0.47. Is -10/9 at least y?
False
Let s = 357 - -69. Let t = s - 412. Which is greater: t or 7?
t
Let a be 4940/(-273) + 18 - 1490/672. Is a at least as big as -1?
False
Let s = -61 - -107. Let k be (6/s*1)/(-4 - -