4 + 44. Let m = g + j. Is -2 >= m?
True
Let p be ((-2)/(-7))/(178/1869). Is 3 != p?
False
Let u be ((-3 + 3)/1)/(-2). Suppose u*d + 2*d = 4*c - 20, 35 = -3*d + c. Let o be (1 + 3)*(-3)/d. Is -1/3 bigger than o?
False
Let g be (-8 - -2) + 1 + 3. Let w be (1*-4*2)/g. Suppose -5*k = c - 5, 2*c - w*k - k + 20 = 0. Is -3 equal to c?
False
Let w be -2 - (-3 - -116)*-2. Let p = w - 2024/9. Suppose 2*x + 2 = -4*h, -18 = 3*h - 5*x + 3. Is p less than h?
False
Let o be 696/(-64) + 6 + (-3)/1. Is o at least -8?
True
Let l be 10/(-15) - 77/(-3). Let k be (-10)/l - (0 + 27/(-30)). Does k = 2?
False
Let b = -6 - -11. Let g = b - 2. Let r = 0.9 - 1. Is g less than or equal to r?
False
Let b be 1 - (10/6 - 0). Let k = 5.203 + -0.103. Let t = k - 5. Which is smaller: t or b?
b
Let y = -2.71 - -2.31. Let f = -2/65 + 28/65. Is y greater than f?
False
Suppose -v - 2*o + 9 + 68 = 0, -86 = -v + o. Suppose -j + 2*r - v = 0, 0*j - 4*r = j + 113. Which is greater: -92 or j?
-92
Let c = -101.6 - -171.6. Let r = -13/5 + 31/10. Is r smaller than c?
True
Let h(x) = x**2 - 10*x - 17. Let f be h(12). Let n be 1 - (8/(-2))/(-4). Suppose 2*o + 4*t + 42 = n, 3*t - f = 8. Is o less than or equal to -30?
True
Let w = 38 - 65. Let j = -24 - w. Which is bigger: -0.5 or j?
j
Suppose 61 = 6*a + 19. Is 6 at most a?
True
Let f = 3294 + -46097/14. Let j = 6/7 - f. Is 0 bigger than j?
True
Let f be (-148)/(-111)*234/4. Which is greater: 236/3 or f?
236/3
Let h be 4 + 2/(-2)*2. Suppose 5*l = h*n - 12, -4*n + 12 = -0*n - 4*l. Let f = 511 + -510. Is f equal to n?
True
Let v be ((-279)/9)/(0 + 1) + 0. Let n = v + 32. Is n <= -2/93?
False
Let c = 237 + -236. Is 6 at least c?
True
Let v = -29 + 31. Suppose 4*q + 42 - 5 = -5*z, 4*q + 2 = 2*z. Which is bigger: v or q?
v
Let w be (-47 - (-7 + 0))*(-2)/(-1). Is -80 >= w?
True
Let p = -0.5 + -9.7. Let x = 10.2 + p. Is x at least as big as 21/4?
False
Let i = 51 - 33. Let k = 11 - i. Let o = k + 4. Is -4 at most as big as o?
True
Suppose -9*o + 11592 = 75*o. Which is bigger: o or 140?
140
Suppose 23 = 3*u - 6*p + p, -21 = -4*u - 3*p. Suppose -u*w - 6 = -9*w. Let b be 4/6 - 16/(-21). Is b greater than w?
False
Let r be (-1)/4 - 1*5866/(-8). Is 733 less than r?
False
Suppose -66*o + 62 + 2050 = 0. Which is smaller: o or 1?
1
Let p = 81 + -112. Which is bigger: p or -121/4?
-121/4
Let b = 0.1 + 0.9. Let h = b + -1. Let c = -410 + 419. Which is smaller: c or h?
h
Let f = 55 - 54. Let i be (5 - 5)/(-2*f). Do -4/39 and i have the same value?
False
Let m = -470 + 1411/3. Which is smaller: 84 or m?
m
Suppose -57*j + 16*j - 41 = 0. Which is smaller: 38 or j?
j
Let d be (4 - 0) + (-15)/3. Let w be (-12)/(d + -18 + 0). Is -1 <= w?
True
Let q = 6.9 + -6.5. Let l = 0.4 - 0.3. Is q <= l?
False
Let n(a) = -2*a**2 - 70*a + 122. Let m be n(-51). Is -1510 > m?
False
Suppose -3*o = -42 - 12. Let k = -318 + 335. Which is smaller: o or k?
k
Let t be 90/(-25) + 4 + 28/5. Suppose -v = -t*v. Is -9/8 at most as big as v?
True
Suppose q - 2 = 3. Let w be (-1)/(-5) + 20*3/75. Which is smaller: q or w?
w
Let r(p) = p**3 + 9*p**2 + p - 1. Let f be r(-6). Let y = -911/9 + f. Suppose 2 - 17 = 5*t + 2*j, 2*t - 3*j - 13 = 0. Which is smaller: y or t?
t
Let a be (12/15)/(-4)*-1094. Let o = -2687/15 + a. Let h = o - 39. Do 1/11 and h have the same value?
False
Suppose i = 4*w + 70, 0*i - w + 197 = 3*i. Let k = 73 - i. Which is greater: 10 or k?
10
Let t be 1/(-4) - 1258/(-8). Which is smaller: 155 or t?
155
Let j(c) be the third derivative of -c**6/120 + c**5/15 - 2*c**3/3 - 6*c**2. Let q be j(3). Suppose 28 = h - q*h. Do -7 and h have the same value?
True
Let c(k) = k - 8. Let x be c(11). Suppose -x*h + 16 = h + 5*j, j = 5*h - 20. Suppose -h = 2*y - 0. Does 1 = y?
False
Suppose 66 + 59 = 5*d. Let u be 5 + (-5)/(d/20). Which is bigger: u or -4?
u
Let f(k) = 4*k + 19. Suppose 5 = -4*d + 2*v - 19, -d - 24 = 4*v. Let y be f(d). Is y bigger than -15?
True
Let y = -6 - -6. Suppose 0*k + 3*k + 6 = y. Let z = 3 + k. Which is bigger: -3/8 or z?
z
Let y = 1076/5 - 1194/5. Is -23 > y?
True
Let z = 9509 - 751223/79. Is z at least -1?
True
Suppose 6*h + 3 - 27 = 0. Suppose -h*k + 4 + 11 = -3*s, 2*k = -s + 5. Which is smaller: s or 3/28?
s
Suppose -o = -4*o + 4*m - 17, -3*m = -15. Suppose 19*b - o = 18*b. Let q be 6/(-15) + 23/45. Which is bigger: q or b?
b
Let n = 6353/691496 - -3/2834. Which is smaller: 1 or n?
n
Let u = -0.42 + -1.58. Is u greater than 2?
False
Let g be (-1)/4 + (-5159)/(-44). Let p = 60 - g. Let u be (-9)/p*2/3. Which is smaller: u or 0?
0
Suppose 3*v + 12 = 2*u + 3*u, v - 13 = -4*u. Let j be 4/(-16) + 37/4. Suppose -z + 3*b = 2 + 9, -5*b + j = u*z. Is -1 less than z?
False
Let w(y) = y. Let x(o) = -3*o + 33. Let k(q) = 6*w(q) + x(q). Let p be k(6). Do 52 and p have the same value?
False
Let p = -545 - -330. Let s be p/275 + (-6)/(-33). Which is greater: -2 or s?
s
Let m = -163538/85 + 1924. Let h(u) = -u**2 - 6*u. Let x be h(-6). Which is smaller: m or x?
x
Let k = -944/11 + 86. Which is smaller: k or 1?
k
Suppose -4 = 75*g - 71*g, 3*g + 9 = -3*q. Do 7 and q have the same value?
False
Suppose t + 3*o - 8 = 0, t + 11 = 3*t + o. Suppose 0 = 4*f + h + 145, -f - 41 = t*h - 0*h. Let y be (3/(-12))/(39/f). Do -1 and y have the same value?
False
Let m be (-21)/(-3)*6/21. Suppose 4*s - 3*s + 3*t = -6, 4*s + 52 = m*t. Let h be (-4)/s*(1 - -5). Which is smaller: 3 or h?
h
Suppose 4*m = 4*p + 128, 5*m - 5*p + 10*p = 140. Is m >= -3/11?
True
Let x(z) = 3*z + 19 + 0*z + 0*z - 2*z. Let i be x(-19). Suppose -3*o - 5*s = -15, -5*o + s = -0*s + 3. Is o >= i?
True
Suppose -h = 2*m + 31, -2*h + 105 = -5*h - 2*m. Let t = 192 - 193. Are t and h unequal?
True
Let q = 1.306 + -1.31. Let r = 0 - -1. Which is smaller: q or r?
q
Suppose -2 = -z - 9. Let h(w) = -64*w**2 - 9 + 131*w**2 - 66*w**2 + 3*w. Let t be h(0). Which is bigger: z or t?
z
Let y = -157 - -102. Let s = -46 - y. Which is smaller: s or -0.4?
-0.4
Let o(z) = 5 + 7*z - 6 + 4*z + z**2 + 5. Let n be o(-10). Are n and -5 equal?
False
Let r be (-245)/(-70)*1/(-14). Is r less than or equal to -51?
False
Let x = -164 + 183. Which is smaller: 13 or x?
13
Let z(h) = -3*h**3 + 4*h**2 - 2*h. Let y be z(2). Let l be y/9*(-45)/(-66). Let o = -19 + 18. Which is smaller: o or l?
o
Let h = -31 - -29. Let f be (h - 0)*(3 - 10). Is f <= 13?
False
Let a = -29 + 32. Suppose -7 = -a*s - 64. Which is bigger: s or -17?
-17
Suppose -26 = -2*o - 3*g - 4, g = o - 6. Suppose -4*j + 0*s = -4*s + 12, -2*s - o = 5*j. Which is bigger: 3 or j?
3
Let c = 0.29 + -0.3. Let p be 24/20*53/(-106). Is c less than p?
False
Let c be ((-12)/66 - (-1227)/5841)*-3. Which is smaller: 0 or c?
c
Let f(a) = -a**3 + 7*a**2 + a - 13. Let b be f(5). Let z = b + -43. Is -1/136 at least as big as z?
True
Let f(y) = -y**3 + 10*y**2 - 4*y + 41. Let x(l) = 2*l**2 - 3*l - 17. Let m be x(-3). Let u be f(m). Are u and 1/16 equal?
False
Let w = -4.4 + 14. Let h = w + -10. Let m = h - -0.6. Is m greater than 2/5?
False
Suppose -1 = d + 2*q, 2*d - 4*q - 14 = -0*d. Suppose 3*s = -3*b - 9, s - d*b - 17 = -0*s. Which is greater: s or 4?
4
Let q = 170 - 170. Let a = -48 + 11. Let k = 257/7 + a. Is q equal to k?
False
Suppose -12*o + 54 = -6. Let a = -3 - -7. Is o at most a?
False
Let w = -74 + 88. Suppose -5*p + 53 = u, 4*p - 4*u + 0*u = 28. Which is smaller: w or p?
p
Let v be ((-2534)/27)/(-1 - (-3)/9). Let r = v - 141. Which is smaller: 0.3 or r?
r
Let c = -127 - -127.5. Is -32 > c?
False
Suppose 0 = -4*f - 20, 0*f - 2*f = -3*d + 72055. Let u = d + -864643/36. Let p = -28/9 - u. Is -1/19 != p?
True
Let x = 1.158 - 1.458. Is -13 != x?
True
Let p(u) = 5*u**2 + 125*u - 67. Let x be p(-23). Do -297 and x have different values?
False
Let l = 115.4 + -115. Which is smaller: -39 or l?
-39
Let l = 0.471 - 4.471. Let r = 6.3 + -6. Which is greater: l or r?
r
Suppose 4*i + 5*l - 37 = -0*l, 4*i + l - 33 = 0. Let n(p) = 2*p**2 + 3*p + 11. Let u be n(0). Which is greater: i or u?
u
Let u = -41 - -34. Let g = -6 - u. Are -3/4 and g unequal?
True
Suppose -3*l - 3*p = -p + 24, 3*l + 4*p + 24 = 0. Does -47/6 = l?
False
Suppose -5*f + 42 + 9 = 2*c, -c + 4*f = -19. Is 1/6 bigger than c?
False
Let s = -0.229 - -0.25. Let h = s + -0.121. Is -32 greater than h?
False
Suppose -78 = 2*o + 4*d + 58, -4*o + 2*d - 312