*h + 29 = 0, 5*s - h - 4*h + 15 = 0. Let j(g) = 4*g - s + 1 + 7 - g. Let l be j(-2). Which is bigger: l or 2/21?
2/21
Let c = 267 + -237. Let u be -3 + ((-4)/c - 934/(-30)). Are u and 1 equal?
False
Suppose 2*i = 0, -2 = -3*d - 5*i + 688. Let s = -260 + d. Which is smaller: s or -35?
-35
Let p(c) = 6*c**2 + 45*c - 140. Let k be p(3). Let n = -34 + 33.9. Are n and k nonequal?
True
Let y = -6427 + 6460. Which is smaller: y or 78?
y
Let u = -74 - -47. Let t = -345 + 317. Let w = t - u. Which is greater: 2/29 or w?
2/29
Suppose 3*i = -2*g - 2*g + 7, -5*i - 3*g - 3 = 0. Let j be ((i + 33)*-1)/(-1). Suppose 50*t - 55*t = j. Is -2/7 greater than t?
True
Let i = -39/41 + -3657/164. Let x = 73/3 + i. Is 0 greater than x?
False
Let h = -1231 + 1231. Suppose 0*o - o = 5*b + 6, 0 = 2*o + 4*b. Suppose h*m - 43 = 2*m + 5*l, 0 = 5*m - o*l + 124. Which is smaller: m or -23?
m
Let u be -11 - ((-4)/5)/(32/400). Which is bigger: 9/1088 or u?
9/1088
Let l = -1278 + 1387. Which is bigger: l or -7?
l
Suppose 13 = 4*d + 3*s, 3*d - 15 = -4*s - 0*s. Let x be (-3)/(-1) + (70/(-21) - d). Is x at most as big as -20?
False
Suppose 0 = -2*n + 70. Suppose n = -5*y + 60. Let m be -6 + 6 - ((-100)/(-42))/y. Which is smaller: -1 or m?
-1
Let k be (-1899)/(-636) + (10 - 13). Which is bigger: -1 or k?
k
Suppose -90 = -i - 183. Which is greater: i or -367/4?
-367/4
Suppose -k = 12*k + 949. Let h = k - -73. Is 7/16 less than or equal to h?
False
Let q = -27 - 58. Let w = -0.0042 - -86.0042. Let u = w + q. Are u and -0.11 unequal?
True
Let w = 0.591 - -0.409. Let h(r) = -r**2 - 6*r - 1. Let s be h(-7). Let q be (-3)/s*(-4)/12. Is w < q?
False
Suppose -52*n = -50*n - 5 + 5. Which is smaller: -1/18488 or n?
-1/18488
Let s = -51 - -56. Suppose -s*w - 2670 = -5*r, 0 = 3*r + r + 4*w - 2144. Let h = r + -11237/21. Which is smaller: 0 or h?
h
Let r be (2/(-6) + (-29674)/(-444))*12. Is r less than 784?
False
Let n = 1/7669 - 7676/53683. Which is greater: n or 119?
119
Suppose -2*d - 27 = -3*z - 242, 0 = -3*z - 2*d - 235. Suppose -617 = -4*x - 5*m, -9*x + 5*x = 4*m - 612. Let b be x/(-3)*(-30)/(-20). Which is smaller: z or b?
z
Suppose -2*d + 4*a + 2668 + 1544 = 0, 8442 = 4*d + a. Which is bigger: d or 2108?
d
Suppose 3*d - 568 + 841 = 0. Which is bigger: d or -145?
d
Let s(z) = 7*z + 4. Let a be s(3). Let h(x) = -11*x - 27 + 7*x + 5*x. Let v be h(a). Which is greater: -3 or v?
v
Suppose 6*f - 9*f - 15 = 0. Let a(d) = d**3 + 7*d**2 + 5*d - 4. Let o be a(f). Let x be -4*1*(o + -8). Does x = -53?
False
Suppose 2*a + 3*a - 83299 = -2*o, -4*o + 33310 = 2*a. Is a at least as big as 16662?
False
Suppose -2362 = 19*c - 101. Does -123 = c?
False
Let y(a) = -a**3 - 24*a**2 - 21*a + 4. Let v be y(-23). Let d(n) = -4*n - 178. Let h be d(v). Are h and -11 equal?
False
Suppose -2*g - 11 = 4*v + 7, 3*v + 8 = -g. Let a = -515.27 + -0.53. Let l = a - -516. Is l less than g?
False
Let n(c) = -2*c + 58. Let t be n(24). Suppose -4*v - 2 + t = 0. Let m be (2*v/(-294))/(-2). Which is greater: m or -1?
m
Let b be (34903/121)/(-19) + 15. Which is smaller: 431 or b?
b
Let r = 113 + -126. Let h(z) = -3*z - 39. Let l be h(r). Let n(w) = -2*w**2 - w + 1. Let m be n(1). Is m smaller than l?
True
Suppose 3*w + u = 5*u - 13, -18 = -2*w - 4*u. Suppose 0 = -9*a + 59 - 5. Let m be (2/(-6))/(a - 15/9). Which is smaller: w or m?
m
Let d(n) = 6*n**2 + 4*n - 11. Let v be d(-3). Suppose 14 = 2*q + 3*g, -3*q = -2*g - 26 + v. Let c = 15 - 61/4. Which is smaller: c or q?
c
Let b = 4.3 - 0.3. Let g = -4.29 - -7.3. Let k = g - 1.01. Is k at least as big as b?
False
Let s be (1 + -6)/(25/(-915)). Which is smaller: s or 1648/9?
s
Let i = -3243 + 3837. Does i = -1/3?
False
Let n(s) be the first derivative of -s**2/2 - s - 430. Suppose 5*j + 12 = -33. Let p be n(j). Does 35/4 = p?
False
Let a(p) = -p**2 - 13*p + 2. Let d(b) = b**3 - 6*b**2 + 4*b + 1. Let h be d(5). Let m be h/22 - 194/22. Let o be a(m). Which is bigger: o or 37?
o
Let n = -304 - -361. Let x = n - 55.1. Let g = 0.1 + -0.1. Which is smaller: x or g?
g
Let i = 856 + -818.1. Let y = i - 38. Which is bigger: y or -14.3?
y
Let s(c) = 2*c**2 - 34*c + 48. Let y be s(16). Let f be (3220/200*(-8)/(-14))/y. Is f smaller than 1?
True
Let n = 1.8 - -10.2. Suppose 2*g - 4*q - 7 - 1 = 0, 0 = 5*g - q + 16. Let o be (g + 2)*((-56)/(-12) - 5). Is n at least as big as o?
True
Let z = 1999 + -1802. Which is smaller: -2 or z?
-2
Suppose -3*q - q = 4*x - 160, -5*q - x = -192. Let w = 38 - q. Suppose w*u = 4*z - 2*u - 20, -4*u = 5*z - 25. Does z = 5?
True
Let g = 134 - 84. Suppose 5*n - h = -0*n - g, -n + 3*h = 24. Are -8 and n non-equal?
True
Let l = -17 + 5. Let t = 174 + -206. Let o = t - -32. Are l and o unequal?
True
Let l = -1 - -2. Let q = 392 + -303. Let v be ((-2)/62)/(q/(-267)). Which is greater: v or l?
l
Let u = -3218.1 - -3218. Let o = 7162 - 64534/9. Is o > u?
False
Let r(y) = y**2 + 3*y - 26. Let k be r(8). Let t = -66 + k. Which is bigger: -66/13 or t?
t
Let q(k) = -k**3 - 9*k**2 - 15*k. Let j be q(-7). Let u be 3/((-1995)/(-176)) - 2/j. Let l = -10 - -9. Which is bigger: l or u?
u
Let v = -6105 + 6043.89. Let u = -197.1 - -196.99. Let z = v - u. Which is bigger: z or 0.1?
0.1
Let f = 89 + -18. Let r = f + -157. Let h = -85.9 - r. Is h greater than or equal to 0.62?
False
Let q(k) = -11*k**2 - k + 38. Let x be q(-9). Is x greater than -844?
False
Let v = -13535/39 - -347. Suppose 2*p + 1018 = -2*u, 2*p - 4*u = p - 509. Let l = p - -508. Is v at most l?
False
Let s be 15 - 6 - (-1 - 2). Let a = 75 + -73. Suppose 4*z - 73 = 5*x, x = 2*z + a*x - 19. Do s and z have the same value?
True
Let i = -0.1 - 3.9. Let g = i - -1. Let f = -1764.3 - -1762.9. Which is bigger: f or g?
f
Let d(m) = -m**2 - 13*m + 224. Let y be d(-32). Let i = y - -383. Is i <= 3?
True
Let l = -20 - -86. Suppose -3*h = -2*h - l. Let k = h - 124. Is k >= -57?
False
Let q be 28/(-14)*10 - -17. Which is bigger: q or 34?
34
Let w(a) = a**2 - 7*a - 25. Let x be w(10). Suppose -11 = -14*d + 17*d + i, -13 = x*d + 3*i. Which is bigger: d or 13?
13
Suppose 130 = -7*z - 10*z - 23. Let f be -3*3 + -1 + 1. Are z and f non-equal?
False
Let m = 18313 - 18314. Is -17/65 smaller than m?
False
Let c = 5521 + -5522. Let l = -12824/5 + 2577. Let u = 11 - l. Is u at least as big as c?
False
Let h = -411 + 401. Let k be (-6)/(-16) - (h + (-23441)/(-88)). Do k and -256 have different values?
False
Let z = 779 + -74. Which is bigger: z or 704?
z
Let u = 29635 - 29634.8. Is u less than or equal to 2244?
True
Suppose 0 = -241*n + 238*n - 12. Let s(v) = -6*v - 13. Let q be s(n). Which is bigger: 7 or q?
q
Let t = 362 + -363.099. Let m = t + -112.501. Let w = m - -112. Which is greater: 2/7 or w?
2/7
Let o = -2 + 2. Let c be (-1915)/(-25) - 6/(-15). Let b be 140/c*1/(-2). Which is smaller: o or b?
b
Let s(d) = d**2 + 4*d + 3. Let f be s(-4). Suppose 4*n - 3*g + 12 = 0, -f*n = -3*g + 8 + 1. Suppose m - 5*m = -4. Is m not equal to n?
True
Let v = -9.769 - -9.669. Which is smaller: v or -3651?
-3651
Let c(y) = y**2 - 125*y - 1497. Let t be c(130). Is t greater than -5935/7?
True
Let k(u) = -u. Let d(o) = -o**2 + 9*o - 12. Let c(m) = d(m) + 5*k(m). Let q be c(7). Let l be (160/(-15))/((-3)/((-27)/3)). Which is bigger: q or l?
l
Let z(a) = -a**3 + a**2 - 4. Let q be z(0). Let y = -481.4 - -512. Let g = -31.6 + y. Is q at most as big as g?
True
Let f(v) = v**2 - 19. Let s be f(-7). Let p be (76485/(-1199))/(s/20). Let o = p - -468/11. Which is greater: o or -1?
o
Let w(d) = -6*d**2 + 16 - 10 + 11*d**2 + 67*d + 22. Let o be w(-12). Which is smaller: o or -58?
-58
Let w(u) = 29*u - 31. Let b be w(-8). Let y = b - -487. Let f be 16/28 - 121/y. Do f and 1 have the same value?
False
Let f = -1020907/8323 - -5060/41. Are f and 2 equal?
False
Let l(u) = -u**3 + 5*u**2 + u - 3. Let g be l(5). Suppose 2*k + 0*x = -g*x + 102, -3*x = -15. Let y be 23/k*0/(-1). Are y and 2/17 equal?
False
Let l = 23.4109 + 0.5891. Let o = -4 - -27.5. Let b = o - l. Which is smaller: b or -3?
-3
Let q(l) = 9*l**3 - 60*l**2 + 8*l - 9. Let v be q(13). Is 9728 < v?
False
Let k = 436 - 520. Let l = 57 - 112. Let d = k - l. Is -29 greater than d?
False
Let x = 4633.9 - 4662. Which is bigger: -0.03 or x?
-0.03
Let l be 5/(15/27)*4/3. Let b(z) = 2*z**2 + 3*z - 1. Let n be b(