greater: -226 or o?
o
Let r = 159.4 - -34.6. Let n = r - 217. Is 2 less than or equal to n?
False
Let i be ((-578)/(-102))/(25/930). Is i greater than or equal to 12?
True
Suppose -22*j = -21*j + 4. Let t be 189/468 + 1/j. Which is bigger: t or -10?
t
Let d = -49 + 49.1. Let j be (-6)/(-895)*(-1564)/(-51). Let h = 1/179 - j. Which is smaller: d or h?
h
Let t = -22291/202 + -15/101. Let k = t - -109. Which is smaller: -2 or k?
-2
Let n be 36/414 - 19000/23. Is -825 at least as big as n?
True
Let w = 211 + -210.789. Let m = w - 0.051. Let d = -0.84 - m. Which is smaller: -2 or d?
-2
Let j = -166.2934 + 0.1934. Let m = j + 159. Let i = m - -0.1. Is 1 < i?
False
Let h(b) = 7*b - 7. Let d be h(1). Suppose -21*o + 20*o + 4 = d. Let l be (-17)/1*(-5)/25. Is o less than l?
False
Let z = 54042/13 + -1801066/429. Which is smaller: z or -42?
-42
Let p be 135768/(2 + -8) + 0/(-20). Is -22628 bigger than p?
False
Let j(d) = 218*d**3 + 875*d**2 + 4*d + 6. Let h be j(-4). Suppose -2*p + 3*p - 37 = 0. Let i = p - h. Which is smaller: -2/9 or i?
i
Suppose 5*g + 2 = 3*z + 3*g, z + g = 4. Suppose -4*f + 18 = b, -z*b = -4*f - 0*f + 12. Suppose -18*a + 14*a + 5*u + 36 = 0, -4*a = -4*u - 32. Is f less than a?
False
Suppose j - 4*t = -0*t + 31, 14 = 2*j + 4*t. Let h be 1/j + (-5470)/(-75). Suppose -2*s + 92 = -56. Is s <= h?
False
Suppose 5*p + 10 = -10. Suppose 11*m + 98 - 1022 = 0. Suppose -15*j = -8*j + m. Which is smaller: p or j?
j
Let x(f) = -f**3 - 6*f**2 + 8*f + 9. Let k be x(-7). Let b be 87/k*(-20)/15. Do -58 and b have the same value?
True
Let o be -1*2 - 1/(-237)*471. Let t be (-2)/(-3)*(-36)/(-8). Let a = 2 - t. Do o and a have the same value?
False
Let a(r) = -205*r - 2317. Let l be a(-11). Suppose z = -j - 3 - 61, 2*j + 3*z + 128 = 0. Is j at most l?
True
Suppose 2*i - 7*i - 2 = 4*r, 2*i - 1 = -r. Suppose i*a = 2*w - 29 + 5, a - 63 = -4*w. Which is greater: 16 or w?
16
Let y = 49 - 44. Suppose 12 = y*j + j. Suppose -3*t = -2*x - 9, -j*t = 11*x - 16*x - 6. Is 2/9 bigger than x?
True
Suppose 4*n + 3*k = 2*k + 624, 0 = 4*k. Let x be (2/20)/(12/(n/(-91))). Is -1 less than x?
True
Suppose 4*t = 3*w - 5, -4*w + t - 1 = 1. Let v = 26607359/195 - 136448. Does v = w?
False
Let f = 61.03872 - 0.03872. Is -13 bigger than f?
False
Let n = -12 - -16. Let x = 9 - n. Let m be ((4/x)/2)/((-159)/15). Are m and 0 non-equal?
True
Let x = -129 + 127. Let c be x/10*(-2 - -1). Do c and -0.3 have different values?
True
Let k = 62 - 21. Let g = k + -35. Let d = 9 - g. Is 3 greater than d?
False
Let o(v) = -v**3 - 48*v**2 + 36*v + 1729. Let u be o(-48). Which is bigger: -1/3991 or u?
u
Suppose 6*c - 26 = -7*c. Let a(z) = 15*z**2 + 6*z - 10. Let q(w) = 14*w**2 + 5*w - 9. Let g(u) = 6*a(u) - 7*q(u). Let o be g(c). Which is greater: o or -25?
-25
Let a = -1622 + 1623. Which is smaller: a or -2/1409?
-2/1409
Let w = -0.32 + 0.29. Let l = 909 - 908.92. Which is greater: w or l?
l
Let g(d) = -d**3 - 5*d**2 + 3*d + 16. Suppose -4*w + 4*p - 41 + 21 = 0, 0 = -3*w + p - 15. Let o be g(w). Are -7/34 and o nonequal?
True
Let i be -14 - (-15)/((-52200)/(-39792)). Are i and -2 non-equal?
True
Let q be 16*(-74)/(3/(9/12)). Let r = q - -293. Is r > 3.8?
False
Let y = 4/49 + 136/49. Let h(r) = -3*r**2 - 40*r + 11. Let o be h(-13). Suppose -23*d + o*d = 2. Do d and y have different values?
True
Let d be (-576)/(-64)*(-24)/(-6). Which is bigger: d or 87?
87
Let o = 6473 - 7318. Are o and -844 equal?
False
Let m be 2 + 39/((-4680)/256). Let l be (-20)/(-13)*14/35. Which is smaller: m or l?
m
Let a = 5 - -15. Let r be ((-3260)/35)/(1*2/(-7)). Let d = r + -305. Do a and d have different values?
True
Let x = 0.32 + -0.94. Let p = x + 66.62. Let g = p + -66.1. Is 37 at most g?
False
Let i be 0 - (-33)/(-12) - (-7)/(-28). Let u be 1/((-10)/12)*-5. Let y be (-3 + u)/i + 1. Is y >= -1/8?
True
Let j(n) = -558*n**3 - 2*n**2 + 1. Let p be j(-1). Let m be -5*4*770/(-924)*6/20. Suppose -p + 12 = m*i. Is -109 != i?
False
Suppose -152*f = -22*f - 279500. Does f = 2150?
True
Suppose -5*l = 1369 - 379. Let i = l + 179. Which is smaller: i or -5?
i
Let a be (-79 - -592) + 3/(3/(-5)). Is 518 greater than a?
True
Let h be (-36)/30*16*(-120)/36. Which is greater: 10 or h?
h
Let q = -296 + 299. Suppose -3*g + 5*k + 23 = 0, -q*g + g + 4*k = -18. Let u be (-1)/(-5)*15/78. Which is smaller: u or g?
u
Let y be (573/21 - 11)/((-201)/(-102) + -2). Which is smaller: -554 or y?
-554
Let d be (-2 + 1)*4 - (15820/(-490) - -28). Let j = -3 - -2.76. Is d > j?
True
Let g = 48.25 + 0.75. Let f = 30 - g. Let i = -19.21 - f. Is -1 <= i?
True
Let h = -2653.3 + 2653. Is h smaller than 2/191?
True
Let n = 14014 - 14036. Let t(z) = 2*z + 6. Let x be t(-8). Which is bigger: n or x?
x
Let z be (17723/333 - 53) + 0 + (-241)/(-9). Suppose 4*v + 2*f = 2, 3*f = 2*v - 2 - 3. Let h(k) = 27*k**2 + k - 1. Let p be h(v). Is z bigger than p?
False
Let i(f) = 3*f - 81. Let o be i(-32). Let y = o - -530/3. Which is bigger: y or -4?
y
Suppose 0 = -18*t + 28*t + 5*o + 5, -4*o = 4*t + 12. Which is bigger: t or -34?
t
Let d = -27003/5 + 5397. Which is bigger: d or 46/3?
46/3
Let m = 9536259/7 - 1364933. Which is smaller: -2609 or m?
m
Let y be 72/(-7)*(-196)/(-42). Let a be ((0 + 3)/y)/((-145)/(-60)). Which is bigger: a or 0?
0
Suppose 12*u - u + 32593 = 0. Which is greater: u or -2962?
-2962
Suppose 68*n = 65*n + 1794. Suppose 3*x - x + n = 5*o, -361 = -3*o - x. Which is greater: 0.2 or o?
o
Let p be (-18)/12 + (-468445)/(-312294). Let o = -171085067/312294 + p. Let i = 549 + o. Is i > 1?
True
Let m = -5295 - -4186. Does -7760/7 = m?
False
Let z = 38 + -39.03. Let x = 33 - 32. Which is smaller: z or x?
z
Let a be ((-32)/(-336))/(((-4)/(-1))/((-996)/4)). Which is smaller: a or -7?
-7
Let j = -1447087079/1204163 - -22833/19. Which is smaller: j or -1?
-1
Let u be -11*7/21 + (-2 - -5). Let w = -113 + 94. Which is smaller: w or u?
w
Let h be (-10604)/154 + (7/2)/(2/(-4)). Which is smaller: -76 or h?
-76
Let r be (-8)/(-12) - 4/6. Suppose -k + 2*p + 115 = 0, 2*k + 603 = 7*k - 3*p. Let m be 155/k - (-12)/(-9). Are m and r non-equal?
True
Suppose 5*k + 27 = -23. Let v be 2/(-4)*2*k. Let s = -96246 - -96244. Is s > v?
False
Suppose -5*r = -x - 49, 2*x - r + 84 + 41 = 0. Let n = x - 9. Which is smaller: -72 or n?
n
Suppose i - 2*s + 3*s = -26, 2*s + 73 = -3*i. Let x be (49/i + 3)*(-492)/(-56). Which is smaller: x or 5?
5
Let z be 162/(-4)*(-2)/6*16. Let g = z - 295. Which is smaller: g or -78?
g
Suppose 100 = 4*a + 20. Suppose 6*n - 504 = a*n. Let f = 32 + -69. Is n bigger than f?
True
Let z be (-5)/(-30)*-14 - 8/(-6). Let b be (-1 - z) + 2/(-14). Suppose r = 3*r. Is b < r?
True
Let s be ((-6)/2 + 378)*(1540/60 + -12). Is 20497/4 equal to s?
False
Let l(q) = q - 12. Let b be l(28). Let c be ((-1479)/163 - -9)*(-2)/b. Is 1 > c?
True
Let a = -5.08 + 12.22. Let c = -85.86 + 85. Let g = a - c. Which is bigger: -1 or g?
g
Let i = 436 - 267. Is i bigger than 169?
False
Let a be 12 - (3 - -1 - -7). Let g = -1227 - -52758/43. Which is smaller: a or g?
g
Let r(n) = n**3 - n**2 + n - 3. Let d be r(2). Suppose -25 = h + 5*c, d*h - 3*c = -h + 15. Let k be (10/8 - 1)*12/111. Is h != k?
True
Let q(f) = f**2 + 8*f + 48. Let r be q(-7). Suppose -b + 2*n = -4*b + 28, 4*b - n - r = 0. Which is smaller: 6 or b?
6
Let p be (3/(-39)*1)/((-1)/30). Let n = p - 1436/611. Is 0 equal to n?
False
Let z = -0.1 + 0.1. Let p = -102 - -99.8. Let f = -2.1 - p. Which is greater: f or z?
f
Let b(j) = -j**2 + 4*j - 155. Let d be b(0). Let z = d - -47. Let w be 2/(-42)*3 + z/(-70). Which is smaller: 1 or w?
1
Let s = -121 - -117. Let a be 6*s/6 - -3. Which is bigger: -2/27 or a?
-2/27
Let p(i) = 3*i + 10. Let d(f) = f + 1. Let w(o) = -5*d(o) + p(o). Let a be w(5). Let y be 85/a - 20/5. Is -1 less than or equal to y?
False
Let g be (-11761)/(-38) - (6/(-15))/((-28)/105). Which is smaller: g or 13/5?
13/5
Let r(t) = 7*t**3 + t**2 - 2*t + 1. Let i be r(1). Let x = -54 + i. Which is smaller: x or -48?
-48
Let t(j) = j**2 + 2*j - 8. Let k be t(-3). Which is smaller: k or 113?
k
Let j = 8957 + -8957. Which is bigger: 2/47313 or j?
2/47313
Let p = 783 - 780. Let r(o) = o**2 - 14*o + 34. Let h be r(p). Let q(w) = -w**3 + 3*w - 1. Let z be q(2). Which is smaller: h or z?
z
Let m = 139 + -139.1. Let y