+ b = i, i - 5*b = 0. Suppose -2*d = -j - i + 3, -3*d = -4*j + 12. Is 24 <= j?
False
Let d = -506 - -470.84. Let o = 66 - 31. Let g = o + d. Which is smaller: 0.1 or g?
g
Suppose -5*d - 3*a + 37 = a, -3*a + 4 = -d. Which is bigger: 46 or d?
46
Let l be 131775/2162655 - (-2)/(-17). Let z = l - 1/257. Which is smaller: z or -1?
-1
Let k = 11 - 15. Let l be (-3172)/28*(-6)/k. Let x = -170 - l. Which is smaller: x or -1?
-1
Let r(b) = b + 6. Let d be r(-4). Suppose 4*o - 51 = -5*c, d*o + 3*o - 20 = 0. Suppose i = -5*s + 43, 4*s - 5*i = 2*s + 1. Does c = s?
False
Let l(j) = -j**2 - 9*j + 66. Let v be l(-15). Suppose 1 = 2*q + 49. Does v = q?
True
Let k(q) = -5*q + 4. Let c be k(3). Let y be c/44 - (-5)/4. Is y greater than or equal to 15?
False
Let x(g) = -6*g - 11. Let n be x(6). Suppose 11*c - 12*c - 48 = 0. Which is bigger: c or n?
n
Let p = 187.87 - 187. Let x = p + 5.13. Which is bigger: x or -8?
x
Let b(x) = x**2 + x. Let q be b(0). Let s = -79 + 21. Let l = s + 58.09. Which is greater: l or q?
l
Suppose 5*l = -m, 6*l - 5*l = -m. Which is greater: m or 12/113?
12/113
Let m = -3 + -1. Let s be (m/(-12))/(2/174). Suppose 4*k + 3*o = -21, 4*k + s = 3*o + 2*o. Is 0 less than or equal to k?
False
Suppose -2*p + 3*o = -8, -7*p + 3*p + 12 = -4*o. Which is greater: p or -2/1175?
p
Let j be (-3)/(30/(-18) - -2). Which is bigger: j or -60/7?
-60/7
Let m be (-2)/3 + 24/9. Suppose m*d - 14 = -6. Suppose d*f - 9 = f. Which is smaller: f or 6?
f
Let v = -4 - -9. Suppose 3 = -2*g + v*b, -4*g + b = -3*b. Which is smaller: g or -2/41?
-2/41
Let y = 7583/4 - 1885. Is y bigger than 11?
False
Let m(x) = -17*x**3 + x**2 + 7*x - 17. Let o be m(2). Does o = -401/3?
False
Let x be (-1)/2 + 56/16. Suppose 5*z + x = -2. Is -4/5 >= z?
True
Suppose 2*d + 0*d + 120 = 5*w, 0 = -4*w + d + 99. Let k be (1 + 0 - -32)*68/(-102). Let z be (k/66)/(2/(-156)). Are w and z unequal?
False
Let f = 44138/31 + -1424. Let z = -278/155 - f. Let u = 0 - 1. Which is smaller: z or u?
z
Let b(p) = -p**2 - p + 1. Let w(l) = 6*l**2 - 6. Let x(f) = 5*b(f) + w(f). Let g be x(5). Which is greater: 2/13 or g?
2/13
Let n(j) = j**2 - j - 17. Let k be (5 + -2 + -4)*-5. Let r be n(k). Suppose -r*o = -8*o + 5. Which is smaller: o or -1/9?
-1/9
Let m = -3039.9 - -3040. Which is bigger: 3/214 or m?
m
Suppose 2*s - 34 = -o, -10*o - s = -5*o - 188. Is o < 32?
False
Let d = 22275871/140 + -159110. Let n = d + 66/35. Is n equal to 6?
False
Let k = 0.219 + 0.781. Is k greater than -0.32?
True
Let h = -17/84 - 1/21. Suppose p = -4*m + 4, 2*p + 2*p - 16 = m. Let f(v) = v + 2. Let j be f(m). Is h at most j?
True
Let z = -4400520/493 + 8926. Let c = z + -19213/3451. Is -5 > c?
True
Let t(h) = -2*h**2 - 11*h + 6. Let u be t(-8). Let x = 68 + u. Suppose 4*r - 6 + x = 0. Which is smaller: r or -5?
r
Let c = 35.1324 + -0.0324. Let g = -35 + c. Let m be (-6)/21 + 8/(-70). Is g < m?
False
Let q = 28 - 125/4. Let c be (-14)/(1 - (-2 + 4)). Let b = c + -16. Which is greater: q or b?
b
Let q(v) = -v**3 - 4*v**2 - v. Let g be q(-4). Let u be (2*(-33)/6)/((-13)/26). Let s be (-63)/165 + g/u. Which is smaller: 0 or s?
s
Suppose -4844 - 76 = -24*f. Is 204 smaller than f?
True
Let b = -233/423 + 5/47. Is 11 less than or equal to b?
False
Let b(h) = -h**3 - 4*h**2 + 7*h + 2. Let k be b(-5). Let s(g) = 20*g + 68. Let v be s(-4). Let m be k/v + (-5)/3. Which is greater: m or -3/26?
-3/26
Let l be (-5)/20*-16 + 19 + -2. Let o be (2 + -1)/(1/86). Suppose -k - 3*d + 26 = d, -2*d - o = -4*k. Is l at most k?
True
Let y = -2 - -4. Suppose -y*d = 2*d. Which is smaller: 1/5 or d?
d
Let j = 623 - 622. Let x(t) = -t + 2. Let o be x(-5). Let y = 1 + o. Which is bigger: j or y?
y
Let r be (129/6 - -3)/(6/(-228)). Is r at most as big as -930?
True
Let k(l) = l**2 - 11*l + 28. Let j = 98 - 94. Let d be k(j). Let p be 2/(-8) + (-68)/(-144). Which is bigger: p or d?
p
Let d = -2.6 + 2.47. Is 3.6 greater than d?
True
Let n(g) = g**3 + 7*g**2 + 4*g - 1. Let x be n(-7). Let k = -30 - x. Are -5 and k equal?
False
Suppose 2*r = -5*u - 69, u + 57 = -r + 6*u. Is -47 <= r?
True
Let m = -1/58 - -191/4350. Is m less than 0?
False
Suppose -474 + 6730 = 23*y. Which is bigger: 273 or y?
273
Let a = -689 - -297. Which is greater: a or -391?
-391
Let t be (8 - 5)*9*1. Let s be (-3 - (-83)/t)/1. Which is bigger: s or -1?
s
Suppose -9*r = -2*r + 4*r. Let u be 2 - 5 - (r - (3 + 70)). Which is smaller: 71 or u?
u
Suppose 7*u = 2*u - 640. Let w be 3/(-4)*u/(-144). Let i = 1 - 3. Is i < w?
True
Let x = -653.7 + 593. Let w = x - -60. Let p be ((-8)/50)/(10/25). Which is smaller: p or w?
w
Let z = -77.1 - -77. Suppose 4*c - 3*c = -4, 20 = -4*t - 3*c. Let h be 2*6/(-4)*t. Which is smaller: z or h?
z
Let b(o) = o**2 - 5*o + 4. Let y be b(4). Let a be 10/2*(-2 + y). Let g(p) = p**3 + 9*p**2 - 10*p - 4. Let d be g(a). Which is smaller: d or -5/2?
d
Let t be (-1)/(-13)*1437/(3 + -6). Let o = t + 37. Let w(s) = -s**3 + 7*s**2 - 5*s - 7. Let a be w(6). Which is bigger: o or a?
o
Let z be ((-14)/(-3))/((-4)/48). Let v be 1*-2*(-8)/z. Is v > -8?
True
Let y be -4 + (-6)/(1 + -2). Suppose -4*d + 8 = q - y*q, -4*q + 25 = 3*d. Suppose h = d*g + 43, -4*g - h = 17 + 31. Which is greater: -12 or g?
-12
Let d be -39 - (2/(-3) - (-264)/72). Which is bigger: d or -43?
d
Suppose 1 = -3*o - 5*h, 2*o - 5*h - 31 = -2*h. Which is smaller: 96/13 or o?
96/13
Let q be (-1)/4 - (-441)/(-12). Which is bigger: q or -34?
-34
Let o = 44 + -36. Let g(d) = -d + 8. Let n be g(o). Let b be (-3)/4*4/(-8). Is b at least as big as n?
True
Let s(z) = -z**2 + 6*z - 3. Let q be s(4). Suppose -3*o = 4*u - q, -o + 2 = 2*u - 1. Is -1 equal to o?
True
Let p = -769532/61 + 12615. Let f = p + 953/793. Which is bigger: 0 or f?
f
Let f be (-2)/(-12)*((-156)/24 + 8). Which is greater: f or -2/11?
f
Let r(f) = -f**3 - 5*f**2 + 3*f + 23. Let c be r(-5). Does c = 4?
False
Let l = -19.5 - -19.2. Let f be -3*(30/9)/(-2). Let a = 5 - f. Which is smaller: a or l?
l
Let d be 18/4 - 92157/(-102). Which is smaller: d or 907?
907
Let a be 1878/3804 - 2/4. Which is smaller: a or 1?
a
Let h(z) be the first derivative of 7*z**2/2 - 8*z - 6. Let m be h(-2). Is -21 at most m?
False
Let f = 6 + 5. Which is bigger: f or 13?
13
Suppose -463 = -5*b + 5*w + 142, -339 = -3*b - 5*w. Which is smaller: b or 122?
b
Let y(c) = c - 9. Suppose 5*h - 32 = 8. Let k be y(h). Which is greater: k or 26?
26
Let m = -177.9 - -198. Let x = -20 + m. Which is smaller: 0.3 or x?
x
Suppose h + 7*s = 2*s + 29, -5*s + 5 = 0. Let c be 2/h*(-28)/21. Is -1 at least as big as c?
False
Let p(u) = -3*u - 3. Let r be p(-2). Let l = 966/13 + -4674/65. Is r greater than l?
True
Let x = 3515/371 + -116/53. Is 0.1 < x?
True
Let b be -1 - (3/1)/(-1). Suppose -2 = -3*m + b*m. Let v be (m/(-8))/(3/(-108)). Is v greater than or equal to 9?
True
Let h = 43.186 - -0.504. Let p = -44 + h. Let a = p + 0.21. Is 3/5 < a?
False
Suppose 64 = -2*a + 16. Let n = -13 - -14. Let g be (-9)/a + n/(-4). Is -1 != g?
True
Let u = 14206 - 8537803/601. Is 1 at least u?
True
Let r = 1 - 10. Let d = r - -20. Let k be 210/20 + ((-6)/4)/(-3). Is d at least as big as k?
True
Let n = 460.4 + -461. Let g be ((-3)/(-2) - 0)/3. Do n and g have different values?
True
Let r be 4*5/(40/(-22)). Let b = r - -15. Suppose 0*a + 3*a - 6 = c, 9 = -3*a - b*c. Are a and -1 unequal?
True
Suppose -4*o + 3*z = -8*o + 8, 5*z + 2 = o. Let s be (-3)/((-15)/o)*1. Let h = 0 - 0.2. Is h < s?
True
Suppose -2*f + 3*q = -2326, 2*f - 2307 = 2*q + 19. Let n = 87227/75 - f. Let l be 2 + -1 - 0/2. Is n < l?
True
Suppose -h = 2*x - 18, 0 = 7*h - 9*h - 4. Which is bigger: 108/11 or x?
x
Let a = -32.3 + 204.3. Which is greater: a or 0?
a
Let d = 368 - 376. Is d at least as big as -0.02?
False
Let s = -30 + 57. Let x = s - 23. Which is smaller: x or 2?
2
Let k = -30 + 121/4. Let u = -355 - -353. Which is smaller: u or k?
u
Suppose -11*n = 9*n - 20. Is n >= 1/89?
True
Let n be (888/(-10))/(6/(-40)). Let t be ((-1)/(-1))/(n/(-32)). Which is smaller: -1 or t?
-1
Let g be 20/11 + 6/33. Suppose n + 4*w = 15, -n - 3*w + 13 = -g*n. Which is smaller: 0.05 or n?
n
Let v = -2.17 - -2.37. Is 3 >= v?
True
Let i = 1392 + -1394. Which is greater: i or 613?
613
Suppose 3*b + 1149 = -1890. Let x = b - -4027/4. Let t = -483/76 - x. Which is sm