/3 and i have different values?
True
Let y = 289549/77 + -26133/7. Which is bigger: y or 26?
y
Suppose 0 = 5*n - 4*t + 5*t - 30, 11 = -2*n - 5*t. Let v = n - 6. Let x = 469 - 475. Are x and v equal?
False
Let m be (0 - (-2)/(-72))*78/117. Is m smaller than 0.1?
True
Suppose 2*c + 2*d = 18, 0*c - 5*c + 35 = -5*d. Let f be -46*(12/c - 2). Which is smaller: 24 or f?
f
Let g be (4/(16/(-2)))/((15/4)/3). Suppose 1 - 7 = -2*k. Suppose 45 = -k*o - 2*o. Is o less than g?
True
Let r = 47 + -53. Let m be r/(-21) - 2/(-42). Which is greater: -8 or m?
m
Suppose -3*j + l + 87 = 3*l, 118 = 4*j + 2*l. Suppose 23 = -3*p + 8*r - 4*r, 4*p = 5*r - j. Is p > -31/4?
False
Suppose 8 = -3*n + 26. Suppose -2*d + 144 = n*d. Do d and 17 have the same value?
False
Let i = -1060 - -1060. Is i >= 37?
False
Let g be (6/15)/((-2)/(-20)). Suppose -17 = -p + g*x, -3*x = -8*x - 20. Suppose -107*l = 291*l + 1660 - 68. Is p != l?
True
Let v(l) = -l**3 - 13*l**2 + 14*l + 27. Let s be v(-13). Is s at most as big as 1/2?
True
Let k(w) = -w**3 + 2*w**2 - 12*w - 2. Let f be k(-8). Suppose n + f = -4*i, i + n - 4*n + 177 = 0. Let p = 3659/20 + i. Is p less than 0?
True
Let i = 30 - 48. Let m = -17.9 - i. Which is greater: m or 11?
11
Suppose 4*u - 2*o = -26 + 140, -5*o = -3*u + 89. Let d be 26/u - 3/6. Let q = 4 + -5. Is q at most d?
True
Let a = 130.3 + -131. Does 0.07 = a?
False
Let p be 0 + 8237770/(-438) + -2. Let w = p - -18810. Let m = -2/73 - w. Are -1/3 and m nonequal?
False
Suppose 4*g + 2*v + 3782 = -3494, -3630 = 2*g + 5*v. Let j be 1*-2 - (g/(-604) - 5). Which is greater: 1 or j?
1
Suppose p = -p. Let x be (5/260)/(1/6). Let j = 61/78 - x. Which is bigger: p or j?
j
Let t be (-1)/(2/(-28)) + 3. Suppose t*v = 14*v + 24. Let m = 8 + v. Is m equal to 17?
False
Let x = -70.2 - -74.1. Are x and -0.09 nonequal?
True
Let b be (-1)/(12/(-4 - 0)). Let y = 2.89 + -13.89. Are b and y nonequal?
True
Suppose 5*q + 2*j = j + 167, -182 = -5*q + 4*j. Let a = 9 - q. Is a != -23?
True
Let u(p) = 2*p**3 + 18*p**2 - 26*p + 12. Let i be u(-12). Is i at least as big as -541?
True
Suppose 21 = -2*u - 19. Let y = -13 - u. Suppose 4 = y*r - 3*r. Which is smaller: r or 0?
0
Let j be 2*2 - (0 + -3). Let y = 11 - j. Which is bigger: y or -2/7?
y
Suppose -4*r + 25 = -15. Let a = -8 + 13. Suppose a*y = 7*y - r. Does 5 = y?
True
Let o be (-10)/(-11)*((-154)/56 - -2). Is o bigger than 0?
False
Let m = 1091 + -1070. Is 25 < m?
False
Let l = 30 + -29.803. Is l greater than or equal to 0.2?
False
Let i be (5 - (4 + -4)) + -5. Suppose i = 2*c - 3*v - 6 - 93, -3*c + 5*v = -147. Which is greater: c or 53?
c
Let z = 8 - 15. Let w = 305.1 + -298. Let m = z + w. Which is bigger: m or -7?
m
Suppose 10*j + 9 = 13*j. Suppose -j*b + 20 = b. Suppose -2*i = -i + b. Which is greater: -13/3 or i?
-13/3
Let x = 398 + -10745/27. Let t = 40 + -38. Suppose 12*d + t = -10. Is d greater than x?
False
Let r be 4/(-10) - 17/(-5). Suppose 0 = z - o - 11, 5*z + 2*o = 74 - 26. Suppose -4*b = 2*n - 6, -b + z - 1 = r*n. Which is bigger: -2/7 or b?
b
Let d be -7 - 378/(-56) - (-10)/(-8). Is d less than or equal to 6?
True
Let n = -2174 - -2174.8. Is n greater than -95?
True
Let l = -248 + 250.81. Does l = 1?
False
Suppose -4*s - 4 = -4. Suppose 14*n - 13*n - 15 = s. Do 16 and n have the same value?
False
Let i = 2 + -15. Let r be 0 + 3 + -1 - -2. Let w = r + i. Is w greater than -9?
False
Suppose 2 = -36*m + 35*m. Which is smaller: m or -1?
m
Suppose -h - 3*h = 0. Let c = -424959238 + 7441461219286/17511. Let o = -2/1347 - c. Which is greater: h or o?
h
Let o be 1 + (-7)/((-14)/20). Let d = o + -6. Let a(v) = -4*v + 12. Let k be a(d). Which is smaller: k or -5?
k
Suppose 26*f - 21 = 5*f. Which is bigger: 1/226 or f?
f
Let k = -127.6 - -128.6. Is 841 > k?
True
Let m(l) = -61*l + 3. Let p be m(9). Let z = p - -816. Let v be (-2)/(z/129) - -1. Is v greater than 1?
False
Let n = 687 - 908. Is -222 less than n?
True
Let t = 26 + -25.77. Let f = t - 0.33. Is -0.7 less than f?
True
Let n = 1936.7 + -1937. Which is bigger: n or -28.3?
n
Let v be (-4)/7*4/(112/(-21)). Is v greater than or equal to 0?
True
Suppose 6*a - 3*a = 72. Let f be 10 - 13 - a/(-9). Suppose x + 3*x = 4. Is f less than x?
True
Let a(t) = t**3 + 6*t**2 - t. Let l be a(-3). Suppose -l = -5*h - 5*p, 5*p = -4*h + 5*h + 18. Is h less than -3?
False
Let j = 2.2003 - 0.2003. Let p = -3 + 3.4. Is p at least j?
False
Let i = 9386477/22665 - 29/4533. Let c be -414 + 0 + 1 + -1. Let d = c + i. Is 0 smaller than d?
True
Let a = 1530 + -1528.1. Is a <= -0.08?
False
Suppose -3*a - 28 = 14. Let l = a - -14. Suppose v + 2*r + 3 = l, -3*r - 11 - 1 = 0. Is v at most as big as 5?
True
Let d = 31 - 25. Let z be d/(-12)*(-6)/4. Is z equal to 6?
False
Let r = -195 + 7606/39. Suppose -10*s = 19*s. Is r equal to s?
False
Let h = -1.833 - -0.033. Let g = 1.8 + h. Is g > 53?
False
Suppose -2*a = f + 4, -9 = 3*a + 5*f + 4. Let u(c) = -c**2 + 2*c - 4. Let j be u(2). Let k be (-18)/28*j/6. Is k less than a?
False
Let p = -6964 + 118450/17. Is 3 greater than or equal to p?
False
Let w = 16 - -5. Suppose -4*i + 58 + 22 = 0. Is w bigger than i?
True
Let n(r) = r**3 - 7*r**2 + 2*r - 3. Let v be n(7). Suppose -2*x = 4*t - 22, 2*t = -2*x + v + 5. Suppose 4*y + 4 = t*y. Which is smaller: -3 or y?
y
Let g = -55.995 + -0.005. Let s = g + 56.07. Which is smaller: 0 or s?
0
Let q be (-4)/10 - (-912)/(-95). Let f = -4 + -5. Is f less than q?
False
Suppose 19*a - 96 = 25*a. Let i be (-35)/(-84)*(-2)/a*3. Is i not equal to -1?
True
Let o = 4 - 2. Let n be (-6)/o - 61/(-19). Suppose 2*z + 4 = -2*y, 2*z + 11 = -y + 6. Are y and n nonequal?
True
Let i be (5038/(-99))/((-4)/(-10)). Let r = 127 + i. Let u be 2 + (-286)/58 + 6/2. Which is bigger: u or r?
u
Let z = 0.567 - 0.66. Let y = z - 1.787. Let s = y - -2.2. Is 0 smaller than s?
True
Suppose -4*u + 11 = -5. Let k(p) = p + 8. Let j be k(u). Let b = 0.04 - 1.04. Which is bigger: b or j?
j
Let k = -57 - -61. Let b = -3 + 8. Let q = b + -5. Which is smaller: q or k?
q
Suppose -j = -2 - 10. Suppose -7*a = -j*a - 20. Is a at most as big as -4?
True
Suppose -4 = 2*p + 3*r, -5*p - 5*r + 2*r - 28 = 0. Do p and -15 have the same value?
False
Suppose 550 = -m + 471. Which is smaller: -80 or m?
-80
Let t = -61 - 6. Let v = -67.3 - t. Which is greater: v or -5/2?
v
Suppose 0 = 10*s - 3*s. Let x be (-3)/(s - (-12)/(-20)). Suppose -x*m = -2*m + 15. Which is greater: -6 or m?
m
Suppose 4*y + 4*o + 20 = 0, 6*y = -3*o - 22 - 14. Let m = -9 - -8.8. Is y equal to m?
False
Let q(o) = o**2 - 34*o + 74. Let f be q(21). Which is greater: -200 or f?
f
Let f be (5/(-220))/((-1)/2). Let i be 11 + 2 + (4 - 8). Suppose -4 = -i*j - 13. Which is greater: j or f?
f
Let a(x) = -48*x + 335. Let g be a(7). Which is greater: -10/7 or g?
g
Let r be 2744/(-1392) + 5 - 3*1. Which is greater: 1 or r?
1
Let k be (-14)/77 + (-2578)/(-22). Let r = k - 38. Suppose 4*v - 41 = r. Which is smaller: 29 or v?
29
Let z = -0.6 + -20.4. Let o = 39 + z. Which is smaller: o or 2/3?
2/3
Let x be ((-24)/16)/(-5 + 73/14). Let h be (-2*6)/2 + 0. Is h < x?
False
Suppose -9*r = -283 + 247. Suppose w - 4 = 1. Which is greater: r or w?
w
Let x be 2/15*(-6)/4. Which is smaller: 5 or x?
x
Let p(s) = s**3 - 8*s**2 + 5*s + 10. Let d be p(7). Let l be (-6)/d - 5/2. Let i be (10/(-21))/((-18)/(-27)). Which is smaller: l or i?
l
Let l(s) be the second derivative of 0 + 2*s**2 + 1/6*s**3 - 4*s. Let a be l(5). Which is smaller: a or 0.1?
0.1
Let s be (9/(-24))/((-465)/4). Let w = s - 3119/5890. Do -1 and w have the same value?
False
Suppose b - 2*m = -21, -5*m + 2*m - 63 = 3*b. Suppose 0*h - 9*h - 225 = 0. Let c = b - h. Is c equal to 3?
False
Let d = 32 - -25. Which is greater: 61 or d?
61
Let y = -360 - -365.6. Is -2 at most y?
True
Suppose 3*g + 3*f + 6 = 2*f, 5*g = f - 2. Is -2/529 greater than or equal to g?
True
Suppose -2*q = -3*j + 128, q - 3*j = j - 54. Let g = 7 - -21. Let a be (4/(-5))/(g/q). Which is smaller: 0 or a?
0
Suppose -5*o + 176 = -2349. Is 504 at most as big as o?
True
Suppose -29*z = -23*z + 714. Do -115 and z have the same value?
False
Let g = 0.423 + -4.423. Is g < 0.054?
True
Suppose -y + 18 = -4. Is -2 at most y?
True
Suppose 5*a = 2*y - 35, -3*a = 3*y - 4*a - 59. Let u be ((-3)/((-168)/y))/((-12)/(-14