 11*p - 108. Which is smaller: p or z?
z
Let g be 14/10 + (-4)/10. Let t = 7/6 - g. Suppose 0 = 146*v - 103*v + 86. Are t and v nonequal?
True
Let r = -926 + 925. Let g = 1099/18 + -61. Is g equal to r?
False
Let c be (-47)/(-3)*(-45 + 39). Are c and -95 non-equal?
True
Let o be 3/(-26)*5/(150/16). Which is bigger: 0 or o?
0
Suppose 44*p = 44 - 0. Does 6 = p?
False
Let k = 1296 - 1297. Which is bigger: k or 15/121?
15/121
Let z be 6/14 - 664/14. Which is smaller: -51 or z?
-51
Let u(k) = k**3 + 40*k**2 - 76*k + 160. Let x be u(-42). Is -178 > x?
False
Suppose 16 = h + 2*g, -33 = -0*h - 3*h - g. Suppose -5*m + h = -3*m. Suppose 4*t - 9 - 4 = -m*l, -3*l = 5*t. Is -5/2 less than t?
False
Let l be (-3 - 0)/(-3) - 3. Let h be 1/(l/(-4)*1). Suppose 0 = -2*y - 4*x - 16, 5*y - 5*x = 6 + 14. Are h and y equal?
False
Let v = 813 + -12193/15. Is v at most 2.17?
True
Suppose n + 6 = 2*z, -12 = -4*z + n - 0*n. Let p be 5 - z - 52*1/2. Is -23 less than or equal to p?
False
Let t be 7 + -2 - 1084/424*2. Is -1 at most as big as t?
True
Let p(s) = s**2 - 3*s - 135. Let k be p(-10). Let w be -1*1*(-2 - -7). Are k and w equal?
True
Let q(o) = 12*o**2 - 9*o - 18. Let z be q(-3). Which is greater: 116 or z?
z
Let n be (-1 - (-14)/4)*2. Let m = -4 - -56. Let c = m - 48. Which is greater: n or c?
n
Let g be (160/1400)/(-1 + 2673/15). Is g > 0?
True
Let y(w) = w**2 + 12*w + 2. Let p be y(-12). Suppose p*a = -a. Let t = 7 - 9. Is a at most t?
False
Let c be 10/(-18)*16/80. Which is greater: c or 1.5?
1.5
Suppose 4*r = -4, -16*r = -5*p - 17*r + 4. Which is smaller: 356 or p?
p
Let p(j) = -6*j + 38. Let q be p(9). Let m be 16/(-15) + q/(-40). Are m and -1/3 equal?
False
Let h = 224 + -173. Let s = 18.9 - 19. Is h at most s?
False
Suppose -8 = -2*v + 8. Suppose -d = -3*d + 64. Suppose 10 + d = 6*n. Which is smaller: n or v?
n
Let b = 1019/115 - -86/23. Is b at most 13?
True
Let o be 47/(-2209)*6/4. Suppose 5*k - 4 = 1. Which is smaller: o or k?
o
Let t = 60 - 60.2. Let d(j) = -j**3 - 8*j**2 - 8*j. Let q be d(-6). Which is bigger: q or t?
t
Let t be (-50)/(-150) + (-1)/3. Let j = -384083/24 + 15999. Let f = 13/3 + j. Do t and f have the same value?
False
Let u = -305/3 + 2117/21. Is u greater than or equal to -2/13?
False
Let h = 230 - 248. Is h <= -19?
False
Let s be 2/(-3) + (-2)/6. Let x be s + 3 + -5 + 7. Suppose x*w = -3*w - 133. Is -19 at most w?
True
Let u = 0.9 + 1.5. Let f = u - 4.4. Which is greater: f or -5/2?
f
Let b = -4.62 + 0.02. Let v = 2.8 + b. Is v less than 0.3?
True
Let m(g) = -2*g**3 + 2*g - 1. Let y be m(1). Let c = -14 + 5. Let u be c/(-12)*(-20)/25. Is u less than y?
False
Let p(k) = -3*k**2 + 24*k + 22. Let c be p(10). Which is greater: c or -2?
-2
Let n = 23 - 68. Let v = 227/5 + n. Which is smaller: v or -3/5?
-3/5
Suppose 2*c = -2*c + 12. Let z = 6 + 105. Let d = 111 - z. Is c less than d?
False
Let c be 3/(13/(-8) + 2). Let h(o) = o**3 - o**2 - o. Let i be h(0). Suppose i*y + 40 = 4*y. Is c > y?
False
Let r(d) = -d**3 - 7*d**2 + 2*d + 20. Let f be r(-5). Which is smaller: -39 or f?
f
Suppose -11*q + 3 = 3. Which is smaller: q or -1/183?
-1/183
Let n(z) = -6*z - 1. Let j be n(8). Let l = j - -77. Are 29 and l nonequal?
True
Let i(k) = -k. Let h be i(-1). Suppose 0 = 3*m + 5*y + 5 - 2, 3*y + h = -m. Is m > 2/53?
False
Let l be ((-102)/(-357))/((-4)/(-6)). Which is smaller: l or 1.19?
l
Let z = -177 + 173. Which is bigger: -35 or z?
z
Let y be (-2)/7 + 48/(-1890). Let h = y + 116/315. Which is smaller: 0 or h?
0
Suppose -4*n + 64 = 4*f, -2*n - 3*f + 5 = -30. Suppose w = 2*r + 18, 3*r + 64 = 4*w - r. Is w greater than n?
True
Let n = 103 + -103. Is -1/7 less than or equal to n?
True
Suppose -t - 6 = -2*t. Suppose 3*y = -28 + 94. Let o = 29 - y. Which is smaller: o or t?
t
Let f = 338 - 258. Which is smaller: f or 79?
79
Let h = 78.8 + -75. Let a = 21.8 - h. Which is smaller: 0.1 or a?
0.1
Let b(d) = 53*d - 78. Let k be b(-4). Is -2 <= k?
False
Let j = 2 - -4. Suppose -3*c = -2*x + 6*x - 8, -2*x = c - 6. Which is smaller: j or x?
x
Suppose 36 = -7*a + 5*a. Let r be 2/(-9) + (-7)/a. Suppose 3*d = -4 + 1. Which is bigger: r or d?
r
Let y = -4 - -10. Let z be y*3/(-6) + 3. Let o be (z + (-2)/3)*-3. Which is smaller: o or 0?
0
Let z = 0.0929 + 13.9071. Let l = -1 + 1. Which is bigger: z or l?
z
Let f(r) = r**2 + 3. Let x be f(-3). Let y be -3 + x + -4 + 3. Let v be (-2)/y - (-15)/12. Is 2/23 less than v?
True
Let i = 1 + -4. Let g be (-2 - i/2)*0. Let x be 2/5 + (-272)/(-320). Which is smaller: x or g?
g
Suppose 2*h + 197 = -f, 3*h - 24*f + 25*f + 296 = 0. Is h greater than -98?
False
Suppose 5*t = 2*t - s - 1, -12 = 4*t - 4*s. Suppose 3*k + 5*y - 10 = 0, k + 3*y = 6 - 0. Let u be 14/(-21) + k/2. Which is smaller: u or t?
t
Let h be 824/2982 - (-10)/(-35). Let l = h - -229/1704. Let s = l + -11/24. Is -1/4 >= s?
True
Suppose 25*q = 30*q. Suppose 5*f - 5*j = -17 - 13, -f - 3*j = -6. Let k be f*(4/18 + 0). Is k <= q?
True
Let z = 1524 + -1523.7. Is z at least 91?
False
Suppose 10 = -5*i, -3*a = 4*i - 0*i + 2. Suppose 2*p + 34 = -a*g, -4*p - 5*g = -3*g + 74. Let d = -11 - p. Is d at most as big as 8?
False
Let q = 584 + -611.9. Let r = -28 - q. Is -2/29 <= r?
False
Let k be 32/(-6)*(45 - 15). Is -160 less than k?
False
Let j be (-248)/(-16)*(2 - 0). Suppose 1 - j = 3*m. Is m < -8?
True
Suppose 0 = 6*b + 3*b + 162. Let r be ((-6)/(-4))/(-3 - 55/b). Which is greater: 28 or r?
28
Suppose -16*h = -6*h - 10. Which is smaller: h or -3/259?
-3/259
Let n be (-1 - 1)/(10/(-25 - -5)). Let p = -0.3 - 0. Is p smaller than n?
True
Let u = -41 - -40. Let l = 2.6 - 16.6. Which is smaller: u or l?
l
Let i be -4*15/3550*(-20)/(-66). Do -1 and i have different values?
True
Suppose -3*t - 3*q = -5*t, 4*t = -4*q. Let m = -2/124675 - 19947818/11345425. Let p = m - -34/13. Is p bigger than t?
True
Let s = 18 - 18.02. Let x = s + -0.98. Are x and -18 nonequal?
True
Let y = 11.9 - 12. Let z = 1.9 - -1.1. Let t = z + 0. Which is greater: y or t?
t
Let b be (-6 - 46/(-8)) + (-21)/(-4). Let v = 19 + b. Which is smaller: 23 or v?
23
Let o = -3/26 + 817/208. Which is greater: o or 3?
o
Let y be (3555/(-7200) + 4/10)/(-1). Suppose -2*l = 3*l. Which is smaller: l or y?
l
Let c = -999 + 1001. Let t = 2 - 1. Which is greater: c or t?
c
Let p = 7 + 13. Let r be (12/p)/(3/2). Is r >= 4?
False
Suppose -w - 3 = -2. Suppose 228*r - 245*r = 119. Does w = r?
False
Let y = 2/97 + 89/388. Let r = 10 - -7. Suppose -3*i - r = 2*p, 4*p - i - 1 = -0. Which is smaller: y or p?
p
Suppose -2*q + 4*h = 0, 6*q + 2*h = q. Let r be 30170/28*8/(-10). Let s = r - -26725/31. Which is bigger: q or s?
s
Let z be (-1186)/(-110) + 2/5. Let r = 19808516 - 14163096913/715. Let l = z + r. Is -1 greater than l?
False
Suppose -4 = 5*y - 24. Suppose 0 = -a + y*a - 6. Is 9 bigger than a?
True
Suppose 4 = 3*b + b. Let c = b - 7/5. Is 24 < c?
False
Suppose -5*s = -3*s - 4*r + 28, 0 = -3*s + 2*r - 26. Let t be s*14/21*(-6)/(-44). Are 0.1 and t nonequal?
True
Let m be 0 + (2 - (-38)/4*-2). Let n(l) = -l**3 - 5*l**2 - l - 4. Let c be n(-5). Let s be 4/c*-4 - 0. Are s and m unequal?
True
Suppose -t = -2*u + 5, -2*u = -5*u - t + 5. Let c = -178 + 216. Suppose 0 = -m - 39 + c. Which is smaller: m or u?
m
Let v = 5.2 + -5. Let p = 0.5 - v. Let s(g) = -g**2 + 9*g - 14. Let o be s(7). Which is bigger: p or o?
p
Let r be ((-445)/(-65) - 7) + (-9)/(-52). Does 1 = r?
False
Let h be 1036/20 - (-9)/45. Which is bigger: 54 or h?
54
Let f be 4*(123/(-30) + (-18)/45). Are f and -17 unequal?
True
Let g = 5 - 3. Suppose m = -4*r - 3*m + 16, -5*r + 3*m = 4. Suppose 1 = g*j - r. Is j <= 2/79?
False
Let y = 68/15 + -3793/840. Which is smaller: 0 or y?
0
Let f be ((-2)/100)/(1/(-4)). Let l = f - 29/50. Let t(n) = n - 10. Let v be t(9). Is v not equal to l?
True
Let p = 19 - 19. Let v be (6/(-9996))/((-2)/(-8)). Let c = v - 4147/7497. Which is smaller: p or c?
c
Suppose -5*s - 1 = -4*v, 0 = v + 3*v - 2*s - 10. Suppose -w - 5 = v*w. Let q be w + (35/(-9))/(-5). Which is bigger: -1 or q?
q
Let t(j) = 2*j**3 + 8*j**2 - 5*j - 7. Let r be t(5). Let i be (-422)/r - (-7 - -6). Which is smaller: i or 1?
i
Let l = 598 - 31692/53. Is l greater than 0?
True
Let f be (-5)/(20/(-68)) + 2. Is -0.06 greater than f?
False
Let v be (-4)/(-12) - (-76)/6. Supp