o?
False
Suppose -f = g + 2464, 5*f + 6779 + 5553 = -g. Is f < -2467?
False
Let z = -12/13 + 59/78. Let n = -3871 - -3871.22. Which is bigger: n or z?
n
Suppose 3*y + 5*q - 464 = 0, 2*y + 0*y - 309 = -3*q. Is y not equal to 157?
True
Suppose 0 = 12*c - 812 - 484. Suppose 98*o = c*o - 10. Which is bigger: o or 2/183?
o
Let f = -580.937 - -0.937. Let o = 579.94 + f. Which is greater: o or -4?
o
Let v = 0.1132 - -0.5868. Let x = -19.09 - -19. Is x greater than v?
False
Let n(u) = -17*u + 106. Let m be n(6). Suppose 0 = m*f + 5*d - 62, -f + d + 19 - 8 = 0. Suppose 0 = -3*b - 4 - 2. Which is bigger: b or f?
f
Let l be ((-13)/2 + 6)*-18. Suppose 5*a + 3*p = l, 2*a + 2*p = -p. Let q = 34 - 18. Which is smaller: a or q?
a
Suppose 0*z + 2*z = 66. Let h be ((-22)/z)/((-133)/(-3)). Let a be (5 + -8 - -4)*0. Which is smaller: h or a?
h
Let u = -8209/3652 - 2/913. Let q(j) = j - 8. Let p(x) = 7*x - 2. Let f be p(1). Let l be q(f). Is l at most u?
True
Let k be (-2 - -2) + 7 + -7 + 1834/10. Which is bigger: 0 or k?
k
Suppose 0 = 2180*p - 2197*p - 17. Which is greater: 86 or p?
86
Let v be (-972)/30 + (-2)/(-5). Let i = v - 13. Suppose -2*f - 3*m + 0*m = 86, m - 186 = 4*f. Is f at most as big as i?
True
Suppose -4*a + 112 = 24*a. Let h(k) = 14*k**2 - 4*k + 35. Let j(r) = 5*r**2 - r + 12. Let i(m) = 4*h(m) - 11*j(m). Let d be i(a). Which is bigger: 8 or d?
8
Let z(s) = -13 + 2*s**3 - 12 + 22 + 4*s. Let b be z(1). Let o be (-12*((-2)/(-4) - b))/1. Is o greater than 30?
False
Let l(v) = 9*v + 124. Let k be l(-14). Let r be k*3/(-8)*(-12)/87. Is -1 at most as big as r?
True
Let n be (-10 - -124)*(-7)/14. Let s be ((-84)/9)/((-1)/6). Let u = n + s. Is -2 at least u?
False
Suppose 2*r + 1205 = 4*a - 2773, 989 = a + 5*r. Suppose -15*t - a = -t. Let b = -73 - t. Is b at least as big as -12/11?
False
Let z be (404280/(-35))/4 + 12/42. Do -2886 and z have the same value?
False
Let p be (72/(-90))/((-4)/(-70) + 0). Let c be 5/(-3)*600/(-250). Is c at most p?
False
Let y be (174/36 - 5)/((-20)/(-17080)). Is -143 >= y?
False
Let l = -10 - -48/5. Let p = -44 + 59. Suppose -p*h = -14*h + 2. Is h greater than l?
False
Let o = -0.08956 - 289.91044. Is -6/5 equal to o?
False
Suppose 0 = -2*z + 5*v - 2*v + 21, 4*v + 26 = 2*z. Suppose z*o = -0*o + 5*o. Which is greater: 10/13 or o?
10/13
Let j(f) = f**2 + 267*f - 7199. Let s be j(25). Which is greater: 94 or s?
s
Let q = -16.837 - 0.923. Let n = q + 17.8. Which is smaller: n or -1?
-1
Let t be 12/14 + -1 + (-2240)/(-245). Let s be ((t - 10)*2)/(-13*1). Let f = -3 + 2. Which is greater: s or f?
s
Let w be (25 - 0) + 6/3. Let n = -103.3 + 103.3. Which is bigger: n or w?
w
Suppose -6*l + 4*l = -4*w + 2266, 4*l = -4*w + 2260. Are w and 564 unequal?
True
Let h(u) = 2*u**2 - 18*u + 21. Let c be h(8). Let a be (-297)/(-6) - c/10. Which is smaller: 46 or a?
46
Let a be (-3978)/11994 + (-3)/(-2)*(-2)/(-9). Is a equal to 0?
False
Let l = -27 - -12. Let s = -15.46 - l. Let r = 0.36 + s. Is r at most 27?
True
Let t be (-32)/(-10) - 1/5. Suppose 3*b = -t*q - 9, -4*b - 1 = q - 13. Suppose 9*l - 15 = -114. Which is smaller: l or q?
l
Let t(v) = -v**3 + 2*v**2 + 4*v - 1. Let f be t(3). Suppose l + 0*l + f = 0. Let z = 1 + l. Which is smaller: z or 2/13?
z
Let g = -193/1416 - -2/177. Let j be 1*9*2/6. Let u = -1 + j. Which is greater: g or u?
u
Suppose 917 - 253 = -4*o - t, 16 = -4*t. Let m = o + 165. Which is greater: m or -74?
m
Let w = 630 + -640. Let b be (w - 448/(-21))/(2/3). Which is smaller: 20 or b?
b
Suppose 80*l = 2*s + 78*l - 2216, -3*s - 4*l = -3289. Is s less than 1104?
True
Let r = -79 - -79. Suppose -242 = -g - 5*u, r = -2*g - 0*u - 3*u + 456. Suppose -3*c - 5*f = -g, -4*c + f = -227 - 69. Are 73 and c non-equal?
True
Let j(d) = d**3 + 8*d**2 + 6*d - 6. Let h be j(-5). Let y be h/6 - (-1)/(-2). Suppose y*p - 5 = p. Which is smaller: 4 or p?
p
Let h = -30243 + 30242. Which is greater: 2584 or h?
2584
Let i be ((-2)/(-3))/(5/15). Let g be i/1*(-44)/(-11). Let l be ((-7)/(-2))/7 + (-68)/(-8). Which is greater: l or g?
l
Let q(k) = -6*k**2 + 34*k - 686. Let a be q(26). Is a bigger than -3854?
False
Let z = 6/23 - 215/736. Suppose 3*x + 21*p - 24*p - 12 = 0, -x + 8*p = -39. Is z smaller than x?
False
Suppose 23*l - 12745 - 57497 = 0. Which is smaller: 6109/2 or l?
l
Suppose -6 = 2*n, f - 148 = -4*n - 126. Is 30 < f?
True
Let v(a) be the second derivative of a**3/2 - 83*a**2/2 + 59*a. Let n be v(28). Is -2/243 at least n?
False
Let r(v) = 6*v**2 - 4*v + 10. Let a be r(4). Suppose a = -5*b - 35. Let j(i) = -i**2 - 146*i + 2041. Let u be j(13). Is u at most as big as b?
True
Let y = 81 - 84. Let s = -3 + 7. Suppose 10*t = 5*t + s*t. Which is bigger: y or t?
t
Suppose -181162 = -11*o + 6*o + 2*t, -2*o - 3*t + 72499 = 0. Do 36236 and o have the same value?
True
Let x = -7941 - -33731. Is x > 25791?
False
Suppose 17 = 4*l - 3*d - 0, -2*l + d + 5 = 0. Which is greater: l or -9/544?
-9/544
Suppose -3*i + 3 + 33 = -2*r, -3*r = 2*i - 24. Let p be (0 + -15)*i/(-30). Let q = p + -19. Is q less than -11?
True
Let m = -19.948 - 0.052. Let a = m - 39. Let c = a - -16. Is 1 equal to c?
False
Let w = 1.82 + 14.18. Which is bigger: w or 0.054?
w
Let v(h) = 4*h - 14. Let s be v(4). Let p be 2/8*s - 8/(-16). Let q = 73/260 + -3/13. Is p <= q?
False
Let b = 0.15 + 0. Let g = 0.181 - 12.181. Let p = g - -14. Is b less than p?
True
Let y(u) = u**3 + 14*u**2 + 26*u + 1. Let h be y(-8). Suppose f = n - 41, -5*f - 10*n + 8*n = h. Is f not equal to -36?
True
Let f = -18743 + 20113. Which is bigger: 1373 or f?
1373
Suppose -4*a + 60 - 194 = -2*m, -4*m + 2*a = -244. Suppose 3*u = -11 + m. Let x be 4/7 + 171828/11137. Is x not equal to u?
False
Let b(r) = 158*r + 2*r**2 - 85*r - 78*r. Let h be b(6). Let f be ((-15)/35)/((-2)/h). Which is smaller: f or -2?
-2
Suppose 0 = d - 0*d + p - 2, d + 10 = 3*p. Let f be (d*26)/(-12 - -10). Let h be 14*1 - 0/(-2). Is h greater than or equal to f?
True
Let m = -301 - -567. Let p = 146 - m. Let g = p - -119. Which is smaller: 4/9 or g?
g
Let b be 1 + -245 + (3 - (6 + 2)). Is -250 bigger than b?
False
Let o be (-262)/(-8) + -1 - (-1)/4. Suppose -o = -4*j - 4*j. Let p be (((-24)/21)/4)/(j/6). Do p and -1 have different values?
True
Let j = -148 - -261. Suppose j*q = 115*q - 4. Which is greater: 17/7 or q?
17/7
Let j(r) = r**2 - 23*r + 4. Suppose 9*l - 7 + 61 = 0. Let v be j(l). Which is greater: 2/3 or v?
v
Let c = -63928 - -576470/9. Which is greater: c or -1/2?
c
Suppose 0 = -19*m + 16694 + 27785. Which is smaller: m or 2340?
2340
Let j be ((-4)/8)/((-1)/(-144)). Let f be (-48)/j - (-10)/(-6). Let g be 4 - (2 + (-57)/(-15)). Which is smaller: g or f?
g
Let u(q) = 4*q**2 - 105*q - 9. Let r be u(30). Let g be -3 + r/20 - (-5)/(-20). Does g = 20?
False
Let x(k) = -2*k**3 - 14*k**2 + 2*k + 16. Let l be x(-7). Let v be ((-8)/(-200)*65)/(l/10). Which is smaller: 240/17 or v?
v
Let m = 42 - 41.362. Let z = 0.902 + m. Is -2/7 <= z?
True
Let l(t) = 14*t - 242. Suppose 19*f = 355 - 32. Let h be l(f). Which is greater: -5 or h?
h
Let g = -242 - -134. Let k = g + 107.9. Which is smaller: -11 or k?
-11
Let d(g) = -g**3 + 15*g**2 - 8*g + 122. Let o be d(15). Which is bigger: -24 or o?
o
Suppose -h = 5*t + 2*h - 59, -t - 5*h + 25 = 0. Suppose 0 = 20*z - 27*z + 19 + 23. Suppose -z = t*p + 4. Which is smaller: p or 2/41?
p
Let g(d) = -42*d - 872. Let j be g(-46). Is 1061 greater than or equal to j?
True
Let f = -0.9 + 4.9. Let y = -1391/35 + 199/5. Is y less than or equal to f?
True
Let c = 29 - 28. Let h be (-4 + 24)*(-6)/(-84). Which is bigger: c or h?
h
Suppose -28*f = -5*o - 30*f + 2, 0 = -3*o + 2*f - 2. Which is smaller: -0.32 or o?
-0.32
Suppose -11*r - 51 = -14*r. Suppose -2*y = 2*i + 406, -r*y + 1030 = -5*i - 19*y. Which is smaller: i or -209?
-209
Suppose 0 = -4*b - 5*m - 8, -1 = 5*b - 0*m + 4*m. Suppose 119 - 495 = 47*k. Is k <= b?
True
Let c = -20792/7 - -615983/210. Do -38 and c have the same value?
False
Let o be (0 - 10)*4/(-5). Let g be o/4984*(2 + 0). Is -1 equal to g?
False
Let t be (-360)/1080*(9856/5 - 2). Which is smaller: t or -656?
t
Let t = -143 - -200. Suppose 2*s - 7*s - 75 = 4*w, -5*s - w = 75. Let g be s/(-35) - (3 - (-848)/(-14)). Which is smaller: g or t?
t
Let w be (-1)/(-10) + (-1311)/(-1150)*85. Suppose 3*k