769 + 1639 = 0. Let k = 148 - d. Let h(y) = 3*y**3 + y + 1. Let r be h(-1). Do k and r have the same value?
False
Let m = -1367.085 + 2.085. Which is greater: 0.3 or m?
0.3
Let m = 11920 + -10312. Is 1608 >= m?
True
Let k = 66/7 + -191/21. Is k < -930?
False
Let l be -5 - (2/(-13) + (-1006400)/(-962)). Which is greater: l or -1054?
l
Let m be -1 + 35 - 44/11. Let h = m + -30. Let w = -55 + 109/2. Which is bigger: w or h?
h
Let n be ((-1)/(-2))/(((-5)/(-14))/5). Let u be -27*(63/36 - 2). Do n and u have the same value?
False
Let g(j) = -j**3 + 4*j**2 + 5*j + 1. Let b be g(5). Suppose 4*a = -k + 6, 8*a = 11*a - 5*k - 16. Which is smaller: a or b?
b
Suppose -19*t + 52*t - 72688 = 19*t. Which is greater: 5191 or t?
t
Suppose -u + 34 = 11. Suppose q + u - 36 = 0. Let i(p) = -p**3 - 3*p**2 + 5*p + 15. Let w be i(-4). Which is greater: w or q?
q
Let x = 52078 + -52080. Let u = 133.9 - 126. Let m = u + -0.9. Is m greater than or equal to x?
True
Suppose -10*s + 34 + 76 = 0. Suppose 2*i = 3*j + 10 + 13, -j - s = -i. Which is smaller: i or 6?
6
Suppose -4*f + 74 = -2*w, -10*f + 5*w = -5*f - 105. Let y be 0*8/f + -1. Are -2/33 and y nonequal?
True
Let l be 9/(-15) + 4/(-10). Suppose 0 = 23*n + 8*n - 28706. Let o = 93524/101 - n. Which is greater: o or l?
o
Let t(l) = 15*l - 69. Let k be t(4). Let z be (-1 + (-1)/3)/(k - -7). Which is greater: 3.4 or z?
3.4
Suppose -2*l - 1875 = -3*b, 0 = -5*l + 4*b - 3845 - 832. Let f = l + 2130. Let k be (-3*(-2)/f)/((-4)/(-12)). Is k at most as big as 1?
True
Let u = 1974 - 1974.0923. Let f = -22.9077 + u. Is -9/5 equal to f?
False
Let i be 219476/73158 - (-2 - -5). Let r = i + -3438569/5230797. Let l = r + 28/39. Is l smaller than -1?
False
Let m be (-2)/((272376/38910 + -7)*5). Is m >= -2594?
True
Let n = -1.24 - -162.24. Let d = 174 - n. Which is greater: d or -10?
d
Let l be ((-20)/(-15))/(-2) - 42862/(-87). Is l != 492?
False
Let q(a) = -183*a**3 - a**2 - 3*a - 1. Let v be q(-1). Let n be (-2)/(-4)*32/v. Is 2 <= n?
False
Let i(y) = y**2 - 18*y + 54. Let j be i(15). Suppose -2*l = -j*l + 7. Let f = -57953/47 + 1233. Is l > f?
True
Let d = 16870212/7 - 2581415555/1071. Let i = 255 + d. Suppose -7*n = -12 + 12. Is n smaller than i?
False
Let k = 0.02026 - -0.51974. Let n = -0.2 + 0. Is n <= k?
True
Let k be ((-18)/4)/(72/192). Let h be (-9)/((-27)/12) - 2. Is h > k?
True
Let g be 147/2*(7 - 238/42) + -4. Is g greater than 11?
True
Suppose 7*g + 5*j + 21763 - 4836 = 0, -5*j = -4*g - 9649. Does g = -2417?
False
Suppose 3*h - a + 23214 = -6*a, 0 = -4*h + 2*a - 30952. Which is smaller: h or -7737?
h
Let b = -93 + 86. Let l be (3/8)/(b/(-56)). Let r be 2 + 0*(-1)/(-2). Is l at most r?
False
Let b be ((-127)/4)/(11/(-10 - 78)). Let i = b - 255. Which is smaller: i or 6/41?
i
Let p(g) = g - 19*g - 5*g**3 - 40*g**2 + 59*g**2 + 4*g**3 + 8. Let n be p(18). Let s be -2 + 92/n - 1/6. Which is greater: s or 9?
s
Let p be 0/(-2) + 1*(3 - -4). Suppose -p - 9 = -2*l + 4*o, -3*l + 21 = -3*o. Let w(t) = -t + 9. Let x be w(l). Which is greater: x or 0?
x
Let y be 2/(-5) + -18 + (-435)/(-25). Which is bigger: y or 9/623?
9/623
Let w = -58.73 + 59. Let z = w - 0.07. Let g = 101/10 + -58/5. Which is smaller: g or z?
g
Let g(t) = -t**2 - 20*t + 4. Let n be g(-19). Suppose 26*y - n*y - 15 = 0. Which is smaller: y or 36/7?
y
Let g = -14712 - -14711.143. Which is greater: g or -2/3?
-2/3
Let a(q) be the first derivative of -q**3/3 - 5*q**2 - 16*q + 44. Let o be a(-6). Let l = 26 + -15. Which is greater: l or o?
l
Let j be (-36 - -29)/(9/27). Which is bigger: -11 or j?
-11
Let m be (-11 - -12)/((-1)/(-12)). Let r be -4*((-1)/(-9) - 4400/1440). Which is smaller: m or r?
r
Let a be (2 - -1)*(-4)/12. Let j = -226 + 228. Let o be 7650/(-2556) - (j - 5). Is o at most as big as a?
False
Let c(l) = -2*l**2 - 9*l + 2. Let j be c(-4). Suppose -j*f + 74 = 62. Suppose f*p + w - 105 = 8, -230 = -4*p + 2*w. Is p less than or equal to 57?
True
Let l(v) = -874*v + 875. Let m be l(1). Let z be 10*8/(-39) + 2. Are m and z non-equal?
True
Suppose -d = 16 - 12. Let o be ((-2)/d - 0)*(-12 + -11). Is o equal to -0.7?
False
Suppose 3*a + 2*x - 127 + 738 = 0, -a - x - 205 = 0. Let c = a + 201. Which is smaller: -4/47 or c?
-4/47
Let q = -9247/40 + 1995/8. Which is smaller: 3 or q?
3
Let h(x) = 5*x**3 + 3*x**2 - x - 1. Let n be h(1). Suppose -8 = n*u - 10*u. Suppose 4*z = -126 + u. Is z less than or equal to 0?
True
Let v = -2/6624371 - 103441435/2205915543. Let s = v + -4/117. Let t = -41 + 41. Are t and s unequal?
True
Suppose d + 517 = 89. Let z = d + 399. Which is smaller: z or -27?
z
Let w = 10060 + -26454. Which is greater: w or 1?
1
Let f = 68.0827 - -0.0173. Which is greater: -3 or f?
f
Let c = 0.07 + 4.93. Let g = 234 - 143. Let n = 87 - g. Which is greater: n or c?
c
Let y = 41 + -37. Let p(v) = 5*v + 11. Let r be p(0). Suppose -25*s + 236 = r. Which is smaller: s or y?
y
Let g = -1009 - -947. Is 44 equal to g?
False
Let o = 1.71 + -0.11. Let v = 3.3 - o. Let u = v - 1.7. Does u = -2?
False
Let d be (-2 - -1)*(-152)/(-8). Let g be -3 + ((-36)/6 - d). Which is smaller: 2/3 or g?
2/3
Let h be (-10)/15 - (-305)/390. Let c = 6 - 10. Let x be c + 2/(8/12). Which is smaller: h or x?
x
Let k be (-10)/65 - (-151)/52. Let b be 32/(-112) + 5/(-28). Let p = b + k. Is 2 at least as big as p?
False
Let q(z) = -z**2 + z - 109. Let r be q(0). Let x = r - -206. Which is smaller: 98 or x?
x
Let z = 136.7 - 140.7. Suppose 747 = -7*a + 4*a. Let j = a + 1746/7. Which is smaller: j or z?
z
Let j be (-3 + 1 + 1)/((-2)/30). Let u be (-2)/5*15/j. Is 115 >= u?
True
Suppose 4*f = -r - 1, 0 = 2*f + 5*r - 10*r - 5. Let a be (-79966)/40415 - -2 - (0 - f). Let m = a - 2/137. Is -1 smaller than m?
True
Suppose -29*i - 501 - 195 = 0. Let s be 1 - (-20)/i*(-1089)/(-870). Is -1 bigger than s?
False
Suppose 0*l + 2*l + 60 = 0. Let h(z) = -3*z + 50. Let m be h(16). Let y be (1*m/(-3))/((-4)/l). Is y != -6?
True
Let z = 2554 - 2554. Is 5/919 greater than or equal to z?
True
Let j be 4/6 + 28/(-42). Let y = 14356 - 13308014/927. Do j and y have different values?
True
Let g be ((-165)/21010)/((-14)/4). Which is bigger: g or -1?
g
Let g = 71649/5825 - 42/233. Which is greater: g or 13?
13
Suppose 14*s = 18*s - 244. Let b = 993 - s. Let z be -1 - (1/((-308)/b) - -2). Which is smaller: -1 or z?
-1
Let n be (8/3)/((-46)/(-345) + (-22996)/45). Which is bigger: n or -1?
n
Let r be 6/(-10) - ((-61546)/10 + 0). Are r and 6153 unequal?
True
Let s be (-8)/238*-207 - 7. Suppose 145*t = 138*t. Is s at least t?
False
Let x be (-1)/2*0 - (-6 + -123). Let b = -129 + x. Which is bigger: -1/193 or b?
b
Let z(i) = 5*i**3 + i**2 + 9*i - 1. Let r be z(0). Is 4/4069 at most r?
False
Let m = 28 + -23. Suppose m*c = 380 - 100. Let o = -170/3 + c. Is o not equal to 3/4?
True
Let l be 1 - -11 - -3*6/6. Suppose -28 = 2*d + 5*m - l, -5*d = -3*m - 14. Does 2/7 = d?
False
Suppose 0 = 5*f + 3*c - 5334, -5*c - 3881 = -4*f + 401. Let d = -1063 + f. Let h be -2 + (-1*8)/(-2). Which is greater: d or h?
d
Let v be 2 - (-48)/2656*(-3608)/33. Let t = -5 - -7. Which is bigger: v or t?
t
Let n = -32837 - -32758. Is -7/6 at most as big as n?
False
Let t = 303.559 + 0.441. Let b = t + -307. Let m = -0.1 - -2.1. Which is smaller: b or m?
b
Let x = -164 - -162.415. Let q = x - 0.075. Are q and -2/3 unequal?
True
Let g = 856 + -855. Let a be g/(-8) + 3087/(-72) + 5. Are a and -48 nonequal?
True
Let k be -2 - (-24)/15 - (-97)/5. Let v = k - 49. Let a(w) = -9*w**2 - 4*w. Let d be a(-2). Is v greater than d?
False
Let l = 1.99 - 2. Let p be (1908/(-10494))/((-1)/(-22)). Is p equal to l?
False
Let u be 5/3 + 4/(-6). Let n = 85943/7 + -12122. Let t = n + -156. Which is smaller: u or t?
t
Let k = -19439764293/40903 + 475265. Which is smaller: k or -1?
-1
Suppose 555*t - 557*t - 3284 = 0. Which is bigger: -1643 or t?
t
Let d = -10 + -9. Let t = -5.7 + 8.9. Let c = 4.2 - t. Which is smaller: d or c?
d
Let c be (-160)/500 + (-2)/(-5). Let f be 39/9*14/91. Is c greater than or equal to f?
False
Let a(w) = -2*w + 420. Let j be a(-48). Suppose 4*m + 4*r + j = 0, 11*r - 278 = 2*m + 9*r. Which is bigger: m or -136?
m
Let q be 0*(4/14 - (-6)/28). Suppose 4*h = -5*m - 34, q*h = -5*h + m - 28. Let n(y) = -2*y + 10. Let z be n(7). Is z smaller than h?