maller: p or i?
i
Let d = -382 - -381.8. Is d smaller than 10?
True
Let u be (-16)/(-592) + 0/(-1). Is 1 less than or equal to u?
False
Let w = 6.35 + 18.65. Let d = -0.0487 - 23.6513. Let i = d + w. Which is greater: 0.1 or i?
i
Let l = -902 - -919. Which is bigger: -0.05 or l?
l
Suppose -1 = -85*y + 86*y. Is y <= -25?
False
Let j(i) = 5*i + 1. Let l be j(0). Let u(a) = -2*a**3 + a**2. Let x be u(-1). Let d be -44*x/(-69) - 2. Which is bigger: l or d?
l
Let m be -3*((-3)/(-2) + -1). Let x = -107/4 + 513/20. Let i = m - x. Does -2/7 = i?
False
Let q be ((153/270)/(-17))/(2/16). Let k = 2 + -2. Which is smaller: q or k?
q
Let j be ((-1)/1*-4)/2. Suppose 8 = j*k - 18. Let w(b) = -b**3 + 15*b**2 - 27*b + 27. Let a be w(13). Which is bigger: a or k?
a
Let a = 246.3 - 277. Let q = -31 - a. Which is greater: 1 or q?
1
Let u = -504 + 496. Suppose 3*l + 45 = -4*a, 2*a + 2*a + l = -39. Is u >= a?
True
Suppose 0*i - 50 = -10*i. Let d = 7 + 0. Is i != d?
True
Let c = 39 + -40. Let i be 4/c*8/16. Are i and -10 nonequal?
True
Let p be 3/((-21)/(-5))*183/(-5). Which is greater: p or -27?
p
Let x = 1159 + -16333/15. Let u = -70 + x. Is 1 greater than u?
True
Let r be 35/(-10) - (-9 + 5 + 1). Do -0.31 and r have different values?
True
Suppose -5*b = -3*z + 65 + 52, 0 = -3*z - 5*b + 147. Is z bigger than 44?
False
Suppose -42 = 4*g - 7*g. Let p be 2 - (0 - (-30)/g). Is p at least 0?
False
Suppose -34 = -3*k - 28. Suppose 0 = 3*d + r + k*r - 3, d = 2*r - 8. Which is greater: 2 or d?
2
Let b be ((-13)/(-1))/(27/(-57)). Let y = b - -83/3. Is y < 0?
False
Suppose 3*y - 4 + 1 = 0. Let p be (4/20)/(y/5). Let w be 0 - ((-57)/60 - -1). Is p less than or equal to w?
False
Let a be ((-4)/(-7))/(((-70)/(-60))/7). Are a and 2 nonequal?
True
Suppose 13*p = 3*p. Suppose p = 47*h - 44*h. Is -8/35 smaller than h?
True
Suppose -211*t + 208*t = -429. Is t at most as big as 142?
False
Let z = -19.93 - -19.8. Is z <= 3?
True
Let a be (-6 - -3)*(-2)/18. Let h(f) = -f - 2. Let v be h(-1). Which is bigger: v or a?
a
Suppose 38 = 3*t + 5*p, 4*p - 6 = 10. Let i be (8/t)/(0 - -1). Let a = 0.6 + -2.6. Which is bigger: a or i?
i
Let o = -2016/13 - -842675/5434. Which is smaller: o or 0?
o
Let l = -0.3 + 0.17. Let h = -0.13 - l. Which is bigger: h or 20?
20
Let q(s) = -s**3 + 6*s**2 + 4*s - 2. Let g be q(6). Suppose -5*l + g = 12. Let o(r) = 3*r + 1. Let i be o(-1). Is i at most as big as l?
True
Suppose -127 = 3*x - 2*g + 1, x + 3*g + 61 = 0. Which is smaller: x or -41?
x
Let s = 72 - 119. Let k = s + 48. Let l be (-2)/3*30/(-4). Is k greater than l?
False
Suppose 58 = -11*r - 162. Let u be 4/r*(2 - -3). Let p(g) = g**3 - 5*g**2 - 5*g - 8. Let v be p(6). Which is smaller: v or u?
v
Suppose 0 = 69*s - 72*s - 84. Let u be ((-16)/s)/(-2)*-1. Is 0 less than or equal to u?
True
Let r be (0 - 15)*(32 - 34). Which is smaller: r or 121/4?
r
Suppose 0*h + h = 0. Let c = -1/9 - -61/306. Is c smaller than h?
False
Let d(o) = 9*o**3 + 4*o**2 - 7*o - 6. Let b be d(-5). Is b not equal to -995?
True
Let x = -786 - -813. Which is bigger: x or 111/4?
111/4
Let c be (-1)/((-1)/(-5)) - (2 - 6). Let i = 0.85 + -0.05. Let n = -1 + i. Are n and c nonequal?
True
Let o = 609 - 717. Which is smaller: o or -112?
-112
Suppose 0 = 5*d + k + 71 + 116, -4*k - 102 = 3*d. Let j = d - -42. Which is bigger: 5 or j?
5
Let m = 706.1 - 654. Let r = 52 - m. Is r > 31?
False
Let l be -25*(-5)/(4 - 9). Let c be (52/(-39))/((-2)/2)*-18. Is l < c?
True
Suppose -8*s = 49 - 25. Do 10 and s have the same value?
False
Let u(t) = 14*t - 45. Let s be u(-4). Which is smaller: s or -103?
-103
Let a be (-1005)/2022 - 1/(-2). Let u = a - 379/14154. Let q = -1 + 0. Is u equal to q?
False
Suppose -20 = 19*u - 39. Let s be 45/650*(-5)/6. Is u less than s?
False
Let v = -261 - -259. Which is smaller: v or -3/10?
v
Suppose r = 5*h + 52, -5*h = -3*r + 4*r - 42. Is 45 > r?
False
Suppose -6 = -g - 4. Suppose -l = 2*z + 4, 5*l + 0*z + 44 = g*z. Let s be 5*(-4)/l*-1. Which is smaller: -3 or s?
-3
Let u = -72.84 + 0.84. Let y = u + 71.997. Which is smaller: -1 or y?
-1
Let u = -15 + 17. Let j be -2 - -2 - u/1. Which is greater: j or -4?
j
Let u = 65 + -43. Let s = -24 + u. Let h = -204/7 + 29. Which is greater: s or h?
h
Suppose n = 2*d - 7, 2*d + 5 + 0 = 5*n. Suppose 3*s + 71 = -4*o, -57 = -s + 4*s - 3*o. Let a be (2 - -1)*((-245)/s)/7. Are d and a equal?
True
Let m(w) = w**2 + 8*w + 16. Let f be m(-10). Is -0.1 at most f?
True
Suppose -4*w = -5*l - 27, l - 5*w - 1 = -w. Let z = 7 + l. Let c be (-5)/30 - 2/(-9). Is c > z?
True
Let s(x) = -x**2 - 33*x - 89. Let k be s(-30). Let t be 42/8*(-10)/(-285)*4. Is t less than k?
True
Let x(m) = m**3 - 4*m**2 - m - 6. Suppose -20 = -5*r, r = 5*v - 0*r - 21. Let d be x(v). Let q be d/56 + 2/(-6). Is 0 less than or equal to q?
False
Let j = -1.698 - 0.082. Let m = j - 0.22. Is m at least as big as 6?
False
Let q = -3 - -7. Let c(o) = 13 - o**2 + 1 + 0 - 11*o. Let x be c(-12). Which is smaller: q or x?
x
Suppose 3*o = -26 + 2. Let y = -28 - -43. Let p = y + o. Which is smaller: p or -1/3?
-1/3
Let f be -3 + 1874/(-16) - 0. Let d = 120 + f. Suppose 6*b - b - 4*t + 25 = 0, -b + 4*t - 21 = 0. Is b at least d?
False
Let i be 1204/(-1290)*5*(-2)/16. Which is greater: 3 or i?
3
Let w be 207662/12012 + (-12)/(-22). Which is smaller: 2/9 or w?
2/9
Let t(u) = 9*u**2 + 3*u + 1. Let j be t(-1). Let s be 6/14 - 766*j/49. Is -108 greater than or equal to s?
True
Let z = -243 + 249. Which is bigger: z or 47?
47
Let n = 55 + -40. Let o = -14 + n. Is o greater than 1?
False
Suppose -5*o - 42 = 2*i, 3*o + 3*i = i - 22. Suppose -l = -z, -2*z + 3*z + 3*l + 16 = 0. Let d be 50/z - (3 + -6). Which is greater: d or o?
d
Let u = 2598/119 - 152/7. Let m(y) = -y**2 - 7*y + 17. Let z be m(-9). Which is smaller: u or z?
z
Let k be 4*(6 - 315/(-10)). Is k < 149?
False
Suppose -1 = 10*k - 11*k. Which is bigger: 2/695 or k?
k
Let b = 5/13 + -28/39. Do 4/131 and b have the same value?
False
Let i be ((-10)/35)/1 - 2/(-7). Which is smaller: 1/509 or i?
i
Suppose 16 = 4*h + 24. Which is smaller: -14/25 or h?
h
Suppose 162 = 3*t + 3*x - 0*x, -2*t + 123 = -3*x. Do 57 and t have different values?
False
Let p = 0.096 - -0.044. Is 8 at most p?
False
Let h be -3 - (32/(-12) + 8/(-24)). Is h at most as big as 7/94?
True
Let s be 15/(-18) + (-5)/(-10)*3. Do s and 5 have the same value?
False
Let b be 1/(-4)*-5 + -1. Let i = -3.3847 + -0.0153. Is i at least b?
False
Suppose 4*r + 5*z = 172, 0*z + 4*z + 22 = r. Let c = r + -68. Is c < -31?
False
Let c = 55.27 - 55. Let k = 0.07 - c. Does k = 1/3?
False
Let t = 264 + -249.1. Let j = 15 - t. Is 0.5 != j?
True
Let y = 839 - 839.014. Which is smaller: 0.09 or y?
y
Suppose -y + 4*c - 12 = 0, 0*y - 13 = y - 5*c. Let x be (0/((-4)/4))/1. Suppose 4*h + 39 - 15 = x. Is h smaller than y?
False
Let g be (-3)/(-2)*(-150)/(-25). Let q(h) = 2*h**2 - 19*h + 8. Let d be q(g). Is -1/26 smaller than d?
False
Suppose -9*c + 100 - 28 = 0. Is 0 >= c?
False
Suppose -2*u - 5 = 3. Let o be (u/183)/((-2)/(-3)). Let w(k) = -k**2 + 21*k + 46. Let a be w(23). Is a > o?
True
Suppose 44*h = 50*h - 3402. Which is bigger: 2 or h?
h
Let j(u) = -u**3 + 3*u**2 + 4*u + 1. Suppose -7*h + 16 = -3*h. Let n be j(h). Let f be 1 - (24/26 - 0). Which is smaller: n or f?
f
Let s be 3/5 - (-2)/5. Let n(v) = 6*v - 18. Let z be n(12). Let j be ((-12)/14)/(z/(-28)). Which is greater: j or s?
s
Let i be -1 - (-75)/(-12) - 4/(-16). Let t be (i - -10) + (-22)/7. Is t greater than or equal to -1?
True
Let f = 0.273 + -0.073. Which is bigger: -38 or f?
f
Let f = 18.9 + -19. Let g = 0.3 + f. Does g = 7?
False
Let f be (0 + 11/2)*(-6)/115. Let u = -5413/19665 - f. Are u and -1 nonequal?
True
Let v = 332 + -334. Which is smaller: -69 or v?
-69
Suppose -5*p - 4*r - 296 = 0, 239 = -4*p - 6*r + 5*r. Is -53 less than p?
False
Let k = 2 - 0. Let u = 12924/23 - 562. Which is smaller: k or u?
u
Let q(r) = -r**3 + 6*r**2 - 6*r + 4. Let g be q(5). Let j be (60/(-18))/(1/(-3)). Suppose -j*p + 5*p = -10. Is g > p?
False
Let p = -10 + 3. Suppose 9*x - 2*x = 49. Let q(z) = z**3 - 8*z**2 + 7*z - 7. Let y be q(x). Is p at least y?
True
Let c(h) = -4*h + 6. Let g be c(-9). Suppose 0 = -4*v - 16, 3*w + v - g = -2*v. Let x be 266/w - (-2)/9. Which is smaller: 14 or x?
14