2/1505?
-2/1505
Suppose 0 = 3*i - 8*i - 5. Let p = -0.062 + -4.438. Let v = p - -14.5. Which is smaller: v or i?
i
Let i = 1 + 23/64. Is i at most as big as 2?
True
Let p = -61/24 + 167/72. Suppose -3*a = -4*a - 7. Let i(y) = y**2 + 8*y + 8. Let u be i(a). Which is bigger: u or p?
u
Let n = -450 - -1045. Let v = n + -620. Is -28 at most as big as v?
True
Let v(k) = 22*k + 134. Let r be v(-6). Let a be 1 - (-2)/(2/(r + -3)). Is a at most as big as 8/19?
True
Let i = 35765 + -35783. Which is smaller: i or 1.04?
i
Let a(t) = -3*t**3 - 2*t**2 + 4*t - 59. Let b be a(8). Does -1691 = b?
True
Suppose 2363 = 14*c - 13*c + 2*a, -c = 4*a - 2369. Are 2358 and c nonequal?
True
Let p(t) = t**2 - 2*t + 2. Let y be p(2). Suppose 3*l - 5 = 4*b, -4*l - 8 = -0*l + y*b. Is l less than -3?
False
Let v = 6613 + -39221705/5931. Are v and 0 non-equal?
True
Let z = -32 - -37. Let u be -2 + 1 + (-3 - -6). Suppose f - 5 = 2*f - u*l, -45 = 5*f - z*l. Do -13 and f have different values?
False
Suppose 0*c + 54 = 3*c. Suppose 2*o = o + c. Let l(s) = s - 17. Let w be l(o). Which is greater: w or 1/96?
w
Suppose -5*o = -5*n - 250, 10*n - 6*n = 2*o - 110. Suppose -5*a + 16*k - 21*k + o = 0, -k - 61 = -4*a. Is 15 at most a?
False
Let r = 23495.25 + -23495. Is r less than 0.362?
True
Let q = -5 + 3. Let f be 12/9 + q - 68/(-12). Suppose -f*n + 5 - 5 = 0. Which is greater: 1 or n?
1
Let q = 63654 + -63613. Let i = -85 - -129. Is q <= i?
True
Let j = 943/46620 + -5/252. Which is smaller: j or 1?
j
Let v be (2/20)/((-1)/27*-3). Let q = -18 - -18. Is v > q?
True
Suppose -11*j = -6*j - 915. Let c = j + -124. Suppose 5*l + 3*s - c = 0, -3*l - s = -5*s - 47. Which is smaller: 0.1 or l?
0.1
Suppose -h + 2 = -0, 5*h = -5*l + 25. Suppose 0 = 3*r - r - t + 27, -3*r + l*t = 48. Let k be -12 - -6 - (0 + -2 - -5). Is r greater than k?
False
Suppose -3*x = -3*v + 3, 3*v - 5 - 2 = -x. Suppose b = -2*o + 19, -3*o = -3*b - 2*b - 35. Let r be o + -9 - (-1)/6. Which is greater: v or r?
v
Let s be 0 - (-2 + (-22)/(-2)). Let m(k) = -17 - 685*k - 696*k + 2072*k - 694*k. Let r be m(s). Which is bigger: r or 2/11?
r
Let x(f) = -f - 22. Let m be x(-12). Let q = -50 + 74. Let y = q - 34. Are m and y equal?
True
Let u(r) = 2*r**2 - 6*r + 2. Let m be u(2). Let c be m + (0 - 25/(-5)) - 2. Which is bigger: c or -0.168?
c
Suppose -48*x = -43*x + 15, 5*u + 3*x + 3554 = 0. Is -710 != u?
True
Let u be (-4)/5*50/20*-32. Let m be (u/12)/8*9/(-157). Is 1 less than or equal to m?
False
Suppose -6*h - 11349060 = -h. Let k = h - -6264681247/2760. Let i = k + -1/230. Is i != -1?
True
Let q(z) = 4*z - 117. Let b(a) = -a. Let x(c) = 6*b(c) + q(c). Let m be x(-35). Does -48 = m?
False
Let o = 41633.57 - 41634.6. Let t = 3 - 2.8. Let z = 0.2 - t. Are z and o nonequal?
True
Let d = 728099/286442 + 10/6227. Which is bigger: d or 3?
3
Let g = 324.36 + -41.95. Let u = g - 281. Let z = u - -0.49. Is -1/4 at most z?
True
Let b(w) = -w**2 - 14*w - 48. Let m be b(-7). Which is smaller: m or 1/2996?
1/2996
Let o be -7*10/(-5) - -2. Suppose 5*a - o = a. Let c be 99/(-348) - (-1)/a. Which is smaller: c or 0?
c
Let n be (-1748 - (-7 - -4)) + 3/(15/10). Is -1743 != n?
False
Let x = 480 + -477.04. Let f = -3.96 + x. Which is smaller: 586 or f?
f
Let t be 678/(-16)*16/36. Let v = t - -50/3. Suppose 16 = 7*a + 30. Is v at least a?
False
Let m be (-85)/(-20) + (-1)/4. Let p = -157 - -153. Let v be p*12/(-18)*12/16. Is m greater than v?
True
Let h = 10535.9017 - -1.0983. Is 0.2 at most h?
True
Let c = 22301/5 + -4494. Is -13 >= c?
True
Let z be 4/(4/(-372)*3). Let g = z - -118. Is -41/7 <= g?
False
Let y be (-1)/(18/(-98)) - 3. Let d be 6 - 52/8 - 25/(-10). Which is bigger: y or d?
y
Suppose m - 4*f = -35 - 78, -3*m - 348 = -3*f. Let t = m - -197. Is t > 394/5?
True
Let o = 2048.05 - 2159. Let p = -111 - o. Is p < 19?
True
Let w = 10002 - 11874. Is w greater than or equal to -1867?
False
Let u be ((-1)/((-9)/12))/((-2)/(-381)). Let y be -13 + 7 + 1528/u. Which is bigger: y or 1?
1
Let l(n) = -13*n + 1269. Let p be l(81). Which is bigger: p or -1/2?
p
Let v = 9427570/261 - 36121. Which is smaller: v or 0?
v
Let l(b) = b**2 + 28*b - 131. Let k be l(4). Is -46/25 >= k?
True
Let y = 8.53 - 10.096. Let v = y - -1.47. Which is bigger: -2/3 or v?
v
Suppose -5*z + g = 2*g - 52, -2*z + 3*g + 14 = 0. Suppose -3*q - 4*h + 3 + 6 = 0, -h + 3 = q. Suppose 3*i - o = 34, -2*o = -q*i + 21 + 14. Does i = z?
False
Suppose 76*y = -140*y - 109512. Do y and -507 have different values?
False
Let f be 9/((-45)/65) - 200. Which is smaller: -212 or f?
f
Let f(k) = -7*k**2 - 460*k + 112. Let a be f(-66). Which is greater: a or 46?
46
Suppose -40*c + 30*c = -180. Suppose -c*n = -17*n - 1. Is -3/13 at most as big as n?
True
Let w(m) = 43*m + 182. Let j be w(-4). Suppose -7*d + 4 = -6*d. Which is smaller: j or d?
d
Let h = 43.96 + 0.04. Let b = h + -69. Let l = b + 25. Which is smaller: l or 3?
l
Let y = -31748109/829730 + 1/43670. Is y < -39?
False
Let v be 3699799/217628 + (-6 - 11). Which is greater: 1 or v?
1
Let r(s) = s**2 - 20*s. Let o be r(0). Let y be 7/(28/(-4))*o. Is -18/41 smaller than y?
True
Let t = -0.44 + 0.04. Let o = 101 - 99.6. Let y = o + t. Which is smaller: y or -8?
-8
Let x(g) = -g**3 + 3*g**2 + 4*g + 8. Let t be x(6). Let p = -128 - t. Let v = 114 + -113.9. Which is smaller: v or p?
p
Let o = 17185 - 16232. Which is smaller: 2 or o?
2
Let z(g) = -4*g**2 + 2. Let n be z(1). Let d = -31 - -33. Suppose -b - 3 = d*b. Does n = b?
False
Let v be ((-5 + 3)/(-6276))/((-20)/80). Let u = -14 + 15. Which is smaller: v or u?
v
Suppose -13 = 3*k - 7, 4*m + 3*k = -1882. Which is smaller: 1 or m?
m
Suppose -6 = -3*n - z - 1, 4 = -4*z. Suppose 3*w = -5*m - 4, 5*w - n*m + 19 = 2. Which is greater: w or -2/7?
-2/7
Let m = 4471/12991824 + 4/9783. Is m less than 0?
False
Suppose -2*x + u + 1807 = x, 2407 = 4*x + u. Suppose -15*d - x = -d. Is d at least as big as -42?
False
Suppose 10*r = 1333 - 1283. Let b be (r + 27/(-4))*-8. Which is bigger: 51/4 or b?
b
Let i = 212 + -212.455. Do i and 5 have the same value?
False
Let v be (6 - 12) + (2 - 2). Let k(j) = -j**3 - 3*j**2 + 17*j - 6. Let m be k(v). Let n be ((-6)/15)/(54/(-10)). Is n not equal to m?
True
Let q(u) = -u**3 + 10*u**2 + 15*u. Let p be q(12). Let g be p/(-3)*((-65)/(-10) - 5). Suppose 3 = g*y - 57*y. Is 9 < y?
False
Suppose 0 = -10*l + 12*l + 10, o = -2*l - 10. Which is smaller: 3/892 or o?
o
Let n be (-8)/10*825/(-6). Let v = 62 - n. Suppose 27228*d = 27171*d - 2736. Is d equal to v?
True
Let q = 42 - 67. Let c(s) = -s - 17. Let b be c(5). Is b at least as big as q?
True
Let z = 7/10 + -6/5. Let o(i) = 34*i + 6 - 94*i + 30*i + 29*i. Let x be o(3). Is x at most as big as z?
False
Let q(l) = 3*l + 1. Suppose 6 - 10 = -2*h. Let j be q(h). Suppose -j*m + 10 = 3. Is m at most -1?
False
Let y = -3095 + 3138. Which is bigger: -6 or y?
y
Let l be (2/2)/(2 - 3/10). Let w(p) = -2*p**3 - 17*p**2 - 8*p. Let a be w(-8). Suppose 0 = -3*z - 5*u + 3, a*z + u + 4 = 4*z. Which is smaller: z or l?
l
Let g = 5/204 + 367/9996. Let q(n) be the second derivative of -n**4/12 + 14*n**3/3 - 14*n**2 - 6*n + 1. Let v be q(27). Which is smaller: g or v?
v
Let p be ((-6)/(-24) - 0)*0. Suppose -14*i - 61 - 9 = p. Let w be ((-3)/(-16))/(6/4). Which is bigger: w or i?
w
Let p(h) = 36*h**2 - 6*h + 8. Let s be p(2). Suppose 16*i + 116 + s = 0. Is -17 <= i?
True
Suppose 11*c - 194832 = 90*c - 7*c. Which is bigger: -2703 or c?
-2703
Let x be (-1722)/(-205) - (-4)/(-10). Let i be 32/18 - -2*x/72. Is 19/7 at most i?
False
Let x = -0.02163 + -1.17837. Are x and 4.7 equal?
False
Suppose -3*q = 5*d + 13, 0*d - 1 = 3*d - 5*q. Let h be 28/16 - d/8. Let v be 8 - 10 - -1*h. Is -0.7 greater than v?
False
Let x be ((-12)/15)/(1/(-5)). Let h = 1335.91 - 1306.91. Which is bigger: x or h?
h
Let k = 166.03 - 165. Let i = -19.8 - -20.6. Let h = k - i. Which is bigger: h or -1?
h
Let x be 8/5 - 5724/2880. Which is smaller: 1 or x?
x
Let s be 11380/(-30)*(3 + (-3)/2). Let z = 24468/43 + s. Is -1 greater than or equal to z?
False
Let m be (0 - 72/(-30))/((-4)/170). Let c = 103 + m. Let h be 1396/105 - (c - 34/30). Are 2/3 and h equal?
False
Let c be (-402)/159 - (-22 + 38 - 21). Is c less than or equal to 0.1?
False
Let w = 11304 + -67349/6. Which is big