et a be 3/6 + (-45)/(-10). Let t be (3/12)/((-4)/(-80)). Suppose -5*x + 15 = t*z, 2*x - 6 + 3 = -3*z. Which is bigger: x or a?
x
Let q be (-2)/24*(-3 + 0). Let i(o) be the first derivative of -3*o**2 - 41*o - 4. Let k be i(-7). Does k = q?
False
Suppose 3*t + 10 = 22. Suppose -i + 2*f - t*f = -39, -5*i + 4*f + 167 = 0. Is 36 greater than i?
True
Let z = 26 - -3. Let f be 1/z*-85 - -3. Let g = 52/87 + f. Which is smaller: g or 1?
g
Let s(o) = o + 10. Let v be 3*(-2)/27 - (-352)/(-36). Let d be s(v). Are d and -13 equal?
False
Let j(o) = -57*o - 24. Let g be j(-8). Is g less than 431?
False
Suppose q = -7 + 17. Let n be (1 - 12/q)/(-1). Let p = 1017 - 9155/9. Which is smaller: p or n?
p
Let u = 3.12 - 3.02. Are 6/13 and u non-equal?
True
Suppose -92 = 3*u + 2*h, 0 = 3*h - 7*h - 16. Let c = 28 + u. Which is smaller: c or 18/13?
c
Suppose -8*w + 1428 + 5564 = 0. Is w >= 874?
True
Let q = 3 - 2. Let s = 1267/18 - 139/2. Which is smaller: q or s?
s
Let g be (-860)/(-200) + -4 + 0. Is g at least 0?
True
Let o(b) = 7*b - 6*b - 11 + 4 + 0*b. Let g be (-34)/(-5) - (-1)/5. Let w be o(g). Which is smaller: -3 or w?
-3
Let b be ((0 - 1) + 2)/(-1). Let f = b + 0. Which is smaller: -1/59 or f?
f
Suppose -33*c - 1 = -34*c. Suppose -2*a = c - 11. Let h be 10*6/16 - 0. Is a >= h?
True
Let k be 7 - (-1 + 3) - -8. Suppose -66 = -4*j + 2*d, -55 = -3*j - 2*j - 3*d. Let a = j - k. Is 2/23 less than a?
True
Let q(p) = 2*p**3 - 133*p**2 - 70*p + 192. Let t be q(67). Is 53 at most as big as t?
False
Let m = -24 + 24. Suppose -2*h + 4 = -m. Suppose 4 = -2*u - q + 2, -2 = h*u - q. Which is smaller: 2/7 or u?
u
Let a(g) = -g**2 - 2*g - 1. Let i be a(-1). Suppose -3*v = 3*l - 27, i = -3*v + 2*v + 5*l - 3. Let t be (-1)/v - 108/28. Which is smaller: t or -11/4?
t
Let l be (-31 - -14) + (-54)/(-6). Is l less than -7?
True
Let u be (92/(-14950))/((-7)/10*-2). Which is smaller: u or 0?
u
Suppose -n = -5*c - 5, -5*c - 2*n + 10 = -4*c. Let z = -6 + -42. Let i = z + 95/2. Are i and c unequal?
True
Let p(l) = 2*l**2 + 61*l - 21. Let m be p(-34). Is 219 greater than m?
True
Let i be ((-2)/(-4))/((-27)/6). Let j(p) be the first derivative of p**2 + 34*p - 13. Let l be j(-17). Is l less than or equal to i?
False
Suppose u + 12 = 4*u. Let p be (8/16)/((-2)/u). Let n be (((-96)/(-10))/3)/(-2). Is n greater than p?
False
Let v be 3/5 - 10/25. Let f = 0.328 - 0.228. Is f bigger than v?
False
Let p = -15 + 47/3. Is p smaller than 12/7?
True
Let u(y) = y**3 + 3*y**2 - 3*y - 5. Let g be u(-4). Let n be (-3 + 9/5)/((-20)/(-125)). Which is smaller: g or n?
g
Let i = 6 - 6.07. Let s = -6.7 - -7.44. Let a = s + -0.94. Which is smaller: a or i?
a
Let h = -932.18 - -932. Is -11/2 less than or equal to h?
True
Let l(x) = 3 - 3 + 11 + x. Let f be l(-5). Let y be 18/f + 22/(-5). Is -2 > y?
False
Let u = -31989/4 + 7941. Suppose 2*z = 7*z + 285. Let x = z - u. Do x and -1 have the same value?
False
Let k = -2/521 - 491/7815. Let l = 37/105 + k. Let v = -624 + 623. Is l at most v?
False
Let h = 17 - 11. Let u be 1/(1/(-4)) - (8 - 18). Is u bigger than h?
False
Let j be 0*(12/4)/6. Suppose 4*v + j = 8. Let u be (10/(-35))/((-24)/70). Is u < v?
True
Let q = 617 + -30241/49. Let h = q + 275/784. Is h smaller than 1?
True
Let f(j) = j**3 + 7*j**2 - 9*j - 8. Let v be f(-8). Suppose 4*i - 17 - 19 = v. Let h be 1 - (-3 + 33/i). Which is smaller: -10 or h?
-10
Let o = -9/140 - -7/20. Let u be ((-20)/(-165))/(3/(-27)). Which is bigger: u or o?
o
Let r = -75 - -70. Which is smaller: 0 or r?
r
Let b be 2/(-9) + 80/(-72). Let r(s) = s**3 - 8*s**2 + 6*s + 7. Let m be r(7). Suppose m*x + 1 = -x. Is b > x?
False
Let h(p) = 5*p + 7. Let q be (3/2)/(104/16 - 5). Let k be h(q). Is 2 not equal to k?
True
Suppose -l = 4*z - 196, -3*z + 395 = 2*l + 23. Which is smaller: l or 1612/9?
1612/9
Suppose -12 = 3*a + 5*q, 4*a + 0*q + 4*q + 16 = 0. Let l be (a*(-1)/8)/((-3)/90). Is -3 less than l?
False
Suppose 5*y - 10 = -5*c, -4 = -2*y + 5*c - 7. Is y < -2/81?
False
Let n = -1123/2 + 551. Let b be -5*(2 + 3 - 3). Is n >= b?
False
Suppose -j + 70 = 4*j + 5*m, 8 = j - 5*m. Suppose s - 7 = -j. Which is smaller: 1 or s?
s
Let n be (-72 + 2*5/(-15))*3. Is -217 at most as big as n?
False
Suppose -4*k + 21 = 5*m, -10 = 2*k + 5*m - 33. Which is greater: 2/785 or k?
2/785
Let h = 33301/1203 + -6/401. Which is smaller: -5 or h?
-5
Let p = 0 - -5. Let a = 0.859 + -0.559. Is a less than p?
True
Let b = -666 + 591. Which is smaller: b or -72?
b
Let p be 4/(5 + (-12)/4). Suppose 0 = -p*i + 2*z + 2*z + 84, 2*i - 78 = -2*z. Let k be ((-348)/i)/3 - -3. Are k and 0 unequal?
True
Let s(h) = -2*h - 4. Let y be s(-8). Let q = -409 - -422. Is y greater than q?
False
Suppose 2*t = 4*t - 5*z + 20, -z = t - 4. Let a be (-2)/8 - 2/56. Which is smaller: a or t?
a
Let h = -159043/115 + 1383. Suppose -2*i - j + 7 = 14, -3*j = 15. Which is smaller: h or i?
i
Let a = 231 + -327. Let f be 6/9 + a/135. Let u = -1132 + 1133. Is u at most as big as f?
False
Let g be (12/10)/((-4)/(-70)). Let j = 36 - g. Suppose 3*n - j = -3*y, -2*n - 4*y = 3*n - 24. Do n and 3 have different values?
True
Let c be -19 + 13 - (-7)/1. Is c less than or equal to -2/29?
False
Let w be (-56)/70*4/8*-1. Which is greater: -1/178 or w?
w
Suppose 3*r - 15 - 12 = 0. Suppose 1 = -r*g + 10. Which is greater: g or -1?
g
Let a = 146.75 + -147. Is a smaller than -1?
False
Let q(h) = -31*h + 491. Let w be q(16). Let j(g) = -g + 2. Let c be j(3). Let x be ((-16)/10)/(c/w). Does x = -7?
False
Let r(k) = -k**2 - 8*k + 2. Let o be (-70)/(-21)*(24/(-5))/2. Let a be r(o). Is a less than 5/6?
False
Let g be 66390/(-720) + (3 - 8/3). Are -91 and g unequal?
True
Let g = 33979/23 + -1477. Which is smaller: g or 1?
g
Let z be 3/((-70)/52 - 16/104). Let i be (-38)/(z/(-8)*2)*-1. Which is smaller: i or 75?
75
Let u be ((-20)/30*9/69)/(-11). Which is smaller: u or -1?
-1
Let f = 7.16 - 0.16. Let g = 197 - 197.2. Is g at most as big as f?
True
Let d = 154 - 152.78. Let p = -0.78 - d. Which is smaller: p or -3/8?
p
Let u = -73 - -110. Does 1 = u?
False
Let z be 22/88 - (-542)/8. Suppose -18*y = -14*y - z. Which is smaller: y or 16?
16
Let n = 1609 - 1609.1. Is -331 < n?
True
Let x be (1225/(-75))/((-2)/(-18)). Let j = 732/5 + x. Do j and 2/3 have the same value?
False
Let k = -48 + 27. Let a = 33 + k. Let q = a - 11.93. Is q > 2/3?
False
Suppose 5*z + 2*n + 4 = 4*n, 3*n - 6 = 5*z. Let k be (-1 - (-904)/906)*10. Let f = -5546/4983 - k. Which is bigger: z or f?
z
Let y be ((-1844)/(-46) - -2) + (-132)/1518. Which is smaller: y or 44?
y
Let h = 16.9 + 0. Let d = h - 17. Is -76 less than or equal to d?
True
Suppose 5*v - v - 24 = 0. Let p = 8 - v. Suppose 0 = -w + 2 + 1. Is p less than w?
True
Let a(t) = -15*t + 31. Let z be a(2). Are z and -7/24 equal?
False
Let w = 6 + -8. Let p be (1/w + 0)*0. Is -2/7 less than p?
True
Let p = -528/7 - -76. Let z be 2/(1/(2/(-42))). Let d = z - p. Is 16 greater than d?
True
Let l be 102/24*-2 - (-1)/2. Which is smaller: l or 19?
l
Let d = 4 + -5. Let m(h) = h**3 + h**2 + h + 1. Let s be m(d). Let n = 97/5 - 863/45. Which is smaller: s or n?
s
Suppose -n = -3*r - 150, -4*r + 2*n - 5*n = 200. Is -47 <= r?
False
Suppose 5*p - q = 132 - 870, -3*q - 579 = 4*p. Let z = p - -146. Let j be ((-14)/6)/(8/6). Which is smaller: j or z?
j
Let d = -0.6 - -6. Let w = 17.4 - d. Which is smaller: w or -2/7?
-2/7
Suppose 16 = 4*t, 4*m - 4*t = -101 - 123. Is -51 < m?
False
Suppose 5*j = n - 0*n - 6, 0 = 4*n - 5*j - 9. Suppose d = 3*d - 4*x, 3*d + x = -14. Let b be (128/20 - 2) + d. Is b greater than or equal to n?
False
Suppose 5*j + 3*x = 119, 5*j + x - 116 = -x. Let u = 22 - j. Suppose u = c - 1. Is c at most as big as 2?
True
Let p = -1973 - -1972. Are p and 255 equal?
False
Suppose -2*u + 0*u = -10, -3*i = -4*u - 115. Suppose i = 6*h - 21. Suppose 3*m = t - 70, -4*t - h + 3 = 0. Which is smaller: -25 or m?
-25
Let p = -361 + 361.5. Suppose -3*w = 5*r - 28, 4*r + 0*w = 4*w + 16. Suppose -3*c + 13 = r*m, 3 = -4*c + m + 5. Are p and c unequal?
True
Let k(w) = -w**3 - 4*w**2 - 3*w - 22. Let a be k(-4). Which is greater: a or -16?
a
Let a be (-81)/(-1)*6/(-45)*-15. Which is smaller: a or 166?
a
Let h(s) = 7*s - 3. Let c(y) = 15*y - 6. Let a(w) = 6*c(w) - 13*h(w). Let o be a(0). Suppose -6*r = -