 Is v greater than 1?
False
Let o(q) = 68*q - 1111. Let l be o(19). Are l and -4/3 nonequal?
True
Let n = 618 + -599. Suppose -n*o + 1200 = o. Which is bigger: o or 58?
o
Let s = 11405 - 11403. Are 147/103 and s non-equal?
True
Suppose -84 - 164 = 248*w. Suppose -2553 = -3*g + 2832. Let n = 382333/213 - g. Are n and w equal?
False
Let i = -158.1 - -150.7. Is -2/37 smaller than i?
False
Suppose 78120 = 63*i + 12*i - 3*i. Do 1084 and i have the same value?
False
Let c be (-2)/(-30) + (-56)/(-60). Which is greater: 2/55695 or c?
c
Let b(d) = 128*d + 34. Let i be b(14). Is 1826 greater than i?
False
Suppose -169 = -6*n - 109. Let s(d) = 6*d - 59. Let b be s(n). Let v be 1/(-4)*8/(-6). Is b < v?
False
Let z = 30 + -50. Let l = 1608 - 1588. Let u = z + l. Which is bigger: -0.003 or u?
u
Suppose 0 = -b + 5*m - 11, 3*b - 6*m = -m - 83. Let a be 14/(0 + 76/b). Which is greater: -8 or a?
a
Let v = 3139 - 3138. Do 4/841 and v have different values?
True
Let x be (-1 + (4 - -2))*1. Let k be 6 - (2/2 - x). Let r be (-4)/k*10/(-6). Which is smaller: r or 0.1?
0.1
Let c be ((-32)/6)/(55/(-165)). Which is bigger: -12 or c?
c
Let p = 5764/7 + -824. Let h = 3152/15 + -210. Is h at most as big as p?
False
Let z = 383.2 - 392.2. Is z <= 443?
True
Let p be (-10)/(0 - 318/(-63)). Which is greater: p or -2?
p
Let s be 2 + (-1)/(2/42). Suppose -17*q = -15 - 36. Suppose -6*z = -q*z - 2*a + 52, 0 = 4*z - 2*a + 72. Which is bigger: z or s?
s
Let w be (-308)/(-100) - (-7)/(7/(-3)). Let n be (1/4)/((-175)/(-84) + -2). Which is smaller: n or w?
w
Suppose -29*x - 38 - 78 = 0. Let k be (1 + -6 - (-1 + x))/(-1). Let f be 1 + 0 - (-10)/(-7). Which is smaller: f or k?
f
Let r = -100.05 + -1966.95. Is -2 at least r?
True
Let d(c) = -c**2 + 50*c - 760. Let v be d(15). Which is greater: -238 or v?
v
Let q(w) = -w**2 + w + 4. Let j be q(3). Let d be 20979/(-252) + 3*(-4)/((-16)/(-1)). Is d > j?
False
Suppose 4*c = -4*g - 0*g + 52716, 9 = 3*g. Let i = 8630278/655 - c. Which is greater: 1 or i?
1
Let v be 9405/627 + (-15 - -1). Do v and -114/317 have the same value?
False
Let u be ((-3)/9)/((-2)/30449) - 4. Let q = 5056 - u. Which is bigger: q or -16?
q
Let l be (-22 - -54 - 32)/((-2)/(-1)). Is 2/3379 equal to l?
False
Let n = -9 + 8. Let b(z) = 4*z - 46. Let o be b(13). Let c be (-98)/60 - 1*(-9)/o. Is c bigger than n?
True
Let m(s) be the second derivative of 2*s**3 - 135*s**2/2 - 2*s - 4. Let t be m(17). Which is smaller: 73 or t?
t
Let n = 99 - 85. Suppose 2*k + 24 = n*k. Let u be ((-1 + 1)/k)/(15 - 13). Which is smaller: u or 5/24?
u
Suppose 0 = -5*k - 4*s - 9, 2 = 4*k - 3*s + 3. Let z be 0 + 2/(-14) + 52/2275. Is z smaller than k?
False
Let d = 3/18296 + -7481/17728824. Is d at most 0?
True
Let w = 639 - 638. Is 189.8 >= w?
True
Let c be ((-95)/(-133))/(8/28). Let r = -51.305 + 0.305. Is c <= r?
False
Suppose -38 = -7*m - 12*m. Let l be 7/(-3) - (-5 + m). Which is bigger: l or -37?
l
Let m = -0.38 + 0.78. Let u = 0.12 - m. Let k = -1.28 - u. Is -2/7 > k?
True
Let o = -134 - 179. Let f = -231 - o. Is f smaller than 83?
True
Let n be ((-1)/3)/((-1)/(-3)). Let z = -10/491 - -4133/130606. Which is bigger: z or n?
z
Suppose -5*o + 6 = 4*m, -2*m - 2 = -7*o + 12*o. Let x be ((-63)/(-16380))/(2/o). Which is smaller: x or -1?
-1
Let n = -2969.299 + -2.701. Which is greater: -1 or n?
-1
Let x be 5 + 1 + (-13 - -6 - -3). Suppose -6*k = -x*k + 696. Which is bigger: -177 or k?
k
Let x = -379/2581 - -10/89. Let d(u) be the third derivative of u**6/120 - 3*u**5/20 + u**4/24 - 3*u**3/2 + 2*u**2. Let z be d(9). Is z > x?
True
Let n = 148 + 132. Suppose 0 = 5*t - 10*t - n. Is -56 less than or equal to t?
True
Suppose 0 = -2*r - 10 + 66. Suppose -56*y + 54*y + 10 = 0. Suppose -5*u = 5, 0*n + 53 = 2*n + y*u. Is r != n?
True
Let q = 38652444/2029 - 19050. Is -1 > q?
False
Let h = -895 - -202. Let m be (-6)/(-4) - h/(-22). Is -94/3 != m?
True
Let c be (-3*4/12)/(7/231). Let h = 54 - 27. Let p = c + h. Is -2 greater than p?
True
Let u(g) = 2*g - 91. Let s(l) = l - 61. Let i(k) = -7*s(k) + 5*u(k). Let m be i(12). Let p = -18 + 23. Is p < m?
True
Let x = -2.6 - -2.37. Let q = -16.77 + x. Let a = q - -21. Which is smaller: a or -1/7?
-1/7
Suppose -4*i = -9*i + 20. Suppose -5*f = -3*y - 0*y - 3, 5*f + 1 = i*y. Suppose -2*c = -4*w - y*c + 10, -3*c = -w - 8. Is -2/27 equal to w?
False
Suppose -3*o - x = -14, -2*o = 14*x - 10*x + 4. Which is bigger: 105/19 or o?
o
Let g be (1/(-5))/((-15864)/15855 - -1). Let c = g - 348. Which is greater: c or 5?
5
Let n = -43.675 + 43.7308. Are n and 1/32 equal?
False
Let r = -17654 + 17895. Suppose s - 257 = -o - 4*s, -5*s + 741 = 3*o. Is r less than o?
True
Let v(n) = -4 - 282*n**3 + 5*n + 0 + 281*n**3 + 3*n**2. Let u be v(3). Which is greater: 78/7 or u?
78/7
Let r = 245 - 245.198. Let l = 0.198 + r. Which is greater: l or 16?
16
Let f = -302 - -165. Let i be f/(-580) - (-2)/(-8). Let a = -399 - -398. Which is smaller: a or i?
a
Let c(m) = m**2 + 3*m - 11. Let g = -254 - -256. Let a be c(g). Do a and -10/117 have the same value?
False
Let h = 2.6 + -3.39. Which is greater: -0.1 or h?
-0.1
Let k be (2 - (12 - 13)) + -491. Which is smaller: k or -489?
-489
Let r be 7/42 - 3517/6 - -4. Let i be r/18*3 - (1 - -3). Are -101 and i non-equal?
False
Let c be 885/25 + (-3)/(-5). Let m = -44 + c. Let r(s) = s**2 + 9*s + 9. Let z be r(m). Does z = 2/181?
False
Let w be 66/(-319)*((-78)/(-12) + -6). Suppose 2*g - 31 = -29. Is g not equal to w?
True
Let t be (-4)/(-76)*1/(-35). Let d = 20928957814/9150399335 + 1/13759999. Let n = t + d. Which is greater: n or 2?
n
Let q = -377 + 382. Let g be 13/((-13)/6) + q. Is 1/77 at most as big as g?
False
Let h = -99 + 102. Suppose -h*v = 27 - 93. Suppose v = 12*g - 38. Are 4 and g nonequal?
True
Let s = 0.359 - 0.326. Let v = -0.033 + s. Is -376 at most v?
True
Let x = -10736 - -1621151/151. Which is bigger: x or 1?
1
Let r = -2.90634 + -0.09366. Which is greater: -0.1764 or r?
-0.1764
Let p = -17 - -17. Suppose z - 3*z + 8 = p, -1372 = 4*w - 4*z. Which is bigger: -340 or w?
w
Suppose 243*n = 240*n + 6. Let u be -92*(30/18 - n). Does 31 = u?
False
Let h = -310 - 407. Let a = -704 - h. Is 6 less than or equal to a?
True
Let u = -5058 - -4419. Which is bigger: -6 or u?
-6
Let b = 258 - 307. Let z be (b/20 - -2)*(-20)/12. Let u be 0/(0 + (2 - 4)). Which is greater: u or z?
z
Let b(a) = a - 19. Let c be b(21). Suppose -14*r = -c*r. Let n = 0.96 + 0.34. Is r less than n?
True
Let f = 4 + 5. Let l be (3/7)/((-555)/(-16835)) + -10. Which is greater: l or f?
f
Suppose -3*q + 152 = -112. Suppose q*i = 21*i. Let x = 2518/35 - 354/5. Is i bigger than x?
False
Suppose b + 3 = 5*n, 2*n - 388 + 400 = -4*b. Which is smaller: n or -29/114?
-29/114
Suppose -2*q - 27 + 11 = 2*x, 3*q = 2*x - 9. Let z be 3/(-6)*(x - 3). Suppose 16 = 2*v - z*v - 4*y, 0 = -5*v + 3*y + 12. Which is smaller: v or -2/21?
-2/21
Suppose 3*d + 2*c + 394 = -182, 5*d + 967 = -c. Let n = 972/5 + d. Which is smaller: -19 or n?
-19
Let v = -446637 + 446605. Let y(f) = -5*f**2 + 2*f - 1. Let x be y(3). Which is smaller: v or x?
x
Let c be 9/54*-116 - (-1 - (-2)/6). Is -18 less than c?
False
Let x(t) = -33*t + 138. Let r(s) = -67*s + 277. Let f(m) = 2*r(m) - 5*x(m). Let o be f(10). Are 173 and o unequal?
True
Let u = 35884558776/37535671 + -61/452237. Let n = u - 956. Let f = 632 + -632. Which is smaller: f or n?
f
Let d(r) = r**3 + 29*r**2 + 30*r + 56. Let s be d(-28). Let l(q) = -q + 12. Let k be l(s). Is k at least as big as -4?
True
Let h = 730/21 - 241/7. Let j(y) = -3*y - 17. Let m be j(-9). Which is bigger: m or h?
m
Let b = -0.212 + 0.012. Let y = -29.754 + -0.046. Let p = y + 27. Which is smaller: b or p?
p
Let x(p) = -p**2 + 16*p + 13. Let c be x(-3). Let d be (48 + c)*71/2. Is d greater than or equal to 142?
True
Let j = 342 + -170. Which is greater: 155 or j?
j
Let u be (-77)/15 + (-6)/(-18). Let f = -78 - -85. Let x(j) = j**3 - 6*j**2 - 7*j - 4. Let z be x(f). Which is smaller: u or z?
u
Let z = 119 - 72. Let g be (-16)/14 - 27/(-189). Is z bigger than g?
True
Suppose 5*l + 9 = -3*c, -2*l - 20 + 14 = 2*c. Suppose -2*w - 3*m - 31 = 0, -2 = w + 5*m + 31. Let y be 12/w*14/(-15). Which is smaller: l or y?
l
Let l = 8 + -10. Let w(z) = 8*z**3 + 9*z**3 - 30*z**3 + 6 + 3*z**2 + 6*z 