big as 207?
False
Let r = -20542 + 15385960/749. Which is smaller: r or 0?
0
Suppose -204 = -z + 4. Is 5 smaller than z?
True
Let c = 1519 - 1528. Let h be 28/(-3) + (-1)/3. Which is smaller: h or c?
h
Let p be (-25)/(-28) + (-3)/12. Let s = 19159009/28179522 + 2/670941. Let b = p - s. Is b at most as big as -1?
False
Let j = -89 - -85. Is -8/3 < j?
False
Let v be ((-84)/(-10))/((-9)/360*3). Which is smaller: v or -113?
-113
Let c = 673/4 + -3373/20. Let u(d) = -d**2 - 4*d + 7. Let r be u(-5). Let b be r - (-1 + 28/10). Is c smaller than b?
True
Suppose -l - 5*i - 7245 = 3*l, 3*i = 2*l + 3639. Let f = 19981/11 + l. Which is smaller: -1/4 or f?
-1/4
Let k be 25 + 4/(-6 - -4). Suppose -18*z = -k*z. Is z less than or equal to 4/23?
True
Let l(o) = 20*o + 16. Let y be l(12). Is y at most 257?
True
Let a = -226784/1183 - -1342/7. Suppose 2*i + i + 4*w - 23 = 0, 0 = -2*i + 5*w - 23. Is a at most i?
True
Let x = 4 + -3.6. Let b = -2.1 - -2.08. Let n = b - 0.98. Do n and x have the same value?
False
Suppose 2*w = -w - 4*d - 21, 0 = -2*d + 6. Let y = -12 - w. Are y and -11/9 equal?
False
Let p = 0.157 - 0.277. Which is smaller: 16 or p?
p
Suppose 0 = -11*t - 12*t + 23. Let j be 0 - (-1 + -1 + 3). Which is bigger: t or j?
t
Let q(l) be the second derivative of l**3/3 + l**2/2 + 44*l. Let p be q(8). Which is smaller: 10 or p?
10
Let r = 5 - 61. Let k be -4 - (111/(-15) + 3). Which is greater: r or k?
k
Let h be (-4)/(-20) + 69/5. Let y be 10/14 + 4/h. Let v = 109/174 + 6/29. Which is smaller: y or v?
v
Suppose 0 = -p - 4*q + 5, 0 = -4*p - 4*q + 13 - 5. Do p and -2/581 have the same value?
False
Let n = -3/170 + -4/255. Does 2/5 = n?
False
Let h = 2 + 0. Suppose -h*m = 3*m. Suppose m = 3*g - 19 + 7. Are g and -0.1 equal?
False
Let u be (2 - (1 + 0))*-3. Let a = -34 - -34. Let k(n) = n**2. Let t be k(a). Which is smaller: u or t?
u
Let g(k) = -2 + 3*k**2 + 30*k - 13*k - 3 - 14*k. Let o be g(4). Let l be (-80)/(-44) - (-10)/o. Are 8/9 and l equal?
False
Suppose 4*p = 13*t - 9*t, -3*t + 4 = p. Which is bigger: 6/29 or p?
p
Let j(g) = 0*g + 5 - 4 + 5*g - 13*g. Let f be j(0). Is f > -4/13?
True
Let h = -0.18 - 29.82. Let p = -26 - h. Are p and 5 equal?
False
Let o = -819 + 1022. Which is bigger: 205 or o?
205
Let j = -314 - -270. Which is smaller: -4/3 or j?
j
Let j = 2665 + -13576/5. Which is smaller: -49 or j?
j
Let u = -477 - -478. Which is smaller: u or 10/43?
10/43
Let l = -600 + 600. Which is smaller: -4/21 or l?
-4/21
Let s(f) be the third derivative of -f**6/120 + 4*f**5/15 + 3*f**4/4 - 2*f**3 + 33*f**2. Let h be s(17). Which is smaller: h or 50/11?
50/11
Suppose 19 = 14*u - 37. Let j be -2*6/u + 2. Which is bigger: -24 or j?
j
Let o = -13.3 - 3.7. Let d = 15 + o. Let l = 7/20 + -3/4. Which is bigger: l or d?
l
Let u = 11.22 + -11. Let z = u - -0.78. Let d = -44.9 - -45. Which is bigger: d or z?
z
Let l = -477 - -902. Let q = -7223/17 + l. Is 1 not equal to q?
True
Let x(t) = -t + 13. Let v be x(14). Let o(h) = -h - 3*h + 9*h**3 - 2 - 8*h**3 + 2*h**2. Let m be o(-3). Which is greater: v or m?
m
Let q be ((-160)/(-175) - 1)*905. Is -77 not equal to q?
True
Let u = 394.7 + -396. Do 33/7 and u have the same value?
False
Let a(p) = p**2 - 7*p + 8. Let l be a(6). Let t be (25 - -6)/(l + -1). Let i = -28 + t. Which is bigger: -0.7 or i?
i
Let s(t) = -2*t + 1 + 1 - t - 5. Let y be s(-6). Suppose -u - 10 + 2 = 4*x, 4*u = x - y. Which is smaller: x or -6/11?
x
Let k be -1 + 3 + (-26)/10. Let j = -120 - -122. Suppose 0 = -81*y + 83*y - j. Is k != y?
True
Let d = -869 + 869.732. Does d = 0.1?
False
Suppose 3*q = q - 26. Suppose -4*j - 38 = -2*t, -4*j + 9 = -t - 9*j. Let l = t + q. Is l bigger than -2?
False
Let b(f) = -f + 11. Suppose 2*q - 11 = a, -4*a + a + 5*q = 30. Let h be b(a). Let y be (-5)/(-15) - h/(-6). Which is smaller: y or 5?
y
Suppose 182 = 2*h + 232. Which is smaller: h or -27?
-27
Let q be (-18)/(-4)*(13 - 344/24). Which is smaller: q or -15?
-15
Let a be 19 + (12/8 - 3/6). Is a equal to 15?
False
Suppose -13*t + 27 = -10*t. Let v = -44/5 + t. Suppose 4*p - p - 3 = 0. Which is smaller: v or p?
v
Let i = 659/9 + -73. Which is smaller: 0 or i?
0
Let l be 1*(3/(-4))/((-66)/16). Is l at least 0.1?
True
Suppose -11*i + 7*i - 4*s = -4, -4*i - s = -4. Is i != 2/3?
True
Let x(p) = -p**3 - 14*p**2 - 11*p - 48. Let u be x(-14). Which is smaller: u or 105?
105
Let h = -0.0266 + 0.0366. Does 54 = h?
False
Let n be 2290/(-1125) + (-6)/(-3). Which is smaller: 0 or n?
n
Let v = -1 + 0. Let u = -16 - -319/20. Let k = -11/20 + u. Are v and k non-equal?
True
Let u be (-7 + 1)/(186/(-29326)). Is u at least as big as 946?
True
Let a(i) = 2*i**3 + 22*i**2 - 154*i + 4. Let m be a(6). Is 302 <= m?
True
Suppose -2*l + 80 = 2*o + 2*o, -4*l - 4*o = -156. Let z be 30/28 + (-19)/l. Which is smaller: z or 1?
z
Let j(b) be the first derivative of -b**5/20 - b**4/2 + b**2/2 + 3*b - 4. Let m(n) be the first derivative of j(n). Let w be m(-6). Are w and -4/9 unequal?
True
Let w = 52 - 90. Let t = -39 - w. Which is bigger: 5 or t?
5
Suppose -105 = 4*v - 3*v. Let t = 733/7 + v. Let o(a) = 4*a**2 + 24*a + 1. Let x be o(-6). Which is bigger: t or x?
x
Let n be (-5 + (-178)/(-4))/((-2)/(-4)). Does 77 = n?
False
Let w = 17 - 17.009. Let q = -794 + 794.1. Which is greater: w or q?
q
Let h = 1942 + -1924. Which is bigger: 22 or h?
22
Let p = 45/4 + -487/44. Let k = 3.9 + -3.9. Are k and p equal?
False
Let l be ((-5)/2)/((-1)/2). Let t = 45 + -42. Suppose -t*n + 6 = -0*n + 3*x, -3*n + x + 6 = 0. Do l and n have the same value?
False
Let z = -58 + 61. Suppose -n - z*n = -5*n. Which is greater: n or -1/14?
n
Let k = -19 + 23. Let n(b) = b**2 - 5*b + 4. Let z be n(k). Is z at least as big as 1/29?
False
Let a be ((-28)/8)/((-2)/(-4)). Let z(v) = -v**2 + 4*v - 6. Suppose -2*d + 0*d = -2*p - 10, -p = -2*d + 8. Let x be z(d). Which is smaller: a or x?
a
Let v = 275 + -228. Is 0.2 at least v?
False
Suppose 0 = -n - 5*f + 28, -4*n = -n + 5*f - 44. Suppose -3*o + 5 = y, y + 4*o + 2 = n. Suppose -3*p - 7 = y*a, 0 = -4*p + 2*a + a - 15. Are p and -4 unequal?
True
Let i(c) = c**2 - 8*c - 87. Let j be i(14). Is j >= -55/17?
True
Let n(j) = -j**3 - 7*j**2 - 5*j + 5. Let l(v) = -3*v + 24. Let z be l(10). Let x be n(z). Which is bigger: 1 or x?
1
Let c be (1 - 0)/((-1799)/301 - -6). Which is bigger: c or 42?
c
Let u = -1966 + 1966.1. Is u less than or equal to -35/3?
False
Let l(b) = b**3 + 7*b**2 - 8*b - 24. Let r be l(-8). Is r less than or equal to -20?
True
Let c be -8 + -207 + (-72)/(-8). Which is bigger: -204 or c?
-204
Let i = 2 - -12. Let o = 531/4 - 1441/12. Is i > o?
True
Suppose 0 = 8*f - 6*f + 146. Is f less than or equal to -70?
True
Let t = 4.61 + -0.61. Is t <= 1/46?
False
Let n = -3.7 + -5.3. Let o = n + 9.09. Is 0.1 smaller than o?
False
Suppose b = -4*b + 90. Let m = b + -13. Suppose 0 = -m*h - 10 - 15. Is -4 >= h?
True
Suppose -5*p - 10 = -s + 13, -27 = -5*s + 3*p. Let z be (1 + s)/(-4) + 13. Let x be z/6 - (2 + -1). Which is bigger: x or 3?
3
Let g(m) = -67*m - 602. Let o be g(-9). Which is smaller: 2/4981 or o?
2/4981
Let t = -35/43 + 4388/3225. Let d = t - -3/25. Which is bigger: d or -1/25?
d
Let y be 2/5 - (-30)/50. Is y smaller than -2/57?
False
Let j be (22/(-5))/(((-58)/(-5))/(-1)). Let c = 12726123/319 - 39894. Let a = j + c. Which is smaller: -1 or a?
-1
Let v be 30*-3*(-1)/134. Which is smaller: 1 or v?
v
Suppose -26*t = -8 - 44. Let b(v) = -v**2 - 2*v + 4. Let l be b(-3). Which is smaller: t or l?
l
Let n be (-245 - 2) + (-528)/(-44). Is -236 equal to n?
False
Let m = -0.25 + 0.2. Let t be 21/15 + (4 - (9 - 4)). Is t < m?
False
Let v = -134 + 71. Are -63 and v nonequal?
False
Let c(l) = l**3 + l**2 - 5*l + 10. Let d be c(-4). Which is greater: d or -93/5?
d
Let k be (-820)/30 - (-2)/(-3). Let g be (3/7)/(8/k). Is g not equal to -2/5?
True
Let v be 4/(-15) - 2/(-9). Let z = 1.07 + -0.895. Let m = z + -1.175. Which is smaller: v or m?
m
Suppose 8 = 2*k - 4. Let h be 3/2*112/84. Suppose k*a - 8*a + h = 0. Which is bigger: -1 or a?
a
Let s be 45/35 - 6/21. Let b(r) = r**3 + 2 - 8 + s + 4. Let p be b(1). Is p not equal to 1?
True
Let r(k) = -k**2 - 4*k. Let o be r(-4). Let j = o + -1. Let f = -271 - -271. Which is smaller: f or j?
j
Let x be -44*(-13)/78 - 1/3. Suppose i = 