s). Which is greater: l or 1?
1
Let x = -19/1021 - 1116803/9189. Is x >= -121?
False
Let s = -550.9475 - 0.0525. Let o = -556 - s. Which is smaller: o or 2/35?
o
Let c = -12355 + 12439. Suppose -75 = 5*n - 490. Which is bigger: c or n?
c
Let s be (-39)/(-26)*662/(-3). Let z = s - -316. Which is greater: -12 or z?
-12
Suppose 50 = -4*r - 86. Let t = -31 - r. Suppose l = -0 + t. Is 4 greater than l?
True
Let y(j) = j**2 - 285*j + 286. Let v be y(1). Is 103/196 less than or equal to v?
True
Let m = 13486 - 148472/11. Suppose 78*p + 88*p = 184*p + 198. Is m greater than p?
False
Suppose -908 = 93*i - 161*i + 13236. Suppose -y = 2*j - 60 - 149, 410 = 2*y - 4*j. Which is greater: y or i?
i
Suppose -19*v + 15*v = 60. Let s = -11 - v. Suppose 110 = -s*h + h - d, -5*d = -4*h - 172. Is h equal to -37?
False
Suppose 174*p + x = 170*p - 46, 5*p - x = -62. Let j = 6 - 4. Is p smaller than j?
True
Let k = -6700 - -7472. Are k and 771 equal?
False
Let o be (-9)/(-24) + 12729/(-24). Which is smaller: -539 or o?
-539
Let p = -1666 + 1689. Suppose -3*l - 8 = -u, 5*u + 5*l + 11 = -29. Is u at least as big as p?
False
Let f be 1*1/(-12) - (-1352112)/16211520. Are -1 and f non-equal?
True
Let f = -2857.5 + 2857.5. Let k = -115.713 - 0.287. Do k and f have the same value?
False
Suppose 3*c = -i + 24 - 3, -i + 2*c + 21 = 0. Let n(w) = 2*w**3 - 42*w**2 - 10*w + 50. Let s be n(i). Which is bigger: -159 or s?
-159
Let r = -12270 - -22482. Let g be 5/(-2)*r/(-345). Is g less than 74?
False
Let z be (1 + 2)*4904*4/24. Is 2452 < z?
False
Suppose -4*c - 5*p + 28 = -p, 25 = 5*p. Suppose 5*x + a - 41 = 0, -4*a + 18 = 2*x - c*a. Let j be 640/(-152) + x/2. Which is smaller: 1/4 or j?
j
Let n = 1206 - 1597. Is -391 greater than or equal to n?
True
Suppose u = -3, 2*s + s = -4*u + 210. Let c = s - 60. Suppose -19*b = -c*b - 295. Is b <= 60?
True
Suppose q + 5 + 10 = -5*d, 0 = d - q - 3. Let b be 15/d*10/(-5). Suppose -15 = 3*u + 3*j, -6*j + b = -4*u - 5*j. Which is greater: 0.06 or u?
0.06
Let u = 8 + -11. Let i be ((-160)/6)/(-8)*(3 - 46/12). Which is smaller: u or i?
u
Let f be ((-75)/(-6))/((51/(-34))/(-2 + -1)). Which is smaller: f or -31?
-31
Suppose -14 = -2*v - i, -4*i + 8 = -v + 3*v. Suppose -4*t - 3*x = -27, 5*t - 4*x = t - v. Let r be (-2)/(t - (-34)/(-10)). Is 21/4 > r?
True
Suppose -354*z + 357*z - 51 = 0. Suppose 53 = -5*a + 4*w, -z = 16*a - 14*a - 3*w. Which is smaller: a or 0.5?
a
Let a be (94/12 + (-136)/17)*-24. Suppose -32 = 4*f + 4*g, 0 = -f + 4*g - g - 8. Let z be ((-6)/f)/((-15)/(-8)). Is z bigger than a?
False
Let f be 655 + (-29)/(-58) + (-2)/4. Which is greater: f or 652?
f
Suppose 0 = 3*r + 3*x + 3, x + 2*x = 6. Let p = r - -5. Suppose 7*i - p*i = -g + 14, g - 2*i = 14. Is 14 >= g?
True
Let a = 8937/1256 + 3/314. Let r(z) = 306*z - 23248. Let k be r(76). Which is smaller: a or k?
a
Let v = -22830 - -32876. Do 10047 and v have different values?
True
Suppose 0 = -13*g - 54*g + 24804 + 185174. Which is smaller: g or 3133?
3133
Suppose -4*t + 8*t + 728 = -5*w, 2*w = 5*t + 910. Which is greater: -188 or t?
t
Let t = 44143/3 - 14715. Which is smaller: -2027 or t?
-2027
Let s = 3001 + -2976. Which is smaller: -152 or s?
-152
Suppose -4612*y + 4613*y = 1. Which is greater: -9/362 or y?
y
Let t(z) = z**2 - 61*z - 36. Let o be t(60). Which is greater: o or -0.3?
-0.3
Let v = -4.1 - 91.9. Let r = -95 - v. Which is bigger: r or -3?
r
Let r = 151637 - 151640. Let a = 55 - 26. Is a less than r?
False
Let m be 282/(-47) + 3 + -18. Suppose -96 = 8*z - 4*z. Is z equal to m?
False
Let m = -15356 - -15398. Which is smaller: -1/9 or m?
-1/9
Suppose -69*a = -74*a + 235. Suppose -39*m = -972 - 744. Which is smaller: a or m?
m
Let k be 83/3 - 4/6. Suppose -w - 3*a + 14 = -8*a, 5*a + 41 = 4*w. Let r be (-161)/(-84)*15 - w/12. Which is bigger: r or k?
r
Let p be ((1 + -10)/1)/(-1). Suppose -98*q + 325 - 2873 = 0. Let r = p - q. Are r and 35 nonequal?
False
Let a = -939 + 935.37. Let q = 0.57 - 0.2. Let o = a - q. Is o at most -6?
False
Let o = 1.753 - 3.123. Is 6 at least as big as o?
True
Let h be (306/2)/(2 - (2 - (-10)/(-580))). Is 8874 less than h?
False
Let q = -20261 + 31689. Is 0 > q?
False
Let l = 2062 - 1964. Is l equal to -0.18?
False
Let r = 4049 - 20142/5. Let f = r - 21. Let u be -2 - -1 - (-2)/4*0. Which is smaller: f or u?
u
Let b = 259 - 257. Suppose b*x = 2*t + 2, 5*t - 3*x + 4 = 3. Which is smaller: t or 3/113?
3/113
Let q(z) = -z**3 - 6*z**2 + 2*z - 1. Let d be q(-3). Suppose -m - 63 - 93 = 5*k, 0 = 3*k + 5*m + 76. Is k >= d?
True
Let z = 1383 + -1415. Let y(u) be the second derivative of -2*u**3 + 3*u**2/2 - 4*u. Let k be y(3). Which is smaller: z or k?
k
Let q = 52 + -60. Let x be q/(-5) - 40/(-100). Suppose -x*u = -4 - 36. Which is greater: 1 or u?
u
Suppose 95*d = 93*d + 56. Suppose 3641 = -d*f - 1287. Are -1/3 and f unequal?
True
Suppose 0 = -a + 10 + 6. Let o(s) = s**2 - 4*s + 3. Let v be o(4). Suppose -q + 11 = l, -q + v*l = 5*l - 8. Is q greater than a?
False
Suppose 0*y = -2*y. Let f be -4 + 2 - -2 - y. Suppose 2*u + z = 0, -u + f*u + 4*z = 9. Which is bigger: 1 or u?
1
Let f = -18.625 + 18.69989. Is f at most as big as 1?
True
Let c(f) = 2*f**3 - 31*f**2 - 16*f + 20. Let x be c(16). Let p(n) = n**3 - 8*n**2 + 5*n + 5. Let o be p(6). Let k = o + x. Is k at most -18?
False
Suppose -4*j - 16064 = -6*m, -4*j + 18*m - 16104 = 22*m. Is j less than -4022?
False
Let k be (-399)/(-19)*(48/(-470))/((-9)/10). Is 2 smaller than k?
True
Let z be 2 + (-12656)/2108 - (-5 - (-6)/6). Which is bigger: z or 0?
0
Suppose t - 5*i = 24, 2*t - 44*i = -39*i + 18. Suppose 5*p + 5*x = 145, 3*x = 5*p - 3*p - 83. Suppose -4*a = -10 + p. Does t = a?
True
Let n be 10/(-33)*(-6)/2. Let t = -136.9 - -139. Let j = 2 - t. Which is greater: n or j?
n
Let h(l) = -52*l - 362. Let d be h(-7). Let a(f) = -f**3 + 3*f**2 - 1. Let s be a(3). Let c be (d*3/(-60))/(s/16). Are c and 0.3 nonequal?
True
Let a = 0.125 - -62.875. Let d = a + -97. Let f = d - -35. Does -20 = f?
False
Let a = -22.6 - -184.6. Let g = -34029 - -34030. Are g and a nonequal?
True
Let j = 371 + -369. Suppose 2*o - j*n + 72 = -2*o, 4*o + n = -60. Are o and 3 nonequal?
True
Let s = 35/412 - 1069/2884. Which is smaller: s or 4861?
s
Let p = 1791 + -1774. Which is smaller: p or 211/12?
p
Suppose -h + 120 = 2*g + 52, 2*g = 8. Which is smaller: h or 42?
42
Let n = -9 + 8. Let g be -61 + 60 + 58/2. Let b be g/35*44/(-32)*2. Which is bigger: n or b?
n
Suppose 32*v + 55254 = -23451 - 239119. Is -9931 <= v?
False
Let v = -12824 + 12858. Is v at most as big as 32?
False
Let o be 1/(5/(-55))*7. Let l be 8/(-14) + 9/(756/24). Is o at most l?
True
Let m = 589 + -583.99. Let r = m + -0.01. Let i = -0.209112 - -4.209112. Which is bigger: i or r?
r
Suppose 3051*u - 3064*u - 13 = 0. Is -2/26315 smaller than u?
False
Let c(m) = -4*m + 32. Let o be c(8). Suppose 5*j - p - 991 = o, -2*j + 0*j = 5*p - 391. Let l be (2/(-4) + j/(-36))/13. Is 1 equal to l?
False
Suppose -5*x = -4*z + 216, 3*z - 146 - 16 = 3*x. Let s = 80 - z. Let d = s - 26. Is -2/81 bigger than d?
False
Let r be (6/(-16)*-4)/((-6)/(-32)). Suppose 6*j + 7 = 7*j. Is r >= j?
True
Let k be 6/21 + (-9)/7. Let r be (-11 + k)*4/(-6). Let p be r/12*6/(-4). Which is smaller: p or -2/17?
p
Suppose 0 = -3*i - 17 + 38. Suppose 0 = -5*r + m + 4 + i, 3*r + 5*m = 29. Suppose 0 = -4*k - b - 94, -2*k + r*b = -0*b + 54. Which is smaller: -22 or k?
k
Let i = 0 - 0. Let d = -633 - -626. Let q be (1/38)/(d/(98/7)). Which is smaller: i or q?
q
Let y = 34020 - 33551. Which is smaller: y or 490?
y
Let b = 7 - 0. Let v = 358 - 354. Suppose -u - p + 9 = 0, 3*p - 23 = v*u - 6*u. Is b > u?
True
Let n = -5809 - -12793. Which is greater: 6983 or n?
n
Let k be -4 + (14 + -361 - 0)*2/(-176). Which is smaller: -1 or k?
-1
Let g = -9367 + 8593. Do g and -778 have different values?
True
Suppose 2569*w - 2539*w + 12120 = 0. Which is smaller: w or -1214/3?
-1214/3
Let n be 5/(-100)*4*-20. Let o be (-16)/(-6) - (n - 1). Which is greater: -21 or o?
o
Let b = 60 - -36. Let y be 96/(-216) + (-531)/81. Let k be ((b/42)/2)/((-10)/y). Which is smaller: 0.15 or k?
0.15
Let c(y) = 2*y**2 - 4. Let i be c(2). Let o be 33/(-10) + 12/i. Let s = 0.33 - 1.33. Is s equal to o?
False
Let l be (-34)/119 + (-1)/14*-4. Let s = 6