- 13 = -0*p, -3*p + a = -14. Let z(t) = -t + 5. Let n be z(p). Let m be -1 - (n + (-93)/96). Is m greater than 0?
False
Let a be 13041/12397 + 1/11. Which is smaller: a or -1/20?
-1/20
Let n be (-7)/8*(-1 + -7) - 63. Is -60 less than or equal to n?
True
Let j = -13 - -22. Let z = j - -7. Is 17 greater than or equal to z?
True
Let v = 140 - 3361/24. Let o be ((-3)/(-6))/((-1)/2). Is o greater than or equal to v?
False
Let g be ((-20)/(-30))/(2/3). Suppose 2*o = 6*o - 120. Let b be 62/o + 12/(-18). Is b greater than or equal to g?
True
Let c(u) = u**3 - 2*u**2 - 2*u - 5. Let p be c(3). Suppose -2*t - 22 = l, 0 = -2*t - 0*t - 3*l - 26. Let v be 16/t*(-5)/p. Are v and 0 unequal?
True
Let c = 19804/96145 - 62/335. Which is greater: c or -1?
c
Let t(j) = -j**2 - 6*j - 7. Let l be t(-5). Let w be 6 + -3 - 2 - l. Suppose -2*k = -0*k + z + 5, 0 = 3*k + w*z + 6. Which is bigger: k or 2?
2
Let u be 38/(-27303)*(-1 + 7). Let t = 634/38799 - u. Is t less than -1?
False
Let c = 690 - 664. Let d be (-1 + -25)/(1 - 2). Let n = c - d. Is 7 not equal to n?
True
Let d be 6/40*8*(-30)/(-9). Let b = 1 + 5. Is d at most as big as b?
True
Suppose 3*k = -5*d - 4, 0 = -3*k + 4*d - 43 + 3. Let a = -2.3 + 0.3. Is k less than a?
True
Let m be (-4)/(-22) + 9534/(-165). Let k = -59 - m. Let c be 20/(-21) - 12/(-18). Do k and c have the same value?
False
Let m(g) = g + 36. Let t be m(12). Suppose -28 = 4*a + t. Is a at most as big as -20?
False
Let y = 13 + -19. Is -2/19 bigger than y?
True
Let r be 3 + (162/255)/(-2). Let n = r - 14/5. Let z be (-2)/2*(-4 + 4). Which is greater: z or n?
z
Suppose 0 = 1214*d - 1196*d + 36. Let f = -2 + 3. Let g be f - 2 - (-2)/4. Is d smaller than g?
True
Suppose 31 = 7*s - 38*s. Which is greater: s or -1/110?
-1/110
Let o be 4/2*(7 - 25). Which is bigger: -244/7 or o?
-244/7
Let r(z) = -z**2 + 12*z - 13. Let p be r(11). Let b(s) = s**3 - 5*s**2 - 7*s + 5. Let d be b(6). Which is bigger: d or p?
d
Let x be (16 + -1)*440/25. Let h be 688/x - (-4)/(-3). Let a = -1 - -3. Which is smaller: h or a?
h
Let r be (-34)/51 - (-8)/3. Let d(t) = -2*t**2 - 12*t - 10. Let f(v) = v**2 + 6*v + 5. Let y(b) = -2*d(b) - 5*f(b). Let w be y(-4). Which is bigger: w or r?
w
Let v = 63 + -63. Which is smaller: -11/14 or v?
-11/14
Let f = -727 - -3648/5. Suppose 0 = b, 5*z - 14 - 1 = -5*b. Suppose -5*n - z*l = -16, -5*l = -6*n + 3*n - 4. Which is bigger: f or n?
f
Let v be (-40)/(-70)*2/(8/14). Suppose 2*z - v = z. Which is smaller: z or 0?
0
Let v = 11.923 + 0.077. Let m = v - 11.9. Let p = -5 - -5.4. Which is bigger: p or m?
p
Let c = -2.622 + 0.142. Is c less than or equal to -1?
True
Let u = 104/285 + -3836/10165. Which is greater: 1 or u?
1
Let r be (-2)/10 - (-6)/((-150)/18395). Let m = r + 3652/5. Is m not equal to -6?
True
Suppose 0 = g - 4*b - 29, 6*b = 8*b - 8. Which is bigger: 46 or g?
46
Let d = 2081/65 - 32. Let w = d + -74/585. Let o = w - 2/9. Which is smaller: 0.3 or o?
o
Let c = 411 + -410. Is -5.4 not equal to c?
True
Let x = -11 - -6. Let t = x - -5.04. Let w be 1/(-3) + (-10)/(-30). Which is greater: w or t?
t
Suppose 9 = -4*w + 1, 0 = 5*l + 3*w - 309. Suppose 5*q + l + 12 = 0. Is -16 at least as big as q?
False
Let z = 168 - 168. Which is smaller: -4/19 or z?
-4/19
Let g = -1483 + 1415. Is g >= -60?
False
Let h = 2/1299 + 367/42867. Is h smaller than -2/3?
False
Let t = -149/52 + -5/13. Let v = 35 + -33. Suppose 0 = -3*s - 0*s - 2*f + 2, 0 = -v*s - 4*f + 12. Is t equal to s?
False
Let x = -0.5 + -0.5. Let u(h) = -3*h**2 - 31*h - 57. Let m be u(-8). Is m < x?
False
Suppose -21 = -117*h + 96*h. Let f = -122/1173 + -5/69. Is h > f?
True
Let c be (4 - 4) + 2 + (-994)/496. Is 0 >= c?
True
Let w(k) = 17*k**3 - 3*k**2 + k + 1. Let n be w(2). Suppose -2*z = -7*z + 2*o + n, -5*o - 61 = -3*z. Let b = 27 - z. Is 1 at least b?
True
Let x = -879.1 + 31.1. Which is bigger: x or -1/4?
-1/4
Let q be -55 + -76 - (-2 + 7). Is q bigger than -136?
False
Let p(h) = -4*h - 178. Let u be p(-15). Which is smaller: u or -120?
-120
Let t = 77 - 72. Let p be (1 - 4) + -18 + t. Is -15 greater than or equal to p?
True
Suppose 7*v + 23 = 2*d + 2*v, -2*d = 5*v - 13. Suppose -6 = 5*y + d. Let f be -4*1/(36/y). Is 1 less than or equal to f?
False
Let i = -3/77 - -20/231. Suppose 2 = 6*o + 8. Is o equal to i?
False
Let t = 1112.2114 - 0.2114. Which is smaller: -2/7 or t?
-2/7
Let d = -23 + 43. Let i = -20 + d. Are i and -6 nonequal?
True
Let s(r) = -r - 6. Let i be s(-6). Suppose -11 + 5 = -2*k. Let w be 1/(-31)*-1*k. Which is smaller: w or i?
i
Let f be 4/30 - 1598/1410. Does f = 9/37?
False
Let g = 36 + -65. Let i = 2.6 - 2.8. Which is bigger: g or i?
i
Let x = 142 - 147.95. Let s = 6 + x. Let p be (-3)/4 - 2/(-8). Which is smaller: p or s?
p
Let g = 23 - 18. Suppose -23 + 3 = -g*y. Suppose -22 = y*s - 2*q, q = 5*s - q + 30. Is s less than 1?
True
Let z(u) = -2*u + 6. Let g be z(-4). Let i(y) = y**2 - 14*y - 7. Let l be i(g). Let x be (4/l)/(21/(-49)). Is x not equal to 0?
True
Let m be 12/(-8) + 3/(-6). Let h be m/(-4) + (-4161)/(-24). Let c = 175 - h. Is 1 at least as big as c?
False
Let u(c) = 2*c + 10*c + 6 - 2 - 2. Let m be u(2). Suppose -2*f - m = -4*z, -2*f - 3*f + 3*z = 44. Which is greater: -9 or f?
f
Let g(w) = w**3 + 5*w**2 + 10*w - 2. Let s be g(-4). Let o(h) = -45*h**2 - h - 1. Let u be o(-1). Let q = s - u. Is 19 > q?
False
Let j(k) = -2*k - 1 + 0*k**2 - 2 - k**2. Suppose -10*h = -5*c - 7*h, -5 = -5*c + 4*h. Let y be j(c). Is -4 at most y?
False
Suppose 5*c = j - 5*j + 4, -4*c + 3 = 3*j. Suppose -6*x + x - 5 = c. Let k = 10 + -372/37. Which is greater: k or x?
k
Let u(p) = -p**2 - p - 25. Let a be u(0). Let i be (24/(-70))/(10/a). Which is smaller: i or 0?
0
Let v(w) = 8*w**3 - 2*w**2 - 2*w - 1. Let r be v(-1). Let j(n) = -n**2 - 5*n + 3. Let p = -127 - -120. Let h be j(p). Is h less than or equal to r?
True
Let v = -0.3 - -0.1. Let a be ((-3)/(-4))/(18/(-16))*-18. Is a smaller than v?
False
Let a = 514 + -48831/95. Let n = -6.9 - -7. Is a less than n?
True
Let m = 7 - 8.75. Let s = m - 0.25. Which is smaller: s or 2/11?
s
Let h be 2 + (-1044 - 6)/(-5). Which is smaller: h or 211?
211
Let j = 0.9 - -3.1. Let s = -7 + j. Is 0.3 less than or equal to s?
False
Let k be (-1)/((-4)/(-6)) + (-2)/4. Let n be k/((16/(-4))/(-24)). Are n and -10 equal?
False
Suppose -2*p + 4 = 0, 3*h + 7*p - 4*p - 30 = 0. Let c be (-20)/9 - h/(-36). Let s be (-2)/9 + 130/(-63). Which is smaller: s or c?
s
Let r = 766/11 + -62068/891. Let t(s) = s**3 - 11*s**2 + 12*s - 5. Let h be t(10). Suppose -2*o + 5*n = -h, -2*n - 9 = 3*o + n. Which is smaller: o or r?
r
Let i = -25.7631 - -2.7891. Let w = i - 0.026. Let a = 24 + w. Is -0.3 less than a?
True
Let o = -550 - -885. Which is smaller: 336 or o?
o
Suppose 17*g - 50 = -52*g + 88. Suppose -3*a + 0*a + 9 = 0. Which is greater: a or g?
a
Let w = 1.3 - 9.3. Let a = 64 + -40. Let v be (-28)/a*(-4)/21. Are v and w nonequal?
True
Let h = 210/101 - -4691/707. Which is bigger: h or 8?
h
Let b = -17956/9477 - -74/39. Which is smaller: 0 or b?
0
Let z = 16 - 34. Let t = z + 34. Is 1/3 != t?
True
Suppose -4 = -i - x + 3, -7 = -i + 3*x. Let p be (i + -71)*2/6. Which is smaller: p or -21?
p
Let g = -194 - -8343/43. Let u = 83/129 + g. Which is greater: -74 or u?
u
Let p = -2433 - -2432. Which is smaller: p or -3/1750?
p
Let k = -32/3 - -11. Let c be 39/(-1)*8/(-12) + 4. Suppose c*f = 29*f + 1. Is k < f?
True
Let a be ((-6)/(-21))/1 + 54802/(-77784). Let d = 1/463 + a. Which is greater: 1 or d?
1
Suppose -3*j + 0*a - 542 = -2*a, -4*j + 5*a - 718 = 0. Which is greater: j or -183?
j
Suppose -3*t - 2*b = -66, 3*b + 2 + 7 = 0. Let c = 165 + -157. Let p be ((-3)/c)/((-414)/t). Is p >= 1?
False
Suppose 68*y = 66*y - 130. Is y greater than or equal to -63?
False
Let y = -0.517 + 0.617. Which is smaller: y or -269?
-269
Let g(v) = 27*v**3 - v. Let w be g(1). Let k(b) = -3*b - 8. Let d be k(-4). Let p be w/d + (0 - 1). Is 6 less than or equal to p?
False
Let t(h) = -h**2 + 13*h + 15. Let n be t(15). Let l = n - -41. Suppose z = -z - 4*r + l, 3*z - 49 = 4*r. Which is smaller: z or 17?
z
Let f = 78 + 214. Which is smaller: f or 293?
f
Suppose -g + 3*n - 1 = 5*n, 2*g = n + 8. Suppose -2*h - 7 = -g*h. Let c(p) = p**2 - 8*p + 10. Let m be c(h). Which is smaller: 16