 unequal?
True
Let t = 372 - 792. Let p = t + 595. Is p greater than or equal to 175?
True
Suppose -2*q + 0*j + 10 = j, -2*q - 2 = -2*j. Suppose 0 = -3*p + q, 928 - 155 = -5*z + 3*p. Let d be 11/z*(-8)/10. Are d and 0 equal?
False
Let i(w) = 3*w - 19. Let o be i(7). Suppose -o*k - 12 = 60. Let x = 29 + k. Are x and -31/4 equal?
False
Let d be (2/318)/((-8)/(-36)). Let j be 4*-1 + (-45)/1035*-92. Is d smaller than j?
False
Suppose -29*p = -4*p - 50. Suppose -5*o + 8 = t, p*t - 6 = -3*o + 3. Is t not equal to 3.4?
True
Suppose -12*q + 11*q - 1 = 0. Let r be (5 + -5)/((2/2)/q). Suppose 4*p + 12 = r, 4*b + 3*p = 8*b - 21. Is 6 greater than b?
True
Let o be (-3)/15*(-266)/(-10526). Which is greater: o or 0?
0
Let s(a) = 284*a + 4. Let r be s(1). Let l = r + -264. Is 19 smaller than l?
True
Let q be 7 - 24*14/56. Is q bigger than 1/6898?
True
Suppose 5*m - 30 = -3*u, 0*u + 2*u - 10 = 0. Let x be 8/(-12)*m - 0. Let z be (-28)/(-70)*(-2 - (-10)/(-4)). Is x != z?
True
Let t = -243665/9611644 + -1/17444. Which is smaller: 1 or t?
t
Let g(r) = -29*r**3 - 2*r + 1. Let a be g(1). Let s be (-4)/(-8) + a/(-4). Let f = -241795 - -241803. Do f and s have different values?
False
Let z be 4/6 - 5/9. Let f = 68 + -68.026. Let g = -0.126 - f. Which is greater: z or g?
z
Let a = 374.9 + -369. Let s = a - 6.87. Is s at most -2/7?
True
Suppose -36*v + 48 = 2*v + 10*v. Is v != 9/463?
True
Suppose 4*a - 40 = -24. Suppose -4*m + a = -2*o - 0, 5*m - 17 = 4*o. Let u be (-15 - -16)*o/6. Which is bigger: 0 or u?
0
Let h be (-1)/(-3) + (-7)/3. Let n = 9243.15 - 9243. Is n at most as big as h?
False
Suppose p + 0*p - 7 = -u, -2*u - 5*p + 26 = 0. Let d = u + -2. Let r = -37.4217 - -1.4217. Is d at most r?
False
Let y be 232/(-174)*14055/42*(-24)/(-10). Which is smaller: y or -1070?
y
Suppose -30*f + 107 = -3163. Let c = f + -112. Which is smaller: -43/13 or c?
-43/13
Let a be (-687)/(-8)*4/6. Let s = 151534 + -151476. Which is smaller: a or s?
a
Suppose 17*z - 44*z = 189. Let g(j) = j**3 + 7*j**2 + 8*j + 3. Let r be g(z). Is r greater than -55?
True
Let g = 0.956 + 191.744. Let v = g + -193. Which is greater: 0.05 or v?
0.05
Let v be (1 - (-7)/(-27))*(-113)/((-23391)/54). Is v at most as big as 0?
False
Let y = 1.6 + -3. Let z = -0.6 + y. Let c = 7409 + -7410. Which is greater: c or z?
c
Let n = 33052/11 + -963854/319. Is -18 less than n?
True
Let l = 933 + -933. Which is smaller: l or 1/9?
l
Let v be (-10)/(-3) + -3 - 523600/(-510). Which is bigger: 1028 or v?
1028
Suppose 0 = -56*x - 220 + 164. Let m = 391 + -6251/16. Which is smaller: x or m?
x
Let l = 349 - 350. Which is greater: l or 0.0973?
0.0973
Let u be (6 + -7)*((-5412)/7)/(-4). Let h(g) = 2*g**2 - 9*g - 7. Let m be h(-8). Let x = m + u. Is -1 <= x?
True
Let c be ((-10)/44)/(1/(-2)). Let k be (-57)/(-15) - 7/(-35). Let z be ((-1)/k)/(3/(-12)). Which is greater: z or c?
z
Suppose 377 = -4*l - 91. Let i = 56 - l. Is 172 less than i?
True
Let y = -1 - 15. Let p(k) = k + 2. Let q(x) = -5*x + 32. Let j be q(10). Let s be p(j). Is y greater than s?
False
Let a = 72070/9 - 8008. Let k = 8 + -7.85. Which is smaller: k or a?
a
Suppose 3*g = -7 + 1. Let n be 13/((-429)/864) - 2/(-11). Let l be n/12 - 19/(-114). Is l not equal to g?
False
Suppose 39*q + 53*q - 282828 = -55*q. Which is bigger: q or -1?
q
Let p = -24.93 - -24.79. Let k = -0.072 + -2.268. Let z = p - k. Is z <= -1/5?
False
Let b(i) = -7*i - 141. Let d be b(-30). Let k(f) = -f**2 - 19*f + 23. Let u be k(-16). Which is bigger: d or u?
u
Suppose -2*m = 3*m + 130. Let o = 38 + m. Suppose 20 = 3*b + 2*v, 3*b + 68 = 3*v + 113. Which is bigger: b or o?
o
Suppose -6*m + m = 0. Let l = m - 0. Let k be (-2)/22*-29 - 48/12. Is l > k?
True
Let p be 24/10*((-150)/(-1172))/(-15). Does 1 = p?
False
Suppose -2*k - 59*v + 96 = -62*v, -v - 162 = -4*k. Is 924/23 less than or equal to k?
False
Let x = -16.851 - -16.1478. Which is greater: x or -1?
x
Let t = 0.8 - 1.08. Let v = 3.72 - t. Let x be 0/(1*8/8). Which is smaller: x or v?
x
Let z be (-4905)/2075 - 168/(-70). Let h = -1 - 0. Which is greater: z or h?
z
Let z = 56 - 25. Let b = 28 - z. Suppose 4*w + 13 = 17. Do b and w have the same value?
False
Let c = 13.4 + -11. Let w = 0.0218 + 2.3782. Let p = w - c. Are 7 and p nonequal?
True
Let u(b) = -4*b + 90. Let q be u(23). Let h = 84 - -72. Let j = 627/4 - h. Which is greater: q or j?
j
Let d be (-97 + 95 - (-3)/2)*-7006. Does 0 = d?
False
Suppose t = 2*p - 18, 5*t + 0*t - 14 = -3*p. Suppose -42 = p*l - 22*l. Let f = -166/3 + 115/2. Which is bigger: f or l?
l
Let t be (-2146)/(-193) + (3 - -30 - 43). Is 1 <= t?
True
Suppose 3*v + 249 = 252. Which is bigger: -1/385 or v?
v
Let q(k) = -180*k + 516. Let h be q(7). Which is smaller: 19/3 or h?
h
Let k = 26.6 + -25.19. Let l = 9.89 + -10.3. Let f = l + k. Which is smaller: -1 or f?
-1
Let k = 1822552121/577900 - -1/144475. Let g = -3169 + k. Which is greater: g or -14?
-14
Let u = 33 - 22. Suppose 45 = -2*i + u*i. Suppose 4*h - 36 = -4*k, 16 = i*h + 4*k - 27. Which is smaller: 3 or h?
3
Let l be (-7 - (-320)/50)/(-3*11874/20). Which is smaller: 0 or l?
0
Let s(d) = -d**3 + 10*d**2 - 12*d - 13. Let c be 27*4/3*(-12)/(-48). Let t be s(c). Let q = -70 - t. Is q != -29?
True
Let a be (-1 + (-3)/(-7))*(-3216)/(-8576). Suppose 2*y = 4*y. Suppose 0*c + c = y. Are c and a nonequal?
True
Suppose -j + 18 = -3*f, -2*f = -4*j - f + 17. Suppose -11 = -2*z - 5*p, p + 3*p = j*z - 5. Let r be (-564)/(-80) - z - 4. Which is smaller: r or 0.1?
r
Let o be 1 + 134/(-4)*4. Let q = -42815 - -42682. Is q > o?
False
Let y(p) = -p**2 - 14*p + 2. Let c be y(-13). Let j(l) = -8*l + 122. Let w be j(c). Is w smaller than 30/19?
False
Let r(l) be the third derivative of l**5/60 - l**4/4 - 37*l**3/3 + 77*l**2. Let v be r(12). Which is smaller: v or -13?
-13
Suppose 18*s = 16*s. Suppose 5*v - n - 3 = -0, s = 3*n - 6. Let t = -114 + 802/7. Are v and t nonequal?
True
Let t = 5195 + -5185. Do 104/11 and t have the same value?
False
Let a = 11 + -115. Let o = a + 101.8. Which is greater: 0.1 or o?
0.1
Let j = 351 + -602. Let l = j + 253. Which is smaller: -3/79 or l?
-3/79
Let n(p) be the second derivative of -p**5/10 + 3*p**4/4 - 2*p**3/3 - 2*p**2 + 29*p - 1. Let x be n(5). Is 0.3 equal to x?
False
Suppose -39*t + 1708 + 515 = 0. Is t < 1084/19?
True
Let w(n) = n**2 + 81*n + 1490. Let f be w(-32). Let c(p) = 39*p - 2. Let r be c(-2). Which is smaller: r or f?
r
Let p = -4467/7813 - -20/601. Let a(q) = q**2 + 5*q - 4. Let u be a(-6). Suppose u*z - 4*m = -8, 0 = m + m - 2. Are z and p nonequal?
True
Let u(k) = -k**3 + 144*k**2 - 700*k + 685. Let j be u(139). Let w be (1/(-2))/((-3)/(-102)). Let v = 4 + w. Is j at most v?
False
Let c(d) = -4*d + 24. Let j = 1072 + -1066. Let u be c(j). Let m = -18380/31 - -593. Which is bigger: u or m?
m
Suppose -2*s + 4 = -0. Suppose -4*m + 6 = 4*b - 14, 4*b = -s*m + 16. Suppose m*t + 2*t + 40 = 0. Is -1 > t?
True
Suppose 943 = -3*u - 1430. Which is bigger: u or -793?
u
Suppose 509 + 816 = 53*a. Let k(i) = -i + 7. Let u be k(-8). Which is smaller: u or a?
u
Suppose 0 = 2*g - 0 + 2. Suppose -y = 9*c - 163, -4*c = -10*y + 8*y + 216. Let t be 3 - (-6)/(-252)*y. Is t smaller than g?
False
Let t = 2.6 + -0.6. Suppose -231*q + 16 = -229*q. Let g be (q - -2)/((-24)/(-18) - 2). Are t and g nonequal?
True
Let w = 3614 - 3615. Is w not equal to 36/1045?
True
Suppose -4*w + 506 = 4*a - 6*w, -3*a - w + 387 = 0. Suppose d = -d - 8, -3*n + 5*d = -a. Suppose -2 = r, -x - 2*r - n = 3*r. Is -25 > x?
True
Let t = 179 - 249.3. Let c = t + 3.3. Which is greater: c or -1?
-1
Let i = -4 + 3. Let m = 36689698/483 - 75962. Let q = -5/21 + m. Which is bigger: q or i?
q
Let v be 5/(-2) + 3 - 12/8. Let x be ((-176)/20)/(-2)*(-6 - v). Let g(j) = j**3 - 4*j**2 - 12*j + 1. Let d be g(6). Is x at most d?
True
Let c be 5 - 3 - 12/68. Let h = 3263 - 3262. Is h >= c?
False
Let v(l) = 8*l - 60. Let o be v(-2). Let w be o/(-1102) + (-2 - -1). Is w > -1?
True
Suppose 4 = -f + 441*a - 444*a, 3*a + 9 = 0. Let u = 0 + 0. Let v = u + 1. Which is bigger: v or f?
f
Suppose 0 = -2*q + 5*u + 151, 360*q + 3*u = 358*q + 111. Which is greater: 8 or q?
q
Suppose 5*h - 546 = 12*h. Let s = h + 92. Which is bigger: 11 or s?
s
Let y = 5936 + -5441. Are 504 and y unequal?
True
Let o = -