n be g(t). Let i be ((-13)/(-20) + n/8)*40. Is i smaller than 18?
True
Suppose 3*h = -5*l - 531, 11*h + 3*l = 16*h + 1021. Suppose 0 = 2*k + 472 - 78. Is k bigger than h?
False
Suppose -6*o - 144 = -30*o. Let f be 11/18 - (-17 + o)/(-22). Which is greater: f or -10?
f
Suppose 9*u - 50 = 4*u. Let r be 4 - (-110 - u/5). Let k be (-41)/r - (0 + 5/(-20)). Which is smaller: k or 1?
k
Suppose -2*x + 249 = 2*y + 59, -5*x + 5*y + 495 = 0. Suppose 0 = -3*k + 3*m + 300, 0*k = 4*k - 3*m - 396. Which is smaller: x or k?
k
Let b be -1*181 + -6 + 6. Let k be 5*-36 - ((-10 - -20) + -8). Which is smaller: b or k?
k
Let v be 47691/5301 + (-3 - 6). Which is bigger: 0.4 or v?
0.4
Let r be 2*(9/(-2))/(-3). Let b = 522 + -537. Let j be 8/12*b + r. Which is smaller: j or -5?
j
Let t = -1.135 + 1.201. Let o = 4.3 + -4.3. Is t < o?
False
Let k be (-17983)/(-98) + 1/(-2). Which is smaller: k or 182?
182
Let f(j) = 17*j - 40. Let o be f(10). Let w = o + -83. Suppose -37*y + 70 = -w*y. Which is bigger: y or -3?
-3
Let s = 155211/13 - 11939. Which is greater: s or 17?
17
Let s be (-1)/(-6) - (-21)/(-18). Let g be ((-34)/(0 + s) - 0)*1. Which is smaller: 33 or g?
33
Let a = -3110 - -3109. Let r be (2 - 4)/(137*-1). Is a bigger than r?
False
Let a = 1.3 + -0.3. Suppose -3 - 12 = r. Let p be 1 - -6*5/r. Which is smaller: a or p?
p
Suppose -4*p + 4*n = -16, 71*p + 1 = 69*p - n. Which is greater: 2469 or p?
2469
Suppose 0 = -9*t - 18*t + 1320 - 1347. Is 80/357 at most t?
False
Let v = 3/1279 + -76761/8953. Suppose -2*d = -5*w - 55, 11 + 31 = -3*w + 3*d. Is w greater than v?
False
Let r = 11900 + -11873. Let b = -41 + 59. Let z be (1 + (-2)/(-4))*b. Is r equal to z?
True
Let g be 780/(-230490)*9/22. Which is smaller: 1 or g?
g
Let m be 10/(-6) + 61045/105 + 5. Let i = -582 + m. Which is smaller: 4 or i?
i
Let g = -53033 + 459212749/8659. Is 1 >= g?
True
Suppose -9757*z - d = -9761*z + 17, -33 = -6*z - d. Let r(c) = 39*c - 1. Let h be r(-2). Which is smaller: h or z?
h
Let m = -16498 + 16535.855. Let w = m + 0.145. Which is smaller: w or 2?
2
Let k(f) = -f**3 - 20*f**2 + 63*f - 15. Let d be k(-9). Which is bigger: -1474 or d?
d
Suppose -2*k + 14 + 6 = 0. Suppose 16 + 59 = -5*s. Let z = s + k. Does -1 = z?
False
Let b be 207/12*(-9 + 13). Let m be 18/5*(-225)/(-12). Which is bigger: m or b?
b
Suppose 3*w + 8*g = 3*g + 15, 0 = g. Suppose 15 = 3*l, a + 3*a - 3 = w*l. Let v be a - 11 - (-1 + -49)*1. Is 47 at most as big as v?
False
Let a = 74.66 + -6.86. Let h = a + -70. Let y = -0.3 - 0.7. Which is smaller: y or h?
h
Let t = -2416 - -425215/176. Suppose -3*s + 70*s = -36*s - 16*s. Is s <= t?
False
Let l(o) = -o**3 - 8*o**2 + o + 4. Let i be l(-8). Suppose -5*k = -3*s - 10, k - 2*k + 2 = 5*s. Is s at least i?
True
Let d = 6202777/95 + -65293. Is d greater than 0?
False
Let t = -34 + 4. Let b = 9831 - 9859. Is t bigger than b?
False
Suppose -3*i + 4 = 1. Let k be ((-4)/(-5))/((-8)/40) - -5. Let c be ((-24)/(-108))/(-2 + k). Which is smaller: c or i?
c
Let y be (-4 - 2) + (-266 - 0). Let w = y + 266. Which is bigger: w or -52/9?
-52/9
Suppose 5*p = 21*p - 6080. Let o = p - 254. Let z be (o/324)/((-2)/6). Which is smaller: z or 0?
z
Let c = -209.97 - -225. Let v = 15 - c. Let b be (12/15)/2 - 1. Is b smaller than v?
True
Suppose 0 = -7*d + 1000 - 209. Let o = d + -108. Let t(m) = -m + 13. Let w be t(10). Which is smaller: w or o?
w
Let z = -2198.86 + 2199. Is z less than or equal to -69?
False
Suppose 0 = -4*s - 2*l + 202, -s - 3*s + l = -211. Suppose 360 = -4*o + s. Let b = 115 + o. Is b less than 39?
True
Let s = 57 - 59. Suppose -59 = 2*t - q, 5*q + 0*q = -15. Are t and s non-equal?
True
Let f = 4657 + -4623. Which is bigger: f or 0.003?
f
Let h = -372820540/673381497893247 + 2/58285719. Let t = -417529503478/658527441 + h. Let k = t + 634. Is k < -1?
False
Suppose 0 = -3*v - y + 1635, 5*v - 2708 = 25*y - 21*y. Suppose -52*d = -236 - v. Let w be (-2)/(-4) + (-31)/(-2). Is w at least d?
True
Let b be 3/(4 + -7)*-45. Let j be b/(-12)*(2 - 6). Suppose -j*f + 10 = -20*f. Which is smaller: f or -3/4?
f
Suppose 0 = -h + 5, w + 7*h = 2*h + 25. Suppose w*f = -5*f + j + 281, f = -j + 61. Which is bigger: 58 or f?
58
Let a(n) = 110*n - 1321. Let r be a(12). Is r at least as big as 2/9831?
False
Let g be ((-2731)/21)/(78/273). Which is greater: 0 or g?
0
Let r be (-8)/124*261/78. Let p = -21/31 - r. Let q = 8437 + -75934/9. Which is bigger: q or p?
q
Let n be (-14 + 13)/(5/(-135)). Suppose 13 = i - 19. Let g = n - i. Which is bigger: -4 or g?
-4
Let r(g) = g**3 + 6*g**2 + 8*g + 95. Let a be r(-7). Let o be (2/(-4))/(267/(-6)). Let x = 181/267 - o. Is a greater than or equal to x?
False
Let o = 0.821 + 0.783. Let h = o - 0.604. Is h bigger than -0.373?
True
Let o be 240 + (-7)/(-2) + (-4)/8. Let m = o - -37. Let z = m + -19882/71. Which is greater: z or 0?
0
Let n(g) = 11*g + 4. Let p be n(1). Suppose 5*q - 15 = -0*q. Suppose 15 + p = -q*x. Do x and -10 have the same value?
True
Suppose 10*o + 225 = 15*o. Suppose 27*p + 294 = 1590. Is o at most as big as p?
True
Suppose 407*g - 184*g - 2520 = 181*g. Let l = -73 + 135. Is l less than g?
False
Let c = -521 - -499.24. Let j = 21.9 + c. Is -2/9 equal to j?
False
Let n be ((-12)/22)/((-42)/(-8)). Let x be (-36687)/3234*4/6 - -1. Let f = x + n. Which is smaller: -6 or f?
f
Let m = -10544 + 10544.1. Which is bigger: -0.2404 or m?
m
Let g = 0.06 - -0.06. Let a = -0.02 + g. Suppose 0 = 6*x - 144 - 108. Which is smaller: a or x?
a
Let u = 285 - 283. Let f = 0.429 + 0.071. Which is bigger: u or f?
u
Let r = 701 - 736. Suppose 76*g = 81*g + 150. Is r bigger than g?
False
Let r = -0.685 + 621.685. Let g = 622 - r. Which is smaller: g or 0.024?
0.024
Let q be 24/54 + (-35)/(-63). Suppose 2*n + 22 = -5*o, 0 = -5*n - o + 5 - 14. Is n at least as big as q?
False
Let o be (-2)/(-3) - 232/(-6). Let j(u) = 14*u**3 - 504*u**2 - 56*u + 2056. Let i be j(36). Is o greater than i?
False
Suppose 157*x - 151*x = 0. Which is bigger: x or -2/2903?
x
Let a be (658/(-6))/(4/48*-2). Let r = 657 - a. Which is smaller: 2/155 or r?
r
Suppose 8*a + 28 = 2*k + 4*a, 4*a = -2*k - 12. Suppose -54 = q - k*r - 2, -r = q + 52. Is q bigger than -157/3?
True
Let g(f) = f**3 + 6*f**2 - 5*f + 6. Let y be g(-7). Let u be 72/40 + (-14547)/1365. Which is greater: y or u?
y
Let r = 8 + -13. Suppose 5*n - 19 = 6*q, 2*q = 42*n - 41*n - 3. Which is bigger: r or n?
n
Suppose -d + 4*h = -81, 8*h - 4*h - 307 = -3*d. Which is smaller: d or 75?
75
Let o = -0.11 - 0.02. Let m = -0.03 - o. Let s be 36/(-72)*(2 + -2). Is s greater than m?
False
Let k = -6.977 - -0.377. Let p = -22.6 - k. Is p not equal to -1/3?
True
Let y(r) = -1048*r - 4284. Let v be y(0). Is v at most as big as -4288?
False
Let n = -195.31 + 0.31. Let k = -194.8 - n. Let u = 4 - 8. Which is smaller: k or u?
u
Let m be (-40)/(-12)*(252/(-5))/4. Suppose 64*z + 1763 = 21*z. Which is greater: m or z?
z
Let a = -12.1 - -12.1. Suppose 3*n + 12 = 0, -3*u - u + 5*n + 44 = 0. Let h(y) = -y**3 + 4*y**2 + 13*y - 3. Let v be h(u). Is v bigger than a?
True
Let q = -146.4 + 23.4. Let x = q + 129. Let d = x - -44. Which is smaller: 0.1 or d?
0.1
Let n = 757/75 - 19/25. Let f = 55 - 45. Do n and f have the same value?
False
Let g = 298.5755 - -0.4245. Which is bigger: 0.01 or g?
g
Let t(j) = 6*j**2 - 81*j + 36. Let p be t(13). Which is smaller: 156 or p?
p
Suppose 7*f = d + 11*f - 6, -d - 3*f = -5. Suppose -u + 2*i = u - 6, -4*u = d*i + 12. Does u = -3/7?
False
Let o = 16737449/250 - 66950. Which is greater: o or -1?
o
Suppose 4*s = i - 86, i + 22*s - 18*s - 126 = 0. Which is smaller: 115 or i?
i
Let c = -21 - -86. Let z = -49 + c. Let j = -7 + z. Which is smaller: j or 0.1?
0.1
Let n be (54/(-4))/((-2)/4). Let i = -23 + n. Suppose 0 = -2*g - 2, -g + 17 = i*q + 82. Which is greater: q or -15?
-15
Let o = 11.082 - 11.038. Let h = 23.2 + -23. Which is bigger: o or h?
h
Let n be 5516/(-80) + 17 + -8. Let g(p) = 59*p + 1. Let m be g(1). Let l = n + m. Is l >= 0?
True
Let t = 6858 - 6857.844. Is t at most as big as -11?
False
Suppose 3*d - 189 = -0*d. Suppose 0 = -11*g - 35 + 123. Let i be 3/42*g - (-6)/d. Which is smaller: i or -0.06?
-0.06
Suppose 14 - 4 = 2*o. Suppose 148 = -5*f + d + o, -4*f = 5*d + 126. Let i = f + 29. Is -3/29 at least i?
False
