p or 0.1?
0.1
Let t be (-126)/9*8/(-28). Suppose t*a - 3*u + 2*u = 3, 0 = a + 3*u - 4. Which is greater: -12/59 or a?
a
Let g(y) = -y**3 + 5*y**2 + 5*y + 6. Let d be g(6). Suppose 3*r + 4*t - 34 + 7 = d, 8 = r + t. Suppose -34 = 4*v - 30. Which is greater: v or r?
r
Let k(i) = 2*i**2 + 3*i + 3. Let a be k(-1). Suppose 345 = 5*q - 2*m, a*m - 152 = -6*q + 4*q. Which is bigger: 73 or q?
73
Let x = -205 + 226.8. Let l = x - 23. Let g = 2.2 + l. Is 18 greater than g?
True
Suppose 17*m = 2*m - 23*m + 38. Which is bigger: 27/34 or m?
m
Let d = -0.87735 - 0.12265. Let v = -637/50 + -1/100. Which is bigger: v or d?
d
Let b be -4 + (-258)/(-63) + 69/(-63). Is 1/2397 less than b?
False
Let u = 412 + 144. Suppose -557*t = -u*t + 85. Which is smaller: t or -84?
t
Let p be 3/(-2)*388*80/15490 - -3. Which is smaller: -1 or p?
-1
Let g = 2836 - 2939. Let i(k) = -k**2 + k - 258. Let z be i(0). Let j = -361 - z. Is g greater than j?
False
Let b be (((3594/36)/(-1))/((-6)/18))/(224/(-448)). Let s be (1198/6)/((-1)/3). Are b and s nonequal?
False
Let a = -180.006 + 0.006. Let y = a + 180.2. Is y > 24?
False
Let k(h) = -254*h**2 - 49*h + 73. Let l be k(2). Which is greater: l or -1039?
-1039
Suppose -3*w - 2*q + 57 = 0, 4*q - 607 = -583. Are w and 21 non-equal?
True
Suppose 2*w + 650 = -2*h + h, 2*h - 1607 = 5*w. Let v be ((-8)/6)/4*(373 - 374)*-966. Do v and w have the same value?
False
Let x = -6.22 + 10. Let v = x + -3.76. Which is bigger: v or -24?
v
Let u be ((-4)/(48/(-9)))/((-624)/256 + 0). Which is greater: u or 26/9?
26/9
Let v = 1333 - 1333. Is v at least as big as -1316?
True
Let g = 23.3518 - 0.2518. Do -3 and g have the same value?
False
Let a = -454.86 + -7.14. Which is smaller: a or -2?
a
Let s = 48 + 37. Let b = s - 109. Let z be 42/(-2) + -7 + 5. Is z > b?
True
Let m = -0.9481 + 79.9481. Is m not equal to -0.036?
True
Let l = -475 - -474. Let x = 64 + -67. Does x = l?
False
Let a(y) = 2*y**2 - 20*y + 2. Let l be a(10). Let w be 258*((-7)/(-3) - l). Which is bigger: w or 87?
87
Let b be (-1)/(-12498)*(-2)/2*(-9)/6. Which is smaller: b or 1?
b
Let l be 1*2*(6 + (-88)/16). Let j be -256 + 257 - 7*l*3. Which is smaller: -16 or j?
j
Suppose 120 + 4 = 2*s. Suppose 0 = 2*a - t - 139, 52*t + 77 = a + 51*t. Are a and s equal?
True
Let d = -11640 + 11978. Which is smaller: 332 or d?
332
Let o(n) = -2*n**2 + n + 4. Let c be o(2). Let y be 6/c + 6/24*0. Let q be 33/6 + y - 3. Which is greater: q or 32?
32
Let s be (4959/(-18))/((-2)/4). Let l = s - 256. Let w = -6495/22 + l. Which is smaller: w or 1?
w
Let d be -8 + (1672/12)/19. Is 1160/11 at least d?
True
Suppose -x = 4*l - 863, 5*l = -25*x + 23*x + 1738. Is 880 bigger than x?
True
Let q = -36/1385 - 1241/5540. Suppose 3*m - 3*l = -27, 0*m + 5*m + 33 = -l. Is m > q?
False
Suppose 4*m - 24 = -4*p + 8, -2*p + 2*m + 20 = 0. Is p != 155?
True
Let q(c) = -3*c**2 + 18*c - 64. Let i be q(6). Let a be ((-9)/16)/(-30*(-8)/i). Let x be 0/(-1 + (-3 - -3)). Is x less than a?
True
Suppose -7*b + b + 24 = 0. Suppose 0*w + 4*w = i + 46, -214 = 5*i - b*w. Is -39 at least as big as i?
True
Let r be 5 + -62*2/24. Let q = 728 + -728. Which is smaller: r or q?
r
Let o = -245.9 - -245.7. Which is greater: o or 5516?
5516
Suppose -24 = 3*b - n, 3 + 3 = -2*b + 4*n. Let t be ((-7 - b)*(1 + 0))/(-8). Let x be 23 - ((-6)/4)/((-27)/(-72)). Do t and x have the same value?
False
Suppose g = 2*j - 6, g - 12 = -3*j + 4*g. Suppose 5*w = -2*b, 0 = -3*b + j*w - 5*w. Suppose 3*y - q = -18, b = -4*y - q + 3*q - 22. Which is bigger: y or -11?
y
Let d be -37 + 14520/390 + 2242/(-26). Is -1897/22 > d?
False
Let m be 4/1 - (0 + 0). Let w be 3 + (-2)/(-7) + 160/420. Which is smaller: m or w?
w
Let x be -5 + 685/135 - (-20)/405*3. Is x < 134?
True
Let p(d) = -437*d**2 + 17*d - 18. Let w be p(1). Let q be (-8)/(-112)*7 + 215/w. Suppose 0*y = -4*y. Is y less than q?
True
Let b = 10687 - 10685.831. Is -0.05 less than or equal to b?
True
Let r be 178/5 - (-10)/25. Let t = r + -76. Suppose -22*u + 480 = -39*u + 5*u. Is t less than u?
False
Let j = -70844 + 48766. Is j smaller than -22079?
False
Let w be (627/(-1045))/(1/1230). Is -742 equal to w?
False
Suppose 11*u - 2*u - 36 = 0. Suppose -1162 = -4*d - a, -u*d + 2*a - 7*a = -1170. Let w = 184 - d. Is w <= -106?
True
Let h = 1710 + -1112. Let c = h - 603. Which is greater: -66/17 or c?
-66/17
Suppose -29*o + 5*k - 15 = -31*o, -45 = -5*o - 5*k. Is o less than or equal to 518?
True
Let b = 2.525 + -0.015. Let v = b + 4.49. Is v equal to -0.1?
False
Let z = 10984 - 10984.119. Which is bigger: z or -6.9?
z
Let a = 2305 + -2278. Which is greater: a or -2/21?
a
Let v be (-62)/240 - 1/(-4). Let h be (5 + 1)/(-2)*-4*(-1)/(-12). Is v at most h?
True
Let m = -4469/19177 + 34/151. Let p(b) = -b**2 - 2*b + 1. Let s be p(-2). Which is greater: s or m?
s
Let c(p) = -206*p**2 - 3*p + 3. Let k be -2 + 23/6 + 55/(-66). Let h be c(k). Is -206 at most as big as h?
True
Let s = -15 - -9. Let d be (30/25)/((3/(-5))/3). Is s greater than d?
False
Let i be 23/(-69) + 1/3. Suppose 5*k = -n + 144, i*k = 4*k - 12. Do 129 and n have the same value?
True
Suppose 3*k = 7*k + 20. Let q = 69 + -67. Suppose 4*s + 8 = 0, 2*n + 2*s + 16 = -q. Which is smaller: n or k?
n
Let h be (64 - 51) + 1*-13. Suppose 0 = -6*k + k - 30. Let n be k/45 + (-121)/(-120). Do n and h have different values?
True
Let v(a) be the second derivative of a**4/12 + a**3/2 - 6*a**2 + 10*a. Let g be v(-4). Let z = 4 - 6. Is z at most as big as g?
False
Let s(f) = -12*f**2 - 20*f + 117. Let i be s(9). Let m be (-4)/3 + -155*9/i. Let z = -6 + 5. Which is greater: m or z?
m
Let x = 1816.94 + -1817. Which is smaller: x or -2/7?
-2/7
Let r = 4/5489 - -565207/219560. Let b = -6001/280 + r. Is -18 < b?
False
Let y be 5 - -2 - (18 - 15). Suppose 3*n + 10787 = 4*t, t - 2705 = -0*t - 2*n. Let q = -21557/8 + t. Is y less than q?
True
Let j be 2 - (12/4 + 0). Let x be 1*-5 - 42/12*-2. Let m = j + x. Is -5/27 smaller than m?
True
Let a be 0 + -3*((-60)/18 - -4). Let r = 7229/7 - 1028. Which is bigger: a or r?
r
Let q(a) = a**3 - 84*a**2 + 2*a - 403. Let j be q(84). Which is smaller: j or -255?
-255
Let c = -24.968 + -0.032. Let a = -15.6 + -1.4. Let w = c - a. Which is smaller: w or 2?
w
Suppose -q - w = 2*q - 51, w = -q + 17. Let t = 26 - q. Suppose -3*p + 4*p + 2*y = 0, 4*p + 5*y = -t. Which is smaller: p or -7?
-7
Let g = -9458535/179 - -52841. Suppose 2*o + 3*o = 0. Is o equal to g?
False
Suppose -4*x + 4 = -4*t, 4*x - 2 = -t + 12. Suppose -3*l = 9, 4*c - x*l + 13 + 50 = 0. Is -17 equal to c?
False
Let u be -15*(3 - 20/12). Let x be (-18)/(-12) + u/32. Let r(c) = 2*c**3 - c. Let n be r(1). Which is bigger: n or x?
n
Let q(z) = -z**3 - 4*z**2 - 4*z - 1. Let t be q(-3). Suppose 13 + t = -m. Suppose -3219*j - 24619 = 1458*j - 296 + 27124. Which is greater: j or m?
j
Let q = -25.2 + 152.2. Let t = -127.36 + q. Let r = -0.06 - t. Which is smaller: r or 15?
r
Suppose d - 691 = 5*n + 583, 4*n - 5*d = -1036. Which is bigger: -5 or n?
-5
Let l(x) = x + 6. Let o be l(-6). Suppose 239 = 4*p + z, 3*z - 6*z + 9 = o. Let c = -809.7 - -809.7. Does c = p?
False
Let n = 4577 + -4860. Is n at least -286?
True
Let z = 2589 + -18128/7. Let w = -0.5 - 0.5. Are w and z equal?
False
Suppose -511*w + 514*w + 3 = 0. Let y be (w/12)/(36/8964). Is y at least as big as 1/3?
False
Let q = 1897627/636 + -35815/12. Is -2 >= q?
False
Let o = -8 + 8. Let n(g) = g**3 + 9*g**2 + 14*g + 6. Let p be n(-6). Let c be (-288)/(-1490) - ((-12)/p)/(-2). Are c and o non-equal?
True
Let i = 7974 + -8219. Is -1224/5 > i?
True
Let y = -1.9 - -2. Let i be 542/(-6) + 2/6. Let w be (-1)/(21*(-3)/i). Which is smaller: y or w?
w
Let t = -64 - -38. Let y = -661 - -655. Is t at least as big as y?
False
Let b = -37177 - -37176.88. Is b greater than 2/31?
False
Let n be 4*(-30)/(-24) - -17*3. Let v = 0 - 21. Let b be (v + -1)*20/(-8). Do n and b have the same value?
False
Let k be 24*1*4/(-40) - (11 + -13). Which is smaller: -22 or k?
-22
Let l(d) = -d - 4. Let f be l(-2). Let v = 174 + -178. Let s be v - f/((-6)/(-9)). Which is bigger: s or -1/21?
-1/21
Let u be (-11)/((-352)/300) + -6. Suppose -5*h + 146 = 126. Does u = h?
False
Let q = -3970 - -3966. Which is smaller: -10/11 or q?
q
Let b = -4620 + 4619.92. Is b >= 39/17