ig as 11/2?
False
Suppose d - 6 = -2*q, 0*d + 6 = -2*d + 5*q. Is 9/14 at least as big as d?
False
Let a(l) = -l**2 + 2*l + 27. Let i be a(-13). Are -167 and i unequal?
True
Let h = -11 - -44. Let j(s) = -s - s + 6*s + 5*s + 5. Let p be j(3). Which is bigger: p or h?
h
Let g = 32 - 187. Is g less than -155?
False
Let i = 1399450/527 + -5311/2. Which is smaller: -1 or i?
-1
Suppose 0 = -4*n + c + 575, 5*n - 2*c = 633 + 82. Is 146 >= n?
True
Let i(v) = v - 7. Let b be i(5). Which is smaller: b or 1/10?
b
Let a be (-252)/(-3 + -1)*1. Let b = a + -62. Is b smaller than 2/25?
False
Let f(h) = -h**2 + 13*h - 23. Suppose 0 = -2*d + p + 27, -d + 24 = 2*d + 4*p. Let z be f(d). Let g be z/44 + (-1)/(-4). Which is greater: 2/13 or g?
2/13
Let y = 1.3 + -0.3. Let w = -0.023 - -21.023. Let q = -21.1 + w. Is y smaller than q?
False
Let s = 54 - 647/12. Let y = 38.3 + -36.3. Is y less than or equal to s?
False
Suppose 4*l - 19 = -7. Suppose -5*s + j + 25 = 0, 3*s - l - 4 = -j. Is s at most as big as 13/4?
False
Let y(z) = z + 16. Let t be y(-8). Let u be t/(-7) + (-8)/(-4). Let q = -189 - -190. Is u less than or equal to q?
True
Let t = -1481/3 - -494. Which is bigger: 1.9 or t?
1.9
Let w = 3/7 - 1/7. Let y = -50 - -47.05. Let l = y - -3. Which is bigger: l or w?
w
Let i = -0.1405 + 0.1035. Which is bigger: -3/5 or i?
i
Let w(f) be the second derivative of -f**3/6 + 7*f**2 + 13*f. Let x be w(-6). Which is smaller: x or 21?
x
Let w = -84 - -51. Let a be (345/w)/5 - -1. Is a less than or equal to -1?
True
Let j = 128/603 - -2/201. Which is greater: j or 0.2?
j
Let j be 1 + (-11)/9 + 10/45. Suppose -4*l + g = -2*g - 8, 5*l - 2*g - 10 = 0. Suppose j = 2*b - 0 + l. Is b greater than 4/9?
False
Let p(w) = 31*w + 88. Let q be p(16). Is q < 584?
False
Let i = -8205 - -139541/17. Is i >= 2?
True
Let g(w) = 4*w**2 + 56*w - 28. Let i be g(-19). Which is smaller: i or 1?
1
Let q(t) = -2*t**3 + 2*t**2 + t + 2. Let c be q(2). Let u be ((161 + -5)/(-6))/(1*2). Let j = 7 + u. Is c less than or equal to j?
False
Let q = 55 - 57.7. Let j = 0.06 - 0.36. Let l = j + q. Which is smaller: l or -2?
l
Let b = 161/286 - 9/22. Let u = -14.2 + 14. Is b less than u?
False
Suppose -4*i = 2848 + 1256. Let y = i - -7208/7. Is 4 at most y?
False
Let y = -1/362 - -749/9050. Let w = -1465/9 - -163. Is y at least as big as w?
False
Let v be (-5)/((-5)/3) - -2. Let m(o) = 2*o - 5. Let j be m(v). Let q(k) = -k**2 + 2*k - 2. Let s be q(j). Which is smaller: s or -16?
s
Let y = 24 + -42. Let c = 17.8 + y. Do c and -1 have the same value?
False
Let d be (1 - 3) + (-4)/(-8)*0. Let m(h) = -h**2 - 5*h + 2. Let y be m(-5). Let a = y - d. Is 2 at least a?
False
Let o be (-1 - 604/(-24))/((-3)/3). Which is greater: o or -25?
o
Suppose 26*u - 31*u + 790 = 0. Which is greater: 159 or u?
159
Let t = 12.457 - -0.143. Let o = 2.5 + t. Let y = -15 + o. Which is smaller: y or -0.9?
-0.9
Let r be (-1 + 37)*(-13)/(-52). Which is greater: r or 10?
10
Let v = -111.49 - -112. Let m = 3.41 - v. Let t = 2.78 - m. Which is smaller: t or -0.1?
t
Suppose 5*v - 5*h = -60, -2*v = 2*v - 3*h + 43. Let k be (1 - (-13)/v)/(70/(-245)). Is k greater than 6?
False
Let y(f) = f**2 + 4*f - 7. Let n be y(-6). Suppose 3*u = n*u + 4. Let k be -2*u/(-24) - -1. Which is greater: k or 2?
2
Let h = -2 + 5. Suppose h*o = -3*t + 14 + 1, -o + 2*t - 10 = 0. Let r = 0 - o. Are r and 0 non-equal?
False
Let b = 517 + -521.42. Let x = -0.02 - b. Let d = 0.6 + x. Is d not equal to 4?
True
Suppose 4*q - 96 = -8*q. Suppose 0 = -2*p - 4 + 12. Suppose -x + 2*g - 6*g = -q, -p = -2*x + 4*g. Do x and 3 have the same value?
False
Let p = -456 + 668. Which is smaller: -1 or p?
-1
Let f = -449 + 303. Let r = -146 - f. Is r not equal to 18?
True
Suppose 5*s - 6*s + 2*p - 4 = 0, 0 = s - 4*p + 8. Let u = -4141/1225 + 84/25. Is u at most s?
True
Let f be (155/(-150) + 1)*56. Let g = -349/195 - f. Suppose 0*u - 2*u = -2. Is g smaller than u?
True
Let k be (-20)/70 - 96/7. Let f be (0 + 3 - 23)*21/28. Is f less than or equal to k?
True
Let o be 4/(-10) - (-622)/5. Let y be o/(-27) - -4 - (-2)/3. Is y != 0?
True
Let h be (-4)/(-10)*1514/3. Suppose -3*y + 2*f = 174 - 784, 5*y + 5*f = 1000. Let k = h - y. Which is greater: k or 0.1?
0.1
Let g = 25 + -27. Suppose -5*z = 3*o + 7, -o - 1 + 2 = 0. Are z and g unequal?
False
Let k(a) = a**2 + 16*a - 16. Let c be k(-17). Which is greater: c or 2/617?
c
Let g(u) = u**2 - 5*u - 3. Let b be g(6). Suppose 0*z = 5*f - z - 5, 0 = -4*z + 20. Suppose b = f*j + j. Which is greater: 0 or j?
j
Let f = 304 + -231. Which is greater: 72 or f?
f
Let g be 6/(-14) - 330/(-35). Let m be 11/g + (-6)/27. Is -4/21 at most m?
True
Suppose 2*v + 4*w = w + 17, v - 2*w + 2 = 0. Suppose -3*c - v = -r - 0, 0 = r + 2*c + 16. Let n = r + 9. Is -2/33 < n?
True
Suppose p + 2*m - 11 - 2 = 0, p - 12 = -3*m. Suppose 9 = 4*j - p. Let w be (-52)/12 - 2/j. Is w >= -5?
True
Let z = -4 + 4.05. Let t = z - -2.95. Let q = -3 + t. Is q equal to -11?
False
Let w be 39/9 + 1248/(-288). Let h = -1354445/7 + 194214. Let r = 723 - h. Which is bigger: w or r?
r
Let y(v) = -v - 7. Let x be y(-7). Let q(u) = -u**3 - u**2 + 1. Let b be q(x). Let f be (7/21)/(b/(-3)). Is -2/5 not equal to f?
True
Let v = -1.2 - -4.2. Let x = v + 16. Let n = x + -18. Is n >= -5/2?
True
Let q(j) = j**2 + 6*j + 14. Let l be q(-4). Suppose -2*x + 2*w - 170 = l*w, x + 3*w = -80. Let h be 18/(-70) + (-38)/x. Is 0 < h?
True
Let l = -91 + 87. Is l > -4?
False
Let b = -579 - -577. Let q be -2 + 0 - 49/(-24). Is b <= q?
True
Let l = 56 - 61. Let v be l/7 + 0*(-4)/20. Is v less than 0?
True
Let u be (6/(-69))/(1*2). Suppose -4*y + 40 = -2*y. Suppose -l + 3*j = 13 - 1, 5*j = y. Is l at least as big as u?
True
Let d be ((0 + 1)*-53)/(16 + -17). Let j = -89 - -142. Are d and j equal?
True
Let n = -34 - -37. Let z be (-2 + n)/(4/68). Let l = z + -29. Which is bigger: l or -10?
-10
Suppose -m - 3*y - 13 = -2*m, 0 = 2*m - y - 21. Let n(v) = 7*v - 34. Let d be n(6). Are m and d non-equal?
True
Let o = -13.99 + 69.39. Which is smaller: -1/2 or o?
-1/2
Let v be -18*((-15)/9)/5. Let u(d) = 17 + 2*d + 2*d - 7*d. Let n be u(v). Is -4 smaller than n?
True
Let r = 3 - 2.3. Let i = r + -1.9. Which is greater: i or 0?
0
Let j = 2362 - 2361. Which is greater: 1/3861 or j?
j
Let u = -0.307 + -0.083. Are u and 2/7 unequal?
True
Let q be (4 + -5)/(2/(-4)). Suppose 0 = -d + 3*p - 3, 5*p + 9 = q*d + 4*p. Let w be 6/24 - d/(-8). Do -1 and w have different values?
True
Let i(z) = -7*z**2 - 5*z + 3. Let h be i(2). Is -103/3 less than or equal to h?
False
Let r(y) = -45*y - 49*y + 92*y - y**3 + 18 + 12*y**2. Let w be r(12). Suppose -27 = 3*a + 3*p, 21 = -a - 0*a - 5*p. Are a and w unequal?
False
Suppose -2 = -f + 3*m, 3*m + 4 - 1 = 0. Which is smaller: -6.92 or f?
-6.92
Let r be 63/36 + (-385)/124. Which is bigger: r or -1?
-1
Let u = -946/51 + 15/17. Is -17 less than u?
False
Let g = 293 - 292. Are g and 69 unequal?
True
Suppose -2410 + 373 = 3*f. Is -679 at most as big as f?
True
Suppose -466 = -11*d - 4074. Do d and -328 have the same value?
True
Let m = 46 + -67. Let k = -205.1 - -184. Let a = m - k. Which is smaller: -6 or a?
-6
Let n = 80 - 54. Let y = -25.93 + n. Which is smaller: y or 2?
y
Let s = 65 - 101. Let u be (-40)/s*24*-3. Let x be (-3)/(-4)*u/(-28). Are x and 2 equal?
False
Suppose 0 = x - m - 17, 42 = 4*x - 5*m - 27. Is 30 greater than x?
True
Let c = 0 + -1. Let i = 1976 - 167958/85. Which is bigger: c or i?
i
Let q(b) = 3*b**2 - 23*b + 14. Let l be q(7). Is l at least as big as 16/11?
False
Let s = 26/11 + -93/44. Does s = 1.9?
False
Let m be ((-7)/(-5))/(36/(-30)) - -1. Which is bigger: m or -0.22?
m
Let j(x) = 47 + 10 + 5*x - 9*x - 19. Let u be j(16). Is u > -25?
False
Let g be -2 + 1 - 7/(28/88). Which is smaller: g or -24?
-24
Suppose 2*p - 6 = -0*p. Suppose 0 = -p*q - 3 - 6. Let i be ((-6)/7)/(q/(-21)). Do -7 and i have the same value?
False
Suppose 3*y + 18 = 5*y. Suppose -3*j - y - 3 = -5*x, 5*j + 3*x - 14 = 0. Let d(g) = g**3 - 2*g**2 - 2*g - 3. Let r be d(3). Is j less than or equal to r?
False
Let l = 11 + -12. Let g be (-4)/8*l*8. Suppose -t + g = 3*t. Is -2/9 greater than t?
False
Suppose 0 = 2*v - 3*f + 130, 4*v - 2*f = -3*f - 274. Let i be (-17)/v + 18/(-80). Which is greater: 1 or i?
1
