a be 472/(-1230) - y/50. Is -1 less than a?
True
Let j be (-3)/36 + 4760/62880. Which is greater: j or 0?
0
Let u(i) = -i**3 + 11*i**2 - 14*i - 17. Let o be u(9). Which is smaller: 25 or o?
o
Suppose 5*t - 2*q + 293 = 53, 0 = -4*t + 4*q - 204. Which is smaller: -51 or t?
-51
Let s(y) = y**3 - 4*y**2 + 10*y - 14. Let g be s(5). Suppose 0 = 4*u + g - 57. Is 8/17 smaller than u?
False
Let f = 0.63 + -0.63. Let i be (-771)/168 - (78/(-21) - -4). Is i greater than f?
False
Let n = 663 + -7287/11. Let j be 120/(-420) + (-4)/(-14). Which is bigger: j or n?
n
Suppose 8 = 4*y, 8 = 3*h - 3*y + 2. Let j(u) = u + 4. Let m be j(-4). Suppose -h*b + 5*f + 19 = m, -1 = -2*b - f - 2. Are b and 2 unequal?
True
Let z = 24 - 17. Let u be (-20)/(-7) + 1/z. Suppose 3*l = -5*d - 22, 0*l - u*l - d - 2 = 0. Which is bigger: -2/27 or l?
l
Let y = 53 + -76. Let c = y - -22.99. Let g = 0.06 + 0.04. Which is smaller: c or g?
c
Suppose -a + 3*x - 29 = -2, -5*a - 2*x - 101 = 0. Let o = 2.9 - 3. Which is smaller: o or a?
a
Suppose -4*q = -20, -5*b - 9 = 5*q - 44. Let x be 4 - ((-1256)/(-616) + 6/(-33)). Which is smaller: x or b?
b
Suppose 5*h = -15*g - 3575, 4*h + 5*g + 1432 = 2*h. Is -1441/2 <= h?
False
Let q = 15.53 + -161.33. Let a = q - -122. Let d = a + 24. Which is smaller: -1 or d?
-1
Let y = -15 - -20. Suppose 4 - 4 = -y*w. Let k be 8/(-28) - (-4)/63. Is k less than w?
True
Let l(s) = -s**3 + 38*s - 12. Let i be l(6). Which is smaller: i or 9/98?
i
Let z be 1/4 - 56/(-32). Let a be z/6 - 187/(-51). Suppose -a*i + 10 = i. Is i less than 3/2?
False
Let w = -0.4 + 3.4. Let y = w + -1. Let k = -0.801 + 1.301. Is k <= y?
True
Let h(y) = 2*y**3 + 29*y**2 + 17*y + 39. Let d be h(-14). Which is smaller: -10 or d?
-10
Suppose 0 = 2*v + v - 3. Let w = 1 + v. Suppose -w*m + 4*m = 0. Is m not equal to -1/2?
True
Let c be 104/8 - 1*-3. Let k = c + -18. Let z be 33/(-6)*(-2)/(-4). Is z != k?
True
Let p(c) = -c**2 - 23. Let u be p(-5). Which is smaller: u or -49?
-49
Let y = 15 + -26. Let n = y + 11.3. Let u = n - 0.4. Which is greater: -0.6 or u?
u
Let u be 7/(7/(-9)) - -2. Which is smaller: -0.3 or u?
u
Let v be ((-4)/50)/(88/(-40)). Which is smaller: v or 1?
v
Suppose -4*c + 7 + 13 = 0. Suppose -c*f - 1 = 14. Are f and -13/6 nonequal?
True
Let v(a) = a**2 - 5*a - 8. Let u be v(7). Let g be 0/2*u/18. Are 3/5 and g nonequal?
True
Let i = 0.2 - 4.2. Let d = 16 + i. Let o = d - 14. Is o at most as big as -1/3?
True
Let y = -11 + 13. Suppose u = 2*l + 14, -y*u + 0*l + l = -13. Are u and 1 non-equal?
True
Let y be (-45)/12*48/(-9). Let l be (4/y)/((-4)/12). Let n = 5 + -2. Is n > l?
True
Suppose 0 = c - 7*x + 4*x - 4, 5*x = -c + 12. Let a = 9.5 - 8. Let i = -0.5 + a. Do c and i have the same value?
False
Let o = 0.7 + -0.72. Suppose 13*d - 5 = 12*d. Which is bigger: d or o?
d
Let f = -215 - -88. Let q = f + 130. Suppose 6 = -0*n + 3*n. Which is bigger: n or q?
q
Let b = -1324.5 + 1327. Is b less than 2/5?
False
Let r be (-945)/234 + 126/28. Let q be 3/((-3)/(-2)) + -1. Is q bigger than r?
True
Let i be (-2118)/8 + 0 - 318/(-424). Is -266 less than or equal to i?
True
Suppose 5*g - 113 + 37 = 2*u, -g + 38 = -u. Which is greater: u or -36?
-36
Let n = -0.1 + 0.1. Let v = 112 + -100. Let k = v - n. Is -1 greater than or equal to k?
False
Let n = 1145/5658 - 8/41. Let v = 31107114449/3450 - 9016555. Let d = n + v. Which is smaller: -1 or d?
-1
Let r be (-132)/(-2)*4/8. Let a be r/(-11) - (-1 - -18). Is -19 at most as big as a?
False
Let m be ((-4)/((-32)/4))/((-40)/(-32)). Let j be 4/8 + (-6)/28. Which is bigger: j or m?
m
Let l be ((-2330)/133)/2 - (-2)/7. Let j = 21053/2489 + l. Which is bigger: j or -1?
j
Let o(s) = -s**3 - 7*s**2 - 2*s - 9. Let v be o(-7). Let t = 102 + -94. Is v < t?
True
Let d = 732 - 27821/38. Which is greater: d or 1?
1
Suppose z + 10 = 21. Let n = 30 - z. Suppose 63 - n = -2*o. Do -23 and o have the same value?
False
Let a(h) = 3*h**3 - 28*h**2 - 20*h - 2. Let k be a(10). Which is smaller: -10/7 or k?
k
Let d = -22.1 + 22.25. Which is bigger: -0.1 or d?
d
Let i(l) = l**2 + 4*l - 8. Let c be i(-6). Let h(a) = a**2 - 5*a + 4. Let f be h(c). Let g = -35/3 + 13. Which is smaller: g or f?
f
Let y be 1/3*(-24)/(-1). Let f = 129 + -88. Let h = f + -34. Is h smaller than y?
True
Let r be (1/2)/(13*(-17)/(-113594)). Is 257 at most as big as r?
True
Let n = 58.44 - -5.46. Let r = -64 + n. Is r greater than 2/17?
False
Let r = -10 + 19. Let m = -18 + 23. Suppose 2*n - c + 0*c = 9, 15 = m*n - 5*c. Does n = r?
False
Suppose 2*k = 4*t + 12, -5*k - 4*t + 19 - 3 = 0. Let v be (k + -7 + 4)*-3. Is v > -5?
True
Let g be (-15 - (-4 - -1))/((-18)/24). Let j be ((-30)/12)/(1/(-6)). Is g != j?
True
Let q = -17 - -21. Suppose q*n - 2*z - 14 = 0, -4*n = z - 6*z - 29. Suppose -2*u + 24 = -5*v + n, 3*v + 12 = 3*u. Is -2 less than v?
False
Let y be (-23)/(119/(-15) - -8). Which is smaller: y or -348?
-348
Let g = 2/12205 - -805516/85435. Let m = -10 + 18. Is g less than or equal to m?
False
Let k be (0 + -1)/(2 + 0). Let r be ((-7)/(-21))/(58/(-54)). Let q = r + -2/87. Is k < q?
True
Suppose -26*c - 72*c = -11*c. Which is smaller: -6 or c?
-6
Suppose -3*l + 3*t + 12 = 0, -2*l - 11 = -6*l - t. Suppose v + v = -5*u - 257, -l*u + 2*v = 151. Do -51 and u have different values?
False
Let f be (2 - 3 - -3)*(-114)/(-76). Is 35/13 <= f?
True
Suppose 0*x = l + x + 1, 5*x + 29 = l. Let c(t) = -t**3 + 13*t**2 + 3*t + 18. Let p be c(13). Let q = -51 + p. Which is bigger: q or l?
q
Let c(h) = 11*h + 54. Let v be c(-12). Let l = -79 - v. Is l less than -1?
False
Suppose 5*t - 3*g - 22 = 0, 0 = t + 2*g + 2*g + 14. Let s(o) = -2*o + 3. Let q be s(t). Let u = -153.8 - -155.6. Are u and q equal?
False
Suppose 26*z + 304 = 22*z. Which is smaller: -73 or z?
z
Let f(w) = -w - 4. Let b be f(-6). Let x be b/(-9) + 2/9. Let s = -0.56 + 0.16. Are x and s non-equal?
True
Let w be 50/(-84) + 3/6. Suppose x + 4*f = -f - 62, -5*x - 358 = f. Let u be 2/(-4)*x/126. Is w at least u?
False
Let b = -75816334/3499 + 21668. Which is smaller: 1 or b?
b
Suppose -7*z + 116 + 276 = 0. Suppose 3*v = -2 + z. Let p be v/(-64)*(-12)/9. Which is smaller: p or 4?
p
Suppose 784 = 10*i + 304. Are 56 and i unequal?
True
Let v be 64/12*9/(-210). Suppose 6*r - 2*r + 4*b = 12, 0 = -3*r + 5*b - 7. Is r less than or equal to v?
False
Let x(r) = r**3 + 16*r**2 - 16*r + 13. Let i be x(-17). Let k(a) = -a - 8. Let b be k(i). Let y = 5/2 + b. Which is smaller: -3 or y?
-3
Let t(y) = y**3 + 2*y**2 + 17*y + 16. Let c be t(-5). Is c at most -142?
True
Let b(a) = 48*a**3 + 2*a**2 - 1. Let q be b(1). Suppose -q*m + 1 = -48*m. Which is smaller: m or -1/10?
-1/10
Let m(q) = -2*q - 17. Let h be m(-5). Let t be h/(-3) + 2/(-6). Is 2 less than or equal to t?
True
Let r = 503/3 + -168. Let l = 4 - -1. Suppose l*a - 2*a - 3 = 0. Which is smaller: r or a?
r
Let z = -37/38 + 18/19. Suppose 5*u - 5 = -5*o, 5*u - 3 = u - 3*o. Are z and u nonequal?
True
Let r = 124 - -4. Which is smaller: -1 or r?
-1
Let d be (3 - 6) + 2 - -2. Let s(p) = -p**2 + p - 1. Let r(f) = -4*f**2 + 8*f - 7. Let q(x) = -r(x) + 6*s(x). Let m be q(d). Which is smaller: 2 or m?
m
Let z be -2*(-6)/3 - (-77)/(-14). Is z <= 17?
True
Suppose 0 = 2*o + 2, 3*w - 16 = 5*o + 4. Suppose a + 4*j + w = 0, 2*a + 4*j = -6 - 8. Is a less than -8?
True
Let u = -43.304 + 0.304. Which is smaller: u or 1/2?
u
Let y be -5*8/(-60) - 61/99. Is y < 0?
False
Suppose -b - 17 = 3. Let a be b/(-28) - (-4)/(-14). Let f = 37/70 - a. Do -1 and f have different values?
True
Let j = 3.2 - 3. Let o = -687 + 686.8. Is o at most j?
True
Let y be 2 + (-168)/1390*(-100)/(-6). Is -1 != y?
True
Suppose -5 + 2 = -c - r, 3*r + 11 = 2*c. Suppose 0 = -2*p + 6*p + c. Let k be ((-6)/(72/(-3)))/(22/12). Which is bigger: k or p?
k
Suppose -c - 5*r = c - 18, 3*c = -3*r + 18. Suppose 5 = 5*s - 4*s + m, -3*s - 20 = -c*m. Suppose 3*t = -s*t. Which is smaller: -1/5 or t?
-1/5
Suppose f + 6 = 3*f. Let m(t) = -t**3 - 7*t**2 + 6*t + 6. Let q be m(-8). Suppose -4*p = f*x - 11, p + 3*x + 8 - q = 0. Which is greater: 0 or p?
0
Let s be 30/35 + 6 + (-850)/35. Is -16 equal to s?
False
Let m(p) = 2*p**3 + 3*p**3 + 0*p - 2 + 2*p - 4*p**3 - 3*p**2. Let k be m(2). Let s = 6 - 7. Which is bigger: k or s?
s
Let k be (9/(-2) - -3)*(-24)/(-36). Is -69.5 