 greater: d or z?
z
Let l(h) = 7*h + 21. Suppose 0 = -2*d + 2*u, -4*d + 1 = -2*d - u. Let v be l(d). Suppose -5*r - 5*t = -2*r - 56, -5*t - 52 = -r. Which is greater: r or v?
v
Let c = -11312 - -11367. Let h(r) = r**2 + 7. Let w be h(7). Is c bigger than w?
False
Let c = -329 - -297. Let l be c/352 - 548/22. Let q = 2 - 28. Which is smaller: q or l?
q
Let u be 135/12*(-8)/3. Suppose r - 1 = -20. Is u bigger than r?
False
Let g = 137.9 - 238.3. Is g != -0.04?
True
Let f(s) = -3 - 12 + 8*s**2 + s**3 - 19*s + 24. Let y be -10 + (-2 - (1 - 3)). Let j be f(y). Is j at least -74?
True
Let n = 6508 - -6199. Which is smaller: n or 12708?
n
Let n = 4772 + -3495. Is 1277 <= n?
True
Let z = 31880 - 31881. Is 306/95 >= z?
True
Let a(o) = -o**2 + 27*o - 48. Let i be a(25). Let c be 105/(-6)*i - -5. Suppose 28 = -v + g, -2*v - 66 = 6*g - 3*g. Is v >= c?
True
Let y = 97/3 + -33. Let v(r) = r**3 + 34*r**2 + 12*r + 442. Let q be v(-34). Which is greater: y or q?
q
Let r = 1035 - 1035. Suppose 3*j - 6*j - 6 = 0. Let y be (6/(-69)*-3)/j. Are r and y unequal?
True
Let o(b) = -3*b**2 - 35*b + 17. Let p be o(-12). Let a be ((-1)/(-5))/((-1)/(-15)). Suppose -a*s = l - 17, -2*l - l + 19 = s. Is p at most l?
True
Suppose -45 = -34*g + 25*g. Suppose s + 3 = 2*f, 5 + 2 = g*f - 2*s. Is 1 smaller than f?
False
Let l = 1654 + -1087. Let k = -566 + l. Which is smaller: k or 0.0225?
0.0225
Let y(k) = -11*k - 5*k**3 + 3*k**3 - 3 + 5*k - 13*k**2 - 3*k. Let l be y(-7). Suppose 14*t + l = -45. Do -10 and t have the same value?
False
Let a = 4817/15 + -321. Let d = -3 - -3.2. Let n = 1.2 - d. Is a greater than or equal to n?
False
Let q = 2538 - 2659.98. Let u = q + 122. Which is greater: 24 or u?
24
Suppose -3*g - 2 = -4*z, 4*g - 10 - 2 = -2*z. Let m be (g/9)/(6/54). Suppose 2*o = -m*o. Which is bigger: o or 2/27?
2/27
Let p = 0.95 + -0.8. Let m = -0.358 + 0.147. Let h = p + m. Which is smaller: 1 or h?
h
Let o(z) = z + 2. Let u be o(-2). Let h be -12*(-10)/(-15) - -2. Let a be (-2)/(-140)*18 - h/(-21). Do u and a have the same value?
False
Let y be (-4)/6*(981/(-6) - 0). Let g = y + -768/7. Do g and -1 have the same value?
False
Let o be (2 - 2)/(2 - 4). Let w = o - 39. Let f = 40 + w. Is 2/61 >= f?
False
Let b = 123 + -173. Let g = -50.11 - b. Let i = 3.89 - g. Which is bigger: 2/9 or i?
i
Let s be ((-92)/6)/(((-180)/(-297))/10). Let x = 250 + s. Which is smaller: x or 11?
x
Let n = 118 + -84. Let j be (3 + (-552 - 1))/(-2). Let z = -240 + j. Is n > z?
False
Let z(j) = 2*j - 3. Let d be z(-4). Let i be -2*d*2/(-4). Let k be 457/(-8683) + (-2041)/209. Which is smaller: k or i?
i
Suppose 7 = 4*a + 5*o, 3*o + 1 = -2*a + 4. Suppose 5*i = -2*b + 25, a*b = -b - 3*i + 15. Let c be 288/(-312)*27/36. Is c at least b?
False
Let a(h) = 114*h + 13. Let z be a(-2). Suppose -25 = 5*o, -86 = -2*b + 4*b - 2*o. Let g be z/(-413) + b/84. Which is greater: g or 1?
1
Let j = 30 + -15. Let s = -22624/3 + 7541. Which is smaller: s or j?
s
Let h = 3.955 + 0.045. Let q = h - 4.94. Which is greater: -1 or q?
q
Let g = 155.56 - 155.41. Let n = -2 - -2. Which is bigger: g or n?
g
Suppose -m - u = 900, 5*m - 3*u + u = -4500. Let o be m/110 - (1 - 13/11). Let p = -16 - -9. Is p bigger than o?
True
Let x be (3 + -5)*(-17)/(-1938). Is 2/15 at least x?
True
Let r be 13/182*-4 - (-15871)/7. Suppose -r = 13*b + 814. Is b at most as big as -237?
True
Let x be (0 - 1)*-2 + (206 - 209). Is x >= -2/1333?
False
Let j = 8662.9 - 8663. Which is bigger: j or 6800?
6800
Suppose 22*v = 25*v - 84. Let l be v/(-7) + 0 + -64. Let s = 27 - l. Is 94 less than or equal to s?
True
Let x be 39 + -7354 - (-7 + 29). Which is bigger: x or -7336?
-7336
Let o = -79.82 - -82.82. Is o equal to -2524?
False
Let k be 1/(-4) - 111/(-476). Suppose 4*s = -2*t + 10, 5*s - 2*t - 245 = -246. Is s at most as big as k?
False
Suppose -2911 = 6*d - 337. Is -427 bigger than d?
True
Let d(q) = -q**3 + 11*q**2 - 12*q - 8. Let o be d(9). Let k be 4 - ((-216)/(-4) - -5). Let c = o + k. Is c less than -8?
True
Let y = -30103 - -34305. Which is smaller: y or 4203?
y
Let j = -257 + 255.54. Let k = j - -0.76. Is 14 less than k?
False
Let v = -3916424/8469 + 4162/9. Which is smaller: 1 or v?
v
Let b = 0.001 + -0.591. Let v = -0.39 - b. Let u = -50 - -299/6. Is v at least u?
True
Let o(a) = 5*a**3 + 4 - a**2 + a - 4*a**3 + 0*a. Let k be o(3). Let m be 4/(-18) + (-20710)/(-855). Are m and k equal?
False
Let t = -1509 - -1356.9. Let m = -157 - t. Is 1/2 at least as big as m?
True
Let f = -122891 - -245815/2. Suppose -3*y + 153 = -0*y. Suppose 5*m - 34 - y = 0. Which is greater: m or f?
m
Suppose 3*f + 5*h = -1860, -3*f - 74*h + 75*h = 1824. Which is bigger: -612 or f?
f
Let s be 19 + -9 + 169680/(-16970). Is 0 at most as big as s?
True
Let f be 0 - (2 + 0 + -4). Let t(z) = f*z - 17*z**2 - 6 + 16*z**2 + 5. Let b be t(2). Which is greater: b or 2/5?
2/5
Let a = 30 - 35. Let c be ((-33)/a - 4) + 2/5. Suppose c*d + 115 = -2*d. Which is smaller: d or -22?
d
Suppose -2*l - 19078 = 19*k - 15*k, l = 4*k + 19087. Which is bigger: k or -4770?
-4770
Let f be (40/6)/((-3)/27). Let u(w) = 16*w + 355. Suppose -68 = 3*t + 3*v - v, 0 = 2*t + 4*v + 32. Let c be u(t). Is f less than c?
False
Suppose 3*n - 4*k - 5 - 11 = 0, 3*n = -3*k - 12. Let h be 2 + -5 - 1709/(-569). Is n less than or equal to h?
True
Let y be 1352/(-5) + 6/(-10). Let a = 10299/38 + y. Suppose -35*f - 10 = 25. Does a = f?
False
Suppose 1952*u + 25256 = 1963*u. Which is smaller: u or 0.2?
0.2
Let z = 0.6585 + 11.3915. Are 0.2 and z nonequal?
True
Let n be 72/8 + (-9 - (12 - 11)). Which is bigger: n or 5/816?
5/816
Let v(n) = 2*n**3 + 26*n**2 + 95*n - 32. Let l be v(-8). Is 1 bigger than l?
True
Let n = -91 - -204. Let d = -106 + n. Let t = d - 6.66. Is t less than 0.1?
False
Let a(y) = y**3 + 4*y**2 + 3*y + 2. Suppose 0*j = 4*j + 12. Let s be a(j). Suppose -1 = 4*w - t, 2*t + t = -s*w + 3. Is w bigger than 3/7?
False
Let d = -808 - -564. Let w be -1 - (14 + -8 - d). Is w not equal to -251?
False
Suppose -7*n + 100 + 56 = -26. Which is greater: n or 7?
n
Let d(c) = -6*c + 70. Let g be d(12). Let q be ((-44)/8)/((-1)/g). Is -11 not equal to q?
False
Let o be 13 + 1/(4 + (0 - 5)). Let g be (228/(-72))/(-19) + 646/o. Is 1/3 greater than or equal to g?
False
Let u = -2666 + 2666. Which is smaller: 6/899 or u?
u
Let f = -18 - -42. Suppose -2*m = -4*v + 106, 14*m - 87 = -5*v + 10*m. Which is bigger: f or v?
f
Let m = -52 - -51. Let j be (7*32/11256)/((-16)/(-12)). Is j equal to m?
False
Let u = -897/1204672 + -4/2689. Do u and -0.1 have the same value?
False
Let z(k) = k**2 + 4*k + 2. Let h be z(-5). Let b be (-27188)/112 + 1/(-4). Let j = b - -499/2. Which is smaller: j or h?
j
Let y = -3452/97 + 483852/1843. Suppose -59*v = -57*v - 454. Let i = v - y. Is 1 > i?
True
Let f = -37.2 + 6.7. Let c = -33.5 - f. Is -2/77 less than c?
False
Let x(a) = -a**3 - 9*a**2 + 36*a - 7. Let c be x(-15). Suppose -c = 4*b + 3*n, -3*n = 2*b + 188 + 221. Is b at most as big as -195?
True
Let b be 240/1044 + (-3)/9. Is b at most 0.5?
True
Let z = 62.77 - 60.3. Let n = -2.6 + z. Let f = 39/5 - 8. Is n less than or equal to f?
False
Let s be (-7 + 22 + -6)*10. Let m = -715/8 + s. Which is bigger: 0.01 or m?
m
Let x be (10/4)/((-4)/(-16)). Let k be (11 + -6)*2/x. Suppose 39*n - 10 = 49*n. Which is smaller: k or n?
n
Let q be 2 + 0 + -3*1. Let b = 72 - 62. Let l be (-10)/25*(-2)/b. Is q > l?
False
Suppose -3*b + 8 = -10. Suppose -76 - 176 = -b*h. Suppose -10*x + 48 + h = 0. Which is smaller: x or 8?
8
Suppose 62 = 2*o - 34. Let y = o + -51. Let n(a) = -a**3 - 2*a**2 + a - 4. Let w be n(y). Are -1 and w nonequal?
True
Let r = -146 - -145. Let v = 11626 - 220960/19. Let j = -65/57 - v. Is j >= r?
True
Let d(z) = 3*z**2 + 25*z - 7. Let x be d(-13). Which is greater: x or 179?
179
Let o be (10/2)/(0 - -1). Let b(i) = 7*i + 5. Let z = 218 + -218. Let y be b(z). Is y less than o?
False
Let h(b) = b**3 - 3*b**2 - 12*b + 12. Let k be h(5). Suppose 2*s + k*d + 28 = -d, 0 = -2*d + 8. Let p = 37 + -57. Is s > p?
False
Let p = 500 - 88. Suppose -3*l = -4*x + p, 4*l = -0*l - 5*x - 508. Is -129 < l?
False
Let o = -69 - -250. Let p = 177 - o. Is p at least -29?
True
Let d = 4575 - 4574. Which is bigger: d or -2/7233?
d
Let j be 1 - (11 - (7 - 10)).