: k or j?
j
Let o be (-500)/1625 - (-23318)/75868. Is o at most as big as 1?
True
Suppose 54810 = 5*a - 5*h, -h - 174 = -166. Is 10954 > a?
False
Let s be 438/30 - 15 - (7907/(-5) - -1). Do 2/23 and s have the same value?
False
Let d = 9484 - 9454. Is 1 smaller than d?
True
Let j be (12/(-45))/((-6)/9)*-35. Let k(h) = -h**2 - 13*h + 5. Let i be k(j). Are -98/11 and i equal?
False
Let f(g) = g**3 - 44*g**2 + 87*g - 125. Let r be f(42). Is -9/127 equal to r?
False
Let b = -0.14423 + 0.10423. Which is greater: b or -81/14?
b
Let o be (-19 + 17)/((-2)/2 + -4). Let s = 0.34 + -0.37. Let j = s + -2.97. Is o less than or equal to j?
False
Suppose 2*z - 4 = 6*z + 5*i, -8 = -2*i. Let f be 10/(1/(6/z)). Suppose -5*a = -2*h + 41, 3*a + 10 = -4*h + 1. Is a < f?
False
Suppose -29*x - 24 = -111. Suppose 24 = 4*a + 8. Let z be 11/(-22) + 10/a. Is x equal to z?
False
Suppose 8 = -28*f + 32*f, -5*f + 64 = -2*j. Suppose -4*h + h = 69. Which is smaller: j or h?
j
Suppose -164632*g - 6180 = -164612*g. Suppose 2*o + 223 = -393. Is o != g?
True
Let n be ((-6)/9)/((-14)/2758). Let b = -131 + n. Which is smaller: -68 or b?
-68
Suppose -7 - 2 = v. Let k be (-18)/20 + v/(-12). Let a be 306/(-34) + 30/3. Which is greater: a or k?
a
Let r be (4/(-22) - 632/(-3597))/(3068/(-62127)). Which is smaller: r or -1?
-1
Let a = 10.5 + -10.5. Let v be ((-7)/(7/2))/(-1). Suppose -3 = v*n + n. Is n less than a?
True
Let a = -50772/259 - -5974/37. Let l(p) = -35*p + 1. Let z be l(1). Is z bigger than a?
True
Let o = 54.895 - -0.105. Let v = 55.2446 - 0.0446. Let k = v - o. Is -1/2 less than k?
True
Suppose -9 = -35*i + 73*i - 47*i. Which is smaller: i or -11/405?
-11/405
Let p be (-1 - 3)/((1 - (2 + -237))/2). Which is greater: p or 6/89?
6/89
Let o be (-1148)/1540 - (-1)/5. Let c be -2 + (-24)/(3 - 6). Suppose 2*n = -5*f - 6, 2*f - c*n = -n - 14. Which is smaller: f or o?
f
Let a(j) = j**2 - j - 18. Suppose 4*v = -3*y + 8, -y + 10 = y + 5*v. Let d be a(y). Let p be (-3)/d*(-6)/(-39). Which is smaller: p or 0?
0
Suppose 5*f - 61 = 2*i, -3*i - f - 193 = 2*i. Let q be (-2245)/374 - (i + 32). Which is greater: q or -1?
q
Suppose 0 = 4*x - 3*x + 9520. Let g be (-8)/(x/1710605) - (-1)/(-2). Let p = g + -1437. Do p and -1 have the same value?
False
Suppose -27*m + 2 - 29 = 0. Let s be 4 + 0/2 - 237/45. Which is greater: m or s?
m
Let c = -336 - -441. Let b be ((-7)/c)/((-3)/(-42)). Is -1 >= b?
False
Let a = 40 - 39.25. Let o = -100.75 + a. Let s = 94 + o. Which is greater: s or 1?
1
Suppose -q = r + 11, 7*q = -3*r + 3*q - 36. Let f be 6*(-4)/r - (-3 + 2). Suppose 0 = -f*d - j - 9, 3*d = 5*d - j + 3. Is 0 greater than or equal to d?
True
Suppose 2*v - 3*c + 4 = 3, 2*c = -4*v - 26. Let s be (2/(-105))/((135/63)/v). Which is greater: 1 or s?
1
Let b be (-9)/(-3) + 5 - (-30503)/(-3901). Do b and 5 have different values?
True
Let j = -881 + 131. Let v = 741 + j. Is -8 at least v?
True
Suppose 96*a = 92*a - s - 1263, -s + 1608 = -5*a. Let t be (-2 + (-1 - -2))*0. Is t bigger than a?
True
Let j be -21*2/8*(-18 - (-40 + 26)). Let l = 303 + -193. Suppose -6*d + l = -d. Is d less than j?
False
Let l = -777 + 4027/5. Is l < -0.1?
False
Let s be ((-60228)/(-4320))/239*(-8)/(-70). Suppose 1 = -7*j + 5*j + 3*t, 5*j - 3*t - 2 = 0. Is j at most s?
False
Let r(k) = 4*k**2 + 91*k + 503. Let h be r(-6). Is h at most as big as 611/6?
True
Let h be (-18)/(-30) - (-32)/(-20). Which is smaller: -3/2212 or h?
h
Suppose 9*u - 5*u + 2 = 2*y, -5*u + 3 = 3*y. Which is smaller: -351 or u?
-351
Suppose -3*t - 876 = -3*y, t + t = 4*y - 1164. Let b be y/(-3016)*(-1*2 - -1). Is b greater than or equal to -1?
True
Let m(b) = b**2 - 10*b - 5. Suppose -4*y = -2*y - 100. Suppose -g + 6*g - y = 0. Let v be m(g). Which is bigger: -8 or v?
v
Let v = -1251 - -1187. Which is greater: 6 or v?
6
Let y(b) = b - 8. Let u be y(-10). Let d = -8.31 - -12.31. Is d at least u?
True
Let z = 0.9 - -0.1. Let h = -33.23 + 39.43. Is z greater than h?
False
Let c = -0.28585 + 0.16885. Is -0.5 != c?
True
Let r = 0.9 + 0.1. Let k = 4.673 + 0.857. Let c = k + -5.53. Which is smaller: c or r?
c
Let m be (0 + -18)/(-3)*6. Suppose -79 = -m*a + 29. Is a equal to 13/4?
False
Let l = -159 + -1309. Is -1468 smaller than l?
False
Let s(n) be the first derivative of 2*n**2 + 9*n + 8. Let o be s(-7). Suppose 0 = 20*i + 419 - 19. Are i and o unequal?
True
Let z(c) = c**3 + 10*c**2 - 5*c - 19. Suppose 0 = 2*j - 5*j + 30. Suppose -2*l - j = -l. Let n be z(l). Is n equal to 31?
True
Suppose -5*b = 4*h - 503, -9*h - b + 259 = -7*h. Let k be (4 - -11)/(h/(-40)). Does -5 = k?
False
Suppose 5*t - 3*t - b - 82 = 0, -3*b + 194 = 5*t. Suppose t = -11*i - 367. Which is smaller: -189/5 or i?
-189/5
Suppose -v - 126 = -5*g, 0 = -68*g + 67*g + 4. Which is smaller: 4 or v?
v
Let m(b) = 4*b**3 + 9*b**2 - 30*b. Let g be m(3). Is g at least as big as 102?
False
Suppose 8525 = -5*n - 5*t, 102*n - 5*t - 6818 = 106*n. Is -1704 < n?
False
Let x = 1067 + -4031. Let k be (-6)/(-45) - x/45. Do 63 and k have the same value?
False
Let a(j) = -j**3 + 18*j**2 + 53*j - 188. Let g be a(19). Is g < 462?
True
Suppose 3*x = h + 1123, -5*x + 4*h + 350 = -1524. Suppose 185 - x = 9*c. Which is smaller: -19 or c?
c
Let r = -217360 - -217359.85. Let l = 1.1 + -0.1. Which is bigger: l or r?
l
Let i be -1 - 6/(-4) - 219/(-2920)*-20. Is 16/939 less than or equal to i?
False
Let g = 1.4988 - 0.4988. Let t = 0.1 + 2.9. Is g greater than or equal to t?
False
Suppose 80*g - 13 = -81*g + 174*g. Which is smaller: -2/15573 or g?
g
Let r be (-2)/(-348)*(-626)/(-43507). Is -1 > r?
False
Let x = -178069 + 90637188/509. Which is smaller: x or 1?
x
Let t = 367 - 367.0076. Let o = -0.1076 - t. Which is smaller: o or 286?
o
Suppose -4 = 4*q - 0*q, -5*p = q - 64. Let d(t) = -12*t + 155. Let a be d(p). Is a <= 2/987?
True
Let f be 1149 + (3 - (6 - 3) - 3). Which is smaller: f or 1142?
1142
Let u = 2330839/10 + -232792. Which is smaller: 292 or u?
u
Suppose -5*k = 3*y + 5005, 5*y = 6*k - 7*k - 8371. Which is bigger: -1674 or y?
-1674
Let w = -1316830 + -1067261. Let o = -2646335879/1110 - w. Let s = -5/222 + o. Is s bigger than 0?
True
Let k = 1066.7 + -1113. Let a = k - -45.3. Let f = -8.811 - -0.011. Which is bigger: f or a?
a
Suppose -2054 + 8052 = o - 2*w, 5*o - 29950 = 2*w. Which is bigger: o or 5986?
o
Let x = -35660.02712 + 35660. Which is bigger: 1 or x?
1
Let i = -0.06 - -1.06. Let o = -68.016 - -0.016. Let y = 67.71 + o. Which is smaller: i or y?
y
Suppose 5*o - 7*o - 4*u = -184, 5*o - 5*u - 430 = 0. Do -9 and o have the same value?
False
Suppose 236 + 118 = -3*r. Let g = 43043 - 43160. Is g equal to r?
False
Suppose 0 = 3*w, -5*w + 58983 = -3*k - 5193. Is k < 0.1?
True
Let n = -31 - -33.4. Let z = -464.6 - -521. Let w = n - z. Is w at least 1?
False
Let h = 16.06 + -15.58. Is h equal to -114?
False
Let o be ((-2)/(-4))/(8/(-2)). Let x(g) be the second derivative of g**5/20 + 13*g**4/12 - 5*g**3/2 - 15*g**2/2 - 21*g. Let n be x(-14). Is o at most n?
False
Let d = 11582 - 11529. Which is smaller: d or 48?
48
Let g be -20 + 0 + -78 + 99. Which is smaller: g or 3/502?
3/502
Let s = -16.4 + 12.4. Suppose 26*y + 12 = 22*y. Let j be (y/(-2) - 2)*9/(-6). Which is smaller: s or j?
s
Suppose 0 = 13*z - 315 + 29. Suppose -4*w = r + 19, -3 = 4*r - 3*w - z. Is 18/47 at least as big as r?
False
Let h be (55/(-11)*(-7 + 5))/(2*9). Does 125 = h?
False
Let y(j) = j**2 - 10*j - 7. Let a be y(11). Suppose 0 = -2*g + 2*i + 2*i + 8, a*g = -3*i - 6. Suppose g = 3*w - 5*w. Which is smaller: 6/13 or w?
w
Let p = 47.7 + -45. Let u = p + -2.66. Let r = 0.96 + u. Is -0.03 less than or equal to r?
True
Let q = -0.13343 + -2.26657. Which is smaller: -437 or q?
-437
Let a be 89/(-13) + -5 + 12. Let i = 0 - -4. Let g(w) = -w**2 + 4*w. Let l be g(i). Which is greater: l or a?
a
Suppose 9*q + 5*z = 7*q + 33, 4*z = 20. Let o be (10/q)/((-50)/(-20) + -2). Which is bigger: o or -10?
o
Suppose -34 = -79*g + 45*g. Is g greater than or equal to -8/335?
True
Suppose 5*a + 73 + 327 = 0. Let h = 112 + a. Suppose j - h = -0*m + 4*m, 52 = 2*j - 4*m. Is 18 not equal to j?
True
Suppose 0 = -4*m + 3*l - 6*l - 16, 0 = m + l + 5. Let p be 6 - (m - (-32)/4). Which is greater: p or 5/17?
5/17
Let j be (-4)/2 + (-61)/(-4)*4. Suppose 50*m - 378 = j*m. I