ose -4*t - 3 = 5*w - 1, 12 = 5*t - w. Let f(s) = s**2. Let d be f(t). Let i be (-3 + d)/(2 + (-2)/2). Is -1 < i?
True
Let u be ((0 - 0)/(-1))/(-149 - -148). Is u equal to 10421?
False
Let p = -32 + 31. Let g be 1/(-2) + (-377)/494. Which is smaller: p or g?
g
Let k be ((-22)/(-170))/(20/(-8)*1332/(-225)). Is 0 smaller than k?
True
Let h = -466 - -484. Suppose k = 2*y - h, y - 49 - 32 = 5*k. Is k equal to -17?
False
Let m = -7.9 + 37.9. Let f = 112 + -149. Let p = m + f. Is p less than 3?
True
Let y = 36 - 35. Let n(v) = -86*v**2 + v - 2. Let c be n(y). Let o be (c - 0) + (-1 - 5)/(-2). Which is bigger: -83 or o?
-83
Let z(g) = -g**2 + 18*g + 1. Let m be z(18). Let p = 3403 + -626151/184. Is p less than or equal to m?
True
Let g(a) = -4*a**2 - a - 10. Let h be g(3). Let i = 1328 + -1379. Is i less than h?
True
Let m be 0 - 73/6*2. Let f = -24 - m. Let l = 1299/464 + 209/464. Is f at least as big as l?
False
Let t be (-7)/21*(-279)/(-2). Let y = 2791/60 + t. Let q = -2768 + 2769. Are y and q nonequal?
True
Let s = -7 + -4. Let d be 1/2 + (27/(-18))/(-1). Suppose 0 = -5*w - 2*j - 71 + 16, 0 = -w - d*j - 19. Does w = s?
False
Let l = 2503 - 2489. Let a(v) = -3*v - 2. Let b(x) = -7*x - 4. Let c(d) = -5*a(d) + 2*b(d). Let o be c(2). Is o <= l?
True
Let z = 830 + -853. Is -114/5 not equal to z?
True
Let c = 648 + -310. Let t = c + -325. Which is bigger: t or 18?
18
Suppose 38*m - 30*m - 1 = -33. Is m <= 39?
True
Let b = 1157 + -830. Which is smaller: 1963/6 or b?
b
Suppose -239*n = -241*n + 2*u + 2, 5*u - 19 = n. Suppose -35 = -4*c + d, 2*c + c = -5*d + 55. Suppose 2*k + 2 + c = 3*s, -3*k + 33 = 4*s. Are n and s non-equal?
False
Let n = 40 + -43. Let q be 3 + 0 - (n + 7 - 3). Let g be (-4)/72*q*5. Do g and 0 have the same value?
False
Suppose v - 2*v - 22 = -5*u, 18 = v + 3*u. Let c be (-3090)/(-26) + ((-82)/(-26) - v). Which is smaller: c or 118?
118
Suppose -4*i + 13 = 5*q - 16, -5 = -q. Let j(n) = -3*n - 10. Let y be j(5). Let g = -28 - y. Do g and i have different values?
True
Let x = -0.0764 - -0.0764. Which is smaller: x or -0.5758?
-0.5758
Let y = 29 - 56. Let v be (y/(-6))/(6/56). Let n = v + -44. Is -3 at most as big as n?
True
Suppose 49*u - 10752 = 35*u. Let x = u + -3087/4. Which is greater: -2/19 or x?
-2/19
Suppose 0 = 4*z - 6*j + 3*j - 17, 4*j + 16 = 4*z. Suppose 3*v = h + 2, 7*h = z*v + 10*h + 20. Which is greater: 19 or v?
19
Let x = -13811/29868 - -60/131. Which is bigger: 1 or x?
1
Suppose -6 - 108 = j. Let h be (2 - 0) + 3 - (-1654)/(-14). Let q = j - h. Are q and -1 equal?
False
Let k be ((-535)/(-15))/(3/(-9)). Let t = 1416 + -1523. Is t at least as big as k?
True
Let f(t) = 6*t - 31. Let g be f(5). Let y(a) = -30*a**2 - a + 1. Let s be y(g). Suppose 2*d + 27 = -31. Is d greater than or equal to s?
False
Let u = 350 + -349. Let h = 174 - 88. Which is smaller: u or h?
u
Let t = -14883 + 15000. Which is smaller: 15/8 or t?
15/8
Let b = -309 - -541. Let u be -4 + 1 + (-2)/1*9/(-18). Which is bigger: u or b?
b
Let r = -8.002 + 7.902. Does 8170 = r?
False
Let s be (-58)/87*6/10. Are -1027.2 and s nonequal?
True
Let p be 122/14 + 7 + (-94)/14. Let h = 20 + p. Let t = h + -26. Do t and 0 have the same value?
False
Let v be (-4)/12*(-31257)/23. Is v at most as big as 444?
False
Suppose -5*i - 89 = 26*i - 58. Let g be 10/746*8/(-20). Which is smaller: i or g?
i
Let i(q) = 2*q - 9. Let l(w) = 7*w - 35. Let v(h) = -22*i(h) + 6*l(h). Let g be v(-5). Let p = 30 + -32. Is g less than p?
False
Let g = 127 - 112. Suppose 12*j - g = -15. Which is smaller: 4/71 or j?
j
Suppose 57*g + 53*g = 20*g - 64710. Is g greater than or equal to -4307/6?
False
Let x(t) = -5*t + 3. Let u be x(3). Let d(f) be the third derivative of f**5/60 + 11*f**4/8 - 13*f**3 - f**2 - 6. Let i be d(-35). Is i < u?
False
Let q = -33 - -35. Suppose -2*u = v + 88, 5*v - 3*u - q*u = -455. Let k be ((-4)/368)/(1/v) - 1. Which is smaller: k or 1?
k
Suppose 2*o = -4*y + 3*o - 267, 0 = -y - 5*o - 51. Suppose -6*v = -v + 5, 4*n - 2*v = 1678. Let i = n - 485. Is i <= y?
True
Let x = 746 + -984. Let a = -57 - 85. Let f = a - x. Which is smaller: 97 or f?
f
Let b = 9.589 + 5.411. Which is smaller: -22/9 or b?
-22/9
Suppose -5*a + 2025 = 4*a. Let f be (142/8)/(-6 - a/(-36)). Is 69 bigger than f?
False
Let j = -63938/3 + 19262. Which is smaller: -2052 or j?
-2052
Let p(x) = x**2 + 9*x + 15. Let j be p(-7). Suppose u + 11 = m - 0*m, 2*m - 3*u = 21. Let c = 10 - m. Which is smaller: c or j?
c
Let m be (-1)/(3/3 - 2). Let t be (-326)/(-1432)*-3*(-114)/(-927). Let s = t + 15/206. Which is bigger: m or s?
m
Let f(z) = z**2 - 19*z - 35. Let n be f(21). Suppose x = 8 + n. Let g be (5 - 4)*(-1 + x/9). Which is greater: g or -6/11?
g
Let b be (18/(-16))/(5/2). Let z = 77/60 + b. Which is smaller: z or 2?
z
Let g be 1/1*(64 - 63). Is g != -22/205?
True
Let p(a) = 3*a - 51. Let z be p(-16). Let t = z - -98. Which is bigger: t or 2/769?
2/769
Let x(k) = -3*k**3 - 5*k**2 - 8*k - 5. Let l be x(-5). Suppose -5*i = l - 20. Let t = -73 - i. Which is smaller: t or -22?
-22
Suppose -62*a - 7 = -27*a - 28*a. Are a and -7601 equal?
False
Let s = -18839 - -18550. Is s greater than -289?
False
Let o = 3 - 5. Let q be (-1)/(-14)*(-10 + o). Suppose 2*m + 2*r + 10 = 4*r, 0 = -5*r + 15. Is q less than or equal to m?
False
Let l be (-14)/(-4)*(-4)/(-7). Suppose 5*f - 4*p - 10 = 0, -6*p + 5*p = 0. Suppose -f*a + 0*a + 15 = 3*w, 5*w + 3*a - 24 = 0. Which is smaller: w or l?
l
Suppose 8*w - 100 = -4*c, -5*w = 3*c - 6*c + 9. Which is smaller: c or 48?
c
Suppose -9*x + 30 = x. Suppose -15 = -x*f - f - 5*m, -4*f - 15 = -5*m. Is f != -3?
True
Let s(d) = 7*d**2 - 7*d - 13. Let t be s(5). Suppose -t*h = -130*h - 36. Is h smaller than -10?
True
Let d be ((-5)/15*3)/(-1). Let q(z) = 53*z**2 - z. Let n be q(d). Let x be (-6)/21 + n/133. Which is greater: -1 or x?
x
Suppose -38*f = 31*f + 10*f. Are -3/2318 and f unequal?
True
Suppose -164*s + 162*s - 14 = 46. Do s and -17 have different values?
True
Suppose u - 4*c + 8 = 0, -8 = 3*u - c - 3*c. Let a be -9*(-6)/(-4)*(-104)/702. Let s be 2/28 + 2 - a. Is u less than s?
True
Suppose 0 = 13*i - 37 + 128. Let z be 34/(-60) + i*(-8)/84. Which is smaller: -2/3 or z?
-2/3
Suppose 6*q - 3*q - 135 = 0. Let t be 7/(140/q) + 6/8. Suppose 4*c = t*c + 1. Which is greater: c or 3/61?
c
Suppose 52*t + 45 - 253 = 0. Suppose -15 = -t*b - 19. Let h be 1 - ((-36)/(-14))/1. Is b equal to h?
False
Suppose 4998 + 5370 = -3*k. Let r = k - -501122/145. Are 0 and r non-equal?
True
Let x(q) = 3*q**2 - 2*q - 5. Let j be x(2). Suppose -36 = -j*i + 12. Suppose -18*b = -14*b + i. Is b >= 1?
False
Let y(x) = -3*x + 7. Let t(j) = -3*j + 7. Let n(g) = -4*t(g) + 3*y(g). Suppose -478*u = -472*u - 12. Let i be n(u). Is i at most -4?
False
Let w = -1416 + 104. Is -1313 at most w?
True
Let u(y) = -45*y**3 + 2*y**2 + y - 17. Let r be u(-2). Which is bigger: r or 360?
360
Suppose 0 = 4*r - 3*r. Let k be (7 + (-120)/16)*0 + (-74)/4625. Which is greater: k or r?
r
Let i(n) = -83*n - 580. Let s be i(-7). Which is smaller: 44/19 or s?
s
Let u(i) = 22*i**3 + 34*i**2 + 3*i + 7. Let w be u(-4). Is w > -864?
False
Let u = 0.37 + -0.17. Which is greater: u or 242?
242
Let r be (-80)/30*3/(-4). Suppose 16 = 2*l + r*l. Suppose -300 = -v - 59*v. Which is bigger: l or v?
v
Let p = -1297 + 9064/7. Suppose 3*x = -w + 109, -3*x + 6*x + 3*w - 99 = 0. Suppose 44*c - x*c + 18 = 0. Which is smaller: c or p?
c
Let k = 3.439 + -0.139. Let w = k + 18.7. Which is bigger: 0 or w?
w
Let h = -5977 + 6413.1. Let l = h - 372. Let o = -65 + l. Which is greater: 0.1 or o?
0.1
Let x be ((-816)/(-153))/(8/(-12)) + 2432178/304023. Is x at most as big as 0?
True
Let m = 73 - 73. Which is greater: m or -10/47?
m
Let j be -2 + (10 - 1) + (219 - 226). Let c be 8/(-4) - (-5)/4. Is c != j?
True
Let d(m) = -2 + 8*m**2 - 5 - 12*m**2 - 12*m. Let h be d(-5). Let y = h - -48. Are 3/29 and y unequal?
True
Let t = 1/17 - -14/51. Suppose -33*a = 46 - 13. Is t >= a?
True
Suppose -64*l + 59*l = 0. Suppose 3*s + 3 = 0, -3*w = 4*s - 47 - l. Suppose 0 = -3*p - 200 + w. Is -62 at least as big as p?
False
Let g be 4 - (-12083 + -2)*(38 - 37). Which is bigger: g or -1/3?
g
Let q(c) = 18*c**2 + c + 2. Let z be q(4). Suppose 0 = 5*y + 3*f - 1368 - 113, 4*f = -y + 303. I