 k bigger than -0.4?
True
Let p be 4*4/(32/(-2)). Let q be p*(3 + 4*-2). Suppose -5*f + q = -15. Is 22/7 >= f?
False
Let n = 2.1 - 2. Let v = -39.3 + 38. Let u = -12.3 - v. Which is greater: u or n?
n
Let b = -46 + 42. Let r be 3 + b - 3 - -5. Which is smaller: -3/23 or r?
-3/23
Let p be 20/30*(-1230)/(-4). Which is smaller: p or 207?
p
Let a be 28/(-8)*84/(-3). Suppose -5*r + a = -22. Are r and 24 nonequal?
False
Let f be (-2)/5*4450/22. Let z(h) = 6*h + 27. Let i be z(-18). Let t = i - f. Is t smaller than 1?
True
Let y be ((-32)/6)/(-2)*3. Suppose -y*m = -3*m. Let s = -33/7 + 29/7. Is m >= s?
True
Let l = 13 + -8. Let p = -61 - -63. Is l <= p?
False
Suppose -6*p + 84 = -2*p - 2*k, -p + 2*k + 21 = 0. Is 348/17 at most as big as p?
True
Let g = -2335 + 2319. Is g < -1/57?
True
Let x(w) = w**3 + 16*w**2 - 12*w + 8. Let v be x(-15). Let d = 648 - v. Let t = -697/3 + d. Is t greater than or equal to 2?
True
Let v = -42/19 + 19721/8930. Let g = v + 383/3290. Which is smaller: -1 or g?
-1
Let q = 1/2937 - -26405/82236. Which is greater: 0 or q?
q
Suppose 0 = 2*w - 3*c + 446, -c - 4*c - 446 = 2*w. Which is smaller: w or -224?
-224
Let g be (56/(-30))/(9/15). Let r be (4/(-10))/(1/5). Is r != g?
True
Let n(w) = -5*w + 110. Let g be n(37). Which is smaller: g or -77?
-77
Let l be (-2)/((-340)/169 + (-20 - -22)). Are 170 and l non-equal?
True
Let g = -135.4 - -22.4. Is -1 equal to g?
False
Let o = -1712 + 1711. Which is bigger: -5/766 or o?
-5/766
Let r = -2/839 + 3554/83061. Is r smaller than -1?
False
Let y = -7.87 - 0.13. Suppose 257 = -52*l - 3. Do l and y have the same value?
False
Suppose c + 8 = 2*s + 3*c, 28 = 2*s - 2*c. Suppose 0*y = 2*y - 18. Are y and s unequal?
False
Let z = -28.3 - -12.5. Let w = -16 - z. Are w and 1 equal?
False
Let t(o) = 2*o + 26. Suppose 33 = -g - 2*g. Let i be t(g). Let l be (-20 - -9) + i*1. Is l at most -7?
True
Let j = 0.39 - 30.39. Let z = j - 10. Let y = 61 + z. Which is bigger: 0.1 or y?
y
Let g(w) = 2 - 1 + 8*w + 10*w + 17*w**2 - w**3. Let y be g(18). Is y at least 3/20?
True
Let h be 22/44 + 22/8*2. Suppose 0 = 29*m - 26*m + h. Does -17/5 = m?
False
Let p = -5.6 - -6. Let g = p - -0.8. Let q = g + -2.2. Which is smaller: 0.1 or q?
q
Let j be (15/(-10))/(5 - 88/16). Does 11 = j?
False
Let g(f) = -14*f + 7. Let k be g(-2). Suppose -1 = 34*z - k*z. Which is smaller: z or -1/60?
-1/60
Let h = 21 + -14. Suppose 0 = w + l + h, -l = 3*l + 4. Is -6 smaller than w?
False
Let i = -955 + 1027. Is i at most 1?
False
Let u be 88/(-187)*11/(-10). Let h = u + -2/17. Which is smaller: 0.8 or h?
h
Let q = 35.1 + 3.9. Let m = 38.9 - q. Which is greater: m or 22?
22
Suppose 4*o = n - 35, -5*n - 4*o = -127 - 72. Let w = -48 + n. Is w bigger than -15?
True
Let p = -255 + 254. Let i = 0.14 - 0.1. Let k = i + -0.44. Is p less than k?
True
Let v = 19 - 18.74. Let a = v - -10.74. Let g = -15 + a. Is g <= 1/3?
True
Let y be (-5)/10*(-13 + 17). Is -9 greater than y?
False
Let f = -127 + 128. Let i = 37 + 17. Let z be 20/35 - i/91. Which is greater: f or z?
f
Let g = -0.63 + 0.48. Which is greater: -1 or g?
g
Let n(u) = u**3 - 36*u**2 + 14*u + 39. Let h be n(35). Which is greater: -695 or h?
-695
Let t = -216.5 - -216.4. Which is smaller: t or 95/18?
t
Suppose 6*a + 10 = 34. Suppose -3*h - p = -4, a*p - 4 + 22 = 5*h. Are h and 2 equal?
True
Let k be 290/261 - (-164)/(-18). Is -13/2 > k?
True
Let k = -81.96 - -81. Let l = 0.76 + k. Which is smaller: l or -2.7?
-2.7
Let l(w) = -4*w**2 + 5*w + 51. Let z be l(-3). Which is smaller: 6/443 or z?
z
Let f = -1 + 5. Let l be (f/(-2))/((-55)/(-5)). Which is smaller: 0 or l?
l
Let j(h) = -12*h - 73. Let t be j(-6). Which is bigger: t or -178?
t
Let b = -4703/9 + 525. Let u = b + -145/63. Let q = 15 - 18. Which is smaller: u or q?
q
Let m be 1/((10/100)/(3/45)). Suppose -2*b = 2*b. Let f be 1/(b - (-2)/4). Which is greater: f or m?
f
Let k be ((-16)/42620)/((-4)/(-10)). Which is smaller: 0 or k?
k
Suppose 4*a - 118 = 42. Let y = 30 - a. Suppose 50 = -2*b - 3*b. Are y and b equal?
True
Let u = 12.02 - 13.02. Is u greater than 43.9?
False
Let g(v) = v - 6. Let w be g(7). Let k be -4*(w + (-28)/16). Let c = -3 + 7. Are k and c unequal?
True
Suppose -41 = -5*w + 64. Let s = -10 + w. Suppose a + 4*a - s = -b, -9 = -3*b - 3*a. Which is smaller: b or -3/8?
-3/8
Let f = 1.1 + -1. Let l = f + 0. Let y = 843.9 + -844. Which is smaller: l or y?
y
Let z(x) = 3*x**2 + 14*x + 5. Let g be z(-7). Suppose -5*t + g = -2*t. Suppose 0*v + h + 26 = -3*v, -4*v = -2*h + t. Which is smaller: 1 or v?
v
Let r(a) = 683*a + 1. Let m be r(2). Let j = m - 13633/10. Let o = j - 199/70. Is o less than 1?
True
Let n = -2241/7 - -321. Let k be (-3)/12 + (-502)/8. Let u = -61 - k. Do u and n have the same value?
False
Let x = 39 + -19. Suppose 0 = -5*r - 0*r + x, 5*u - 44 = 4*r. Is u not equal to 14?
True
Let c(w) = -8*w + 254. Let h be c(17). Is h greater than -3?
True
Let g(h) = -4*h**2 - 2*h + 2. Let f(c) = 3*c**2 + c - 3. Let y(u) = -3*f(u) - 2*g(u). Let p be y(3). Let s = 1354/7 + -193. Is s > p?
True
Suppose -r = -3*r. Let j be (-1 - 3759/(-3060)) + 3/(-4). Let g = -4/51 + j. Is r less than g?
False
Let i be (-2)/12 + 7531/(-102). Which is smaller: -73 or i?
i
Let y(h) = -6*h + 4. Let p be y(1). Which is smaller: -13/17 or p?
p
Let j = 0.071 + 1.799. Which is smaller: 1/3 or j?
1/3
Let y = 8 - 10.05. Let l = 2.2 + y. Which is bigger: 1/2 or l?
1/2
Let b(g) = g**2 - 10*g + 7. Let p be b(9). Let y be (0 + 1)*(p - -2). Is -2/33 <= y?
True
Suppose -92*d = -87*d - 165. Let x be (4/12)/(d/18). Suppose 3*s = -0*s + 5*g, s - 4*g = 0. Which is bigger: x or s?
x
Let q = -18847/5 + 3880. Let z = -110 + q. Is 1 less than or equal to z?
False
Let h = 12 - 17. Let i be (-3)/h + (-55)/300. Let k = i + -3/20. Which is greater: k or 0?
k
Let x(c) be the first derivative of c**2/2 - 7*c + 4. Let m be x(-8). Let z = m + 11. Is -3 greater than or equal to z?
True
Let y = 354 + -353. Are -1/97 and y unequal?
True
Let o = -31.025 - -0.025. Let m = o + 69. Let t = 40 - m. Is t not equal to -0.08?
True
Let v be -17 - 3830/(-228) - (-2)/6. Are v and 0 unequal?
True
Suppose 0 = 6*s - 278 + 32. Let l = s + -775/19. Is l >= 0?
True
Suppose -10*c = -8*c + 6. Is c at least as big as -17/8?
False
Let k be 23653/(-2616) + 9 + 0. Which is greater: 0.34 or k?
0.34
Let j be (-26)/(-8) + 4/(-16). Suppose 4*s + j*k = 22, 7 = 3*s - k - 3. Let y(m) = -m**2 + 6*m - 3. Let v be y(4). Are v and s unequal?
True
Let i be (16/(-20))/(2/50)*2. Let p be (i/(-12) + (-1)/3)*-1. Which is greater: p or -5?
p
Suppose 153*r - 150*r = -456. Which is greater: r or -151?
-151
Let l(r) = r**2 + 32*r - 220. Let p be l(-38). Which is bigger: p or 12?
12
Suppose y - 14 = -9, n = -4*y + 54. Which is smaller: 98/3 or n?
98/3
Let l = -0.9 - 0.1. Let z = 105 + -117. Let b be 4/8 + 14/z. Which is greater: b or l?
b
Let t = -83 - -87. Let l be (3 - t)*(5 - -32). Is -36 less than or equal to l?
False
Let t(q) = q**3 + 7*q**2 - 8*q - 1. Let a be t(-8). Does a = 2/897?
False
Let j be (-15)/21 + (-2)/7. Let z = -81 + 89. Let t be (-4)/z*(4 - 0). Which is greater: j or t?
j
Let m(y) = 2 - 4 - 3 + 3 - 7*y. Let d be m(-1). Suppose -4*l = 9 - d. Which is smaller: l or -3/16?
l
Let o be (-1251)/556 - 1/(-4). Is -136 at least as big as o?
False
Let x(v) = -2*v**2 - 75. Let c be x(0). Which is smaller: c or 1?
c
Let r be 30/(-44)*-2 - 2. Suppose -7*a = 23*a + 30. Is a at least r?
False
Let u be -5 - (-9 + 93) - -3. Do u and -89 have different values?
True
Let x = 212/5 - 42. Let f be (-18)/8*(-80)/30. Let g be (-28)/(-21)*f/(-52). Which is smaller: g or x?
g
Let h be (-3)/(-1) - (-4 + 6 + -3). Suppose -2 + 6 = h*u. Suppose 0 = -i + l + 2, l = 4*i + 3*l - 14. Is u at least i?
False
Let v(i) be the first derivative of -i**3/3 + 3*i**2 - 6*i - 2. Let m be v(5). Let o = -200 + 198. Is o bigger than m?
False
Let x be 6*2/(-96) - 350/16. Is x <= -6?
True
Let a be (0 - -1)/((-1)/(-555)). Let h be -3 + a/(-558)*-3. Let j be (1 + 0)/(-7 + 8). Which is bigger: j or h?
j
Let m(j) = 5*j**2 + 175. Let n be m(-16). Are n and 1455 unequal?
False
Let o = -308 + 307. Which is smaller: -0.4 or o?
o
Let k = -115.2 - -120.61. Let c = k - 5.3. Which is greater: 2/3 or c?
2/3
Let h(j) = 3*j - 3. Let v be h(4). Let x be