60/609 + -2/87. Is g bigger than x?
True
Suppose -5*s - d - 57 = 0, -5*s + s + 2*d - 54 = 0. Let c be (-10)/8*-4*3. Let u = s + c. Is 5/3 less than or equal to u?
True
Let f be ((-397)/(-3))/(13/(-22)). Let b be 72/252 + 3132/14. Let i = b + f. Which is smaller: i or 1?
i
Let l = -29135/2158 - -1/1079. Suppose 3*a + 21 = -21. Which is smaller: l or a?
a
Suppose -4*f = -15*y + 19*y + 96, 36 = -2*f + y. Suppose -5*v - 32 = l - v, -4*l + 2*v - 74 = 0. Do f and l have different values?
False
Let j be 4 + -4 - (0 + -2). Suppose 0*c = j*c. Suppose -5*u - 35 = -c*u. Is -7 greater than or equal to u?
True
Let m = -206.04 + 206. Which is smaller: m or -11?
-11
Let i = 244 - 302. Is i > -60?
True
Let j(d) = 18*d + 6 - 9*d - 2 - 12*d. Let n be (-34)/6 - 4/(-6). Let l be j(n). Is 19 less than l?
False
Let y = 88.9 - -177.1. Is -1 less than or equal to y?
True
Let p be (1976/156)/((-4)/12). Let m = 93 - 132. Is m <= p?
True
Let j(s) = 12*s + 130. Let c be j(-14). Which is smaller: c or -5?
c
Suppose 2*c - i - 8 + 3 = 0, -3*c = -4*i - 5. Suppose r = -2 + c. Let m = 75 + -1126/15. Which is smaller: m or r?
m
Let t be 9/13 - 196/(-637). Let v(h) = 6*h - 3. Let i be v(2). Which is smaller: t or i?
t
Let z = 0.0147 - 3.0147. Is -7 smaller than z?
True
Suppose -44*h + 23 + 21 = 0. Which is greater: h or 11/23?
h
Suppose 0 = 269*u - 259*u + 1660. Is 1/5 greater than or equal to u?
True
Let h(c) = -3*c**3 - 20*c**2 + 19*c + 2. Let r(x) = -x**3 - x + 1. Let p(k) = -h(k) + 2*r(k). Let l be p(-21). Is l < 1/5?
True
Let c = 1.7 - 0.9. Let o = c + -0.87. Let m = -0.27 - o. Do -3/5 and m have the same value?
False
Let v = 40 - 41.65. Let j = 0.35 - v. Is 11 > j?
True
Let g = 3201/8 + -405. Let a = g - -267/40. Which is bigger: a or 1?
a
Suppose -4*v = -0*v. Is 3/101 <= v?
False
Suppose 2 = -3*y - 142. Let h be 1/(-4) + (-5 - 260/y). Let a be 0/(2/(-2) + 0). Does a = h?
False
Let y = 9621 + -9601. Let w(r) = 21*r**2 + r. Let h be w(-1). Is y bigger than h?
False
Let m be 0 + (106/(-110) - -1). Let j(x) be the second derivative of x**3/3 + 10*x**2 - 6*x. Let c be j(-10). Which is greater: m or c?
m
Let o be 28094/(-126) + (-232)/(-2088). Is o greater than -222?
False
Suppose -5*k = 5*i - 110, -94 = -3*i - 5*k - 22. Let b(g) = g**3 - 5*g**2 + 7*g - 7. Let t be b(5). Let s = t - i. Are 10 and s unequal?
True
Suppose -3*i = 5*f - 875, 3*i - 3*f = -2*i + 1481. Is i at least as big as 1179/4?
True
Let n be (-176)/77 - 4/(-14). Let h be (3 + -3)*n/2. Suppose 0 = -h*r - 3*r + 15. Does 5 = r?
True
Let z(j) = 8*j - 3. Let f be z(1). Suppose -f*c - 5*l = 145, 0*c = -c - 3*l - 37. Is -26 bigger than c?
False
Suppose -3*a + 13 = -2*y + 18, -2*y + 7 = -5*a. Is a greater than -8/7?
True
Let v = 0.1151 + 0.0949. Suppose -10 = 5*n - 5*j, 3*j = -0*n - n + 18. Do v and n have the same value?
False
Let j(y) = -y + 3. Let h be j(-1). Suppose -20 = -w - 0*w + h*r, 5*r = -20. Let s be -1*1*(-25)/5. Is s smaller than w?
False
Let y = 60 - 109. Let m = 45 + y. Which is greater: m or 3?
3
Let k be (-242)/(-6) - (-1)/((-3)/1). Let l be (-5 + 185/k)/(30/(-4)). Do l and -1 have the same value?
False
Let d = 13/53 + 841/1325. Is d less than or equal to 1?
True
Suppose 0 = -v - v. Let h = -267 + 277.7. Let a = 10 - h. Which is smaller: a or v?
a
Let b be (1 - 5/10)*0. Which is smaller: 17 or b?
b
Let z(f) = f**3 - f**2 - f - 5. Let v be z(0). Let b = -0.1792 + 0.0792. Is v > b?
False
Suppose i - 3*x + 12 - 38 = 0, -34 = -i - x. Suppose -2*s + 5 = -s + 4*m, 5*s + m + i = 0. Let k be s + 3 + (-4)/4. Which is bigger: 1 or k?
1
Let x be (-2)/(-2) + 2 + 4104/(-1364). Let u = x + 1065/4774. Let q(l) = l**3 + 4*l**2 - 5*l. Let m be q(-5). Which is smaller: m or u?
m
Suppose 120 = 8*n + 448. Is -40 at least n?
True
Let r be (-2)/(-4 - -22) - 658/(-5436). Which is greater: r or 1?
1
Let q = 0.32 - -17.68. Let t = -17.98 + q. Let l = -0.2 - -0.2. Is l < t?
True
Let s(g) = -g**3 - 4*g**2 - 3*g. Let w be s(-3). Let j be (-6)/7*266/(-608). Is w at least j?
False
Let q = -11.6 + 11.727. Let u = q - -0.073. Do 2/137 and u have the same value?
False
Let k be 44/(-7) + 6 + 724/(-14). Which is smaller: k or -53?
-53
Let g(j) = 11*j**3 + j**2. Let r be g(-1). Suppose q - 7 = -2*f, -2*f = q + q - 8. Suppose 0 = -2*i + 4, z + f*i - 26 = 3*z. Do z and r have different values?
False
Suppose 4*d - o = 106, 4*d - 27 = 5*o + 87. Is 27 bigger than d?
True
Let c = 0.248 - 3.848. Which is greater: 1 or c?
1
Let d(a) = -9*a - 66. Let l(f) = -9*f**2 + 7*f - 6. Let r be l(1). Let z be d(r). Which is smaller: -1/9 or z?
-1/9
Let w = 284 - 285. Is 76 bigger than w?
True
Let i = -11 + 7. Let a be -2 - i - (-3)/(-1). Let l = -211/171 - -15/19. Which is smaller: l or a?
a
Let c(u) = u**3 - 23*u**2 - 49*u - 24. Let v be c(25). Which is greater: 1/519 or v?
v
Suppose 2*a - 15 = 5*r, 3*a - 14 = 4*r + 5. Let j be 18/(-12) - r/2. Which is smaller: j or 4/9?
j
Let d = 61 - 58. Suppose -o - 4*s = 39, d*o = 5*o + 4*s + 66. Is -27 smaller than o?
False
Let c(x) = -x + 7. Let f be c(7). Suppose 4*g = 3*p + 23 + 50, 67 = 4*g - p. Suppose f = 3*z + 4 - g. Which is bigger: 3 or z?
z
Let f be (-11)/(-11)*(-2 - 1) - -3. Let h be 2*2/(-48)*1. Which is smaller: f or h?
h
Suppose 0 = 2*w - 9 - 9. Suppose -2*h - 2 = 2*t, 0 = 3*t - h + 4 - 5. Let k be (33/w - 3) + t. Which is smaller: k or 0?
0
Let c = 44 - 22. Suppose c = 5*k + 4*j - 3, 3*j - 15 = 0. Let i = 48 - 287/6. Do i and k have the same value?
False
Let o = -32 - -113. Which is smaller: 80 or o?
80
Let f be 2*(8 - 6)/4. Which is smaller: f or 12/13?
12/13
Let s be (423/(-435) - -1)/(12/(-150)). Is s equal to -1?
False
Let f = 27 - 23. Suppose 0 = -g - f + 5. Is g <= -1/3?
False
Let h be ((-5)/2)/(1/(-2)). Suppose -15 = -10*q + h*q. Let y be ((-16)/(-12))/((-1)/q). Is -1 >= y?
True
Let c be (-6)/(-7 + 2 - (-3 - 0)). Suppose -c*l - 5 = 2*i + 13, 5*l - 2 = 2*i. Which is smaller: -4 or i?
i
Let k = 25 - 2. Suppose k*r + 60 = 19*r. Are -15 and r non-equal?
False
Suppose 0 = -5*x + 148 + 12. Suppose 20 = 37*t - x*t. Is 4 less than t?
False
Let b = 0.45 - 0.44. Do -15 and b have the same value?
False
Let l be (-46)/(0 - -8 - 10). Let d = 6/53 - 148/371. Does d = l?
False
Let h = 234 - 230. Is h equal to 13?
False
Let j be 47*(-17)/(-10) + (-4)/10. Is 81 less than or equal to j?
False
Let b = 3.7 + 1.2. Let t = -36 + 38.9. Let k = b - t. Which is bigger: k or 1?
k
Suppose -4*f - 4 = 4, 2*i - 4*f = 8. Is i <= 6/53?
True
Let b be ((-15)/(-12))/(6 + 130/(-40) + -3). Let n = -0.1 - -0.2. Is b at least as big as n?
False
Let f = 15693 - 15691. Let m = 16/93 + 1469/651. Which is bigger: f or m?
m
Let x(p) = 4*p + 6. Let i be x(0). Let f(n) = -n**3 + 4*n**2 + 7*n + 1. Let g be f(i). Let y be 139/(-5) + (-3)/15. Is y < g?
False
Let p(a) = a - 13. Let s be p(0). Which is smaller: -10 or s?
s
Suppose 4*p = -2*o + 56, p - 4*p = -5*o + 88. Let q be (o/104)/(2/(-4)). Which is smaller: q or 1?
q
Let i be 2 - (3 + -2 + 2). Let o be i*(-4)/24*4. Which is greater: 1/20 or o?
o
Let p = -0.003 + -16.997. Let y = 11 + p. Is 1/4 != y?
True
Let k = -1.4 - -43.4. Let c = 53 - k. Let o be (-2)/(-4) - 2/8. Is c greater than or equal to o?
True
Suppose -581*w = -578*w - 75. Is w at least 1/2?
True
Let w(h) = 2*h**2 - h. Let q be w(1). Let g be (-42)/35*(-40)/(-6). Let s be (-760)/928 + (-6)/g. Which is smaller: s or q?
s
Suppose g = 4*a - 505, 3 + 7 = -2*g. Is 123 at least as big as a?
False
Let i be ((4 - 1) + -4)/(-1). Suppose -38 = -0*c + 4*c - 2*b, -c + 2*b = 2. Which is smaller: c or i?
c
Let g be (-24)/6 + (-1 - 2) + -467. Is g greater than -473?
False
Let d = -294 + 284. Which is smaller: d or -210/23?
d
Let x(s) = -2*s - 25. Let d be x(-17). Suppose -d = 4*b - 1. Which is greater: -16/7 or b?
b
Let c = 3/29281 + -69308160/322091. Let g = -215 - c. Let f be (-1)/(-1 - (-1 + -1)). Which is bigger: f or g?
g
Suppose 7 = 5*n - 5*d - 18, -3*d - 15 = -n. Do -11/20 and n have the same value?
False
Suppose -4*k - 3*d + 54 = -2*d, -4*k - 5*d + 46 = 0. Let x be ((-2)/3)/((-4)/90). Is x > k?
True
Let b be ((-729)/702)/(2 - 63/30). Which is greater: 11 or b?
11
Let m = -261 - -1053/4. Which is greater: m or -1.9?
m
Let x = -733 + 733. Do -5/4 and x have different values?
True
Let y be 462/121 + (-4)/(-22). Suppose 2*x - 14 = -y*r,