Suppose 11*b + 11*b = -12*b. Suppose 0 = 4*v + 2*x + 14, b*x = -v - x - 5. Which is bigger: -30/23 or v?
-30/23
Let s be (6/88)/(2/(-28)). Let a be ((-17)/(-22))/((-77)/(-14) - 6). Let y = s + a. Is 2/5 >= y?
True
Let r be (-2046)/8376 - 19/(-76). Which is bigger: r or -4/47?
r
Let p = -1168 - -1182. Let f = -0.4 + 0.6. Which is greater: f or p?
p
Let u = -275 - -334. Let r = u - 270. Is -0.1 > r?
True
Let k(t) = -t**3 + 4*t**2 - 5*t - 5. Let l be k(2). Let x be l - 92/(-8 - -12). Which is smaller: x or -37?
-37
Let p = -268.495 - 0.505. Let r = -268.96 - p. Is -4 at least r?
False
Let x = -35 - -35. Let q = -0.161 + 0.251. Let f = -19.91 - q. Which is bigger: x or f?
x
Let s be (-322)/(-13202)*(1 - 29). Which is smaller: s or 4/11?
s
Let b = 2412617/13 - 185586. Let d = 4 - 4.3. Let q = d - 0.7. Is q bigger than b?
False
Let d(g) = -2*g. Let b(w) = 27*w + 88. Let y(h) = b(h) + 2*d(h). Let j be y(-4). Which is bigger: j or -54/11?
j
Suppose -3*s + 24750 = -2*s. Let r = s + -172899/7. Let u = r - 3931/77. Which is greater: -1 or u?
u
Suppose 82*r = -7014 - 4712. Is -157 smaller than r?
True
Let k = 709.7 - 656. Let b = -53.8 + k. Is b equal to 1/10?
False
Let j = 5790 + -5712. Which is smaller: -0.04 or j?
-0.04
Let w be (-1774)/(-8) + (-19)/(-76). Suppose 15*n + w + 348 = 0. Let f = 264/7 + n. Is f equal to -0.04?
False
Suppose 3*c - 799 = 50*c. Which is greater: -189/11 or c?
c
Let i be (84/(-15))/(9/45). Suppose 6*w + 27 = 5*w. Are i and w unequal?
True
Suppose q = x + 171, -72*x + 73*x = -4*q + 709. Is q at most as big as 120?
False
Let r = 5359 - 5964. Which is bigger: 7 or r?
7
Let x = 4 - 0. Suppose -2*v = -7*v + 5*m + 20, -34 = -x*v - 5*m. Let f be 3/1*1/v. Is -3/4 greater than f?
False
Let c be (2/3)/(1/(-39)). Let d = -6409 - -6387. Let u be d/c - (-14)/91. Is -1/13 < u?
True
Let b = 24785 + -24785.2. Suppose 0 = -6*q + q - 20. Which is bigger: b or q?
b
Let q = -5071 - -5041. Is q less than -409/14?
True
Let a(i) = 53*i**3 + 7*i**2 + 35*i + 54. Let k be a(-2). Which is bigger: k or -380?
-380
Suppose 112*z - 191*z = 0. Is z <= 8/885?
True
Suppose -9*h = 41330 - 183188. Let y be (-1)/6 - (-3515)/h. Is y <= 1?
True
Suppose 22*a = -5824 + 25382. Does 889 = a?
True
Let w be (-6)/(-63)*-3 + (-21216)/(-119) + 8. Is w >= 189?
False
Let y(l) = 148*l - 6380. Let r be y(43). Let i be ((-4)/5)/((-2)/(-35)). Are r and i equal?
False
Let v be (-12 + -4)/(-4)*626/4*-1. Is v at least -617?
False
Suppose 12*d = 3*w + 7*d - 48, 3*w + 5*d = 48. Suppose -w*a + 10 = -26*a. Is a less than 1/1085?
True
Let m be -1 + (-1)/(930325/(-930335)). Let s = m + -323567093/5395885. Let p = 60 + s. Is p at most -1?
False
Let y(d) = d**2 - 10*d + 5. Let q be y(11). Suppose -3*k = 3*g, -5*k + q + 2 = -g. Suppose 0 = c + 3*t - 7, -7 = -6*c + k*c - 2*t. Which is bigger: -2/5 or c?
c
Let t = -16 - -3. Let o be ((-36)/(-30))/(4/260). Suppose 2*w + 32 = -2*z, -o = 5*z + 4*w + 2. Which is bigger: t or z?
t
Let s = -546 - -4377/8. Let r(b) = -b**2 + 10*b - 10. Let l be r(8). Suppose 0*q = -3*q + l. Which is smaller: s or q?
s
Let c = 4617 + -2252. Is c <= -2/3?
False
Let o = 444716929013/3960 - 112302265. Let p = 1/792 - o. Is p at most as big as 11?
True
Let k be (0 - (-3 + -2))/(8 - 7). Let j = -46 - 38. Let u be j/(-8)*(-6)/(-9). Is k != u?
True
Let b = 14 + 6. Let q = b - 2. Let s = -10 + q. Which is smaller: -2 or s?
-2
Let h = 669 + 438. Let f = -38739/35 + h. Which is bigger: 0 or f?
f
Suppose 0 = 3*s + s - 332. Let u(n) = n**2 - 9*n + 3. Let c be u(9). Suppose 5*h + c*y - 415 = 8*y, 0 = -4*h - 5*y + 323. Is s at least h?
True
Let t = -324/29 - -20765/1856. Is t greater than 0.08?
False
Let y be (4 + 18/(-4))/((-2)/2). Let x = -1/6 + y. Let n = 221/3 + -73. Which is smaller: n or x?
x
Let i = 8893/1617 - -1/3234. Do i and -2 have the same value?
False
Let t = -42 + 134. Suppose -28 = 4*s - t. Suppose -23*r = -25*r + s. Is r equal to 7?
False
Let p(d) = -8*d + 11. Let g(x) = x. Let w(z) = -4*g(z) - p(z). Let y be w(7). Let h = 61 + -43. Which is smaller: h or y?
y
Let q be 21/69*1362/(-1142491). Which is bigger: 1 or q?
1
Suppose -3*v - b = -116, 96*b = 2*v + 95*b - 79. Which is smaller: v or 340/9?
340/9
Let k be (1870/(-175) + (-22)/(-77))*(-5)/6. Which is smaller: k or 10?
k
Suppose -3*n + 49 = t, 2*n = 5*t + 3*n - 175. Suppose -30 = -40*c + t*c. Suppose -21 = -3*p + c*f - 8, -7 = -p + 3*f. Which is smaller: -2/49 or p?
-2/49
Let g = 318 + -603. Let s = g + 285. Is 16 >= s?
True
Suppose -4*m - 2*o + 70 = -4*o, 4*o - 20 = 0. Let u be (-8)/m + 134/10. Suppose -2*t = 2*j - 28, 2*t + 6*j - 19 = 7*j. Which is smaller: t or u?
t
Let k(w) be the first derivative of -w**2/2 + 7*w + 1. Let b be k(8). Let d = -8274877/97 - -85308. Is d at least as big as b?
True
Let z(g) be the third derivative of -1/6*g**4 - 2*g**2 - 20 + 0*g - 1/60*g**5 + 16/3*g**3. Let x be z(-8). Is -32 bigger than x?
False
Let s = -8.448 - -8.412. Let a = 1.2 + -2. Do a and s have the same value?
False
Suppose -4*o - 4*h = 0, 3*h = -2*o + 3*o - 4. Let m be 25/(-5)*o - -4. Which is smaller: -13/38 or m?
m
Let r = 48 - 46. Suppose -3*z - z + 3*f - 717 = 0, 0 = -5*z - r*f - 902. Is z greater than or equal to -1/2?
False
Suppose -3*w + 149 = -4*w - 5*i, 3*w + 414 = -4*i. Let b = w + 668/5. Let s = -122 + 128. Which is smaller: s or b?
b
Suppose 4*x = -5*t - 2164, 23*x - 28*x + 4*t - 2705 = 0. Let i be 45/(-54) + x/(-651). Is -1 greater than i?
False
Let g(n) = 7*n - 2. Let h be 2/(-6)*(-6 + 0). Let m be g(h). Let u = -55/9 - -119/18. Which is smaller: u or m?
u
Let l be 30/12*-1*-226 + -1. Which is smaller: 567 or l?
l
Let k = 106.72 + -106.72. Which is greater: 5566 or k?
5566
Let o(b) = -4*b**3 + b**2 + 13*b - 13. Let l be o(5). Let t = l + 417. Are 4 and t unequal?
True
Let f(x) = -14*x + 408. Let y be f(29). Is y <= 15064?
True
Let k(y) = y**2 - 3*y - 7. Let f be k(8). Suppose -a = -4*a + f. Let c = 39022 + -117029/3. Which is smaller: a or c?
a
Suppose -5*g = 40984 - 43284. Let d = 1134 - 674. Is d > g?
False
Suppose 3*a - 4*o = -6444, -530*a + 535*a + 10766 = -2*o. Are -2149 and a equal?
False
Let b = 15 - -18. Let c be ((-24)/b)/(-4) + 92/(-22). Let k be 2/(-6) - -98*c/(-456). Which is smaller: 0 or k?
0
Suppose 0 = n - 3*i - 19 - 0, -5*n - 4*i = 0. Suppose -12 = -4*o - n. Suppose 5*a = -o - 3. Is a >= -1/87?
False
Suppose 3*j = -g - 477, -5*g - 2*j = 1399 + 1038. Let q = g + 293. Which is bigger: -195 or q?
-195
Let r = -57 + 57.408. Let g = 39.76 - 39.768. Let s = g + r. Do s and 0.03 have the same value?
False
Suppose 5*w - 5*l = 17 - 57, -3*l - 16 = w. Let x be ((-4)/w)/(16/440). Which is bigger: -5 or x?
x
Let l = 6038 + -6041. Is l bigger than -119/36?
True
Suppose -2*l + 5*p - 68 = 0, 5*l + 199*p = 194*p - 135. Suppose -5*g - r - 141 = 0, 0 = 2*r - 0 + 2. Which is smaller: l or g?
l
Suppose -3*o = -47*f + 48*f + 180, -o - 5 = 0. Which is smaller: -167 or f?
-167
Let k = 291 + -294. Let b be (-1462)/(-473) - k/(-1*1). Do b and 0 have the same value?
False
Suppose -2*m - 19 = -5*u, 4*u - 5 = 3*m + 13. Let l = 103347 - 103347.9. Are u and l non-equal?
True
Let k(u) = u**2 + 29*u - 29. Let o be k(12). Suppose 7*q - 27 - o = 0. Let m be q/25*(-75)/(-10). Which is bigger: m or -2?
m
Suppose -2*c - 5*k = -16, 4*c + 2*k = 24 + 8. Suppose 0 = 5*b - 21 - 49. Suppose o = -2*l - c, -5*l + 0*l = o + b. Which is greater: o or -6?
o
Let o be -4 - (-5 + 11 - 0 - 5). Let k be (0 + (-30)/(1 - -5))/o. Which is greater: k or 2/187?
k
Suppose 3*y + 13 = -d, 0 = -5*d - y - y. Suppose d*i - 4 = 3*i. Let u be (-6)/21 - i/14. Does u = 2/195?
False
Let m = -2/41253 + -288049/14892333. Is m bigger than 1?
False
Let f be 0 + -9 - (156 + -77). Which is smaller: -84 or f?
f
Let a = 7 + -14. Let n = 32 + a. Let z = 101/4 - n. Which is smaller: z or 0.06?
0.06
Let t = 398.6 - 361.6. Which is greater: 0.57 or t?
t
Let j = -2309.1 + 2309.054. Is j <= -0.38?
False
Let k = -9636 - -16911182/1755. Is k at least as big as 1?
False
Suppose 0 = q + 4, -r = -5*r - 5*q - 16. Let j = -361 - -356. Let f be -5*((-576)/116 - j). Which is greater: f or r?
r
Let i(s) = 68*s**2 - 1. Let g be i(-1). Let r = -1160 - -1228. Is r >= g?
True
Let n(o) = 6*o**3 - 157*o**2 - 14. Let l be n(26). Which is greater: 0.1 or l?
0.1
Let t = -126.86 - -