and v equal?
False
Let w = 7/16 - -1555/176. Is -1/5 less than w?
True
Let a(x) = -x**2 - 12*x - 13. Let i = -113 - -102. Let q be a(i). Which is greater: q or -46?
q
Suppose 19*k - 561 - 142 = 0. Suppose -7*r - k = -16. Let z = -42/17 - 10/51. Which is smaller: r or z?
r
Let b(h) = h**2 + 2*h. Let v be -10*(-3)/(-6) - -3. Let l be b(v). Let u = 8/99 + -31/792. Is u > l?
True
Let a(k) = -k + 5*k**2 + 0*k**3 - k**3 + 137 - 139 - 3*k. Let w be a(4). Is w less than -12/5?
False
Let p = -41 - -107. Let j = p + -65.8. Is j at least as big as -20?
True
Suppose 0 = -4*d - 20, 9*z = 4*z - 2*d - 15. Which is greater: z or -3/100?
-3/100
Let q(o) = 23*o - 13. Let f be q(10). Let a be (7 + f/(-28))/((-18)/52). Is a at least as big as 1?
True
Let t = 2 + 1. Let r(q) = q**3 + 4*q**2 + q - 4. Let u be r(-2). Is u >= t?
False
Let a be (-20)/(-60) - 31/(-51). Is 0 > a?
False
Suppose -1 + 10 = 3*z. Suppose z*h + 2*h = 25. Suppose v + 1 + h = 0. Which is smaller: -7 or v?
-7
Let v be 4 - 0 - (-2 + 9). Let h be ((1 + v)/(-12))/(20/60). Suppose -3 = -d - 2. Which is bigger: d or h?
d
Let z = -112 - -110. Let x be (-32)/(-24) - z/3. Which is smaller: 8/11 or x?
8/11
Let m = -116 - -125. Which is smaller: m or 5?
5
Suppose -4*r + 87 + 93 = 5*y, -72 = -2*y + 4*r. Let q = y - 107/3. Suppose -2 = -2*m - o - 0, 0 = 2*o - 8. Which is greater: q or m?
q
Let d = -38 + 23. Let m = d + 11. Is m greater than or equal to -3?
False
Let x = 685 + -442. Let h be 5 + 0 + (-864)/x. Which is smaller: h or 1?
1
Let w = 960077/3604986 - 2/23409. Let k = w + -5/14. Is k at most -1?
False
Suppose y + 0*y + 20 = 3*i, 0 = -y - 2. Let c(n) = -n**3 + 7*n**2 - 8*n + 12. Let m be c(i). Is -3/32 != m?
True
Let a = -42 + 30. Let m = a + 12.7. Let f = -1428 + 1427.8. Which is smaller: f or m?
f
Let x = 8/115 + -2891/230. Let j = -27 + 15. Is x < j?
True
Suppose -5*a + 4 = -31. Suppose 4*n + 9 + a = 0. Let w be (-7)/(-28)*n/6. Which is smaller: w or 0?
w
Let h(u) = u - 8. Suppose -3*b + 4*w - 8 = b, -5*b - 5*w + 10 = 0. Let i be h(b). Is -0.1 less than i?
False
Let b = 2/111 - 248/1443. Let h(i) = -i**3 + 5*i**2 - i + 6. Let r be h(5). Which is smaller: b or r?
b
Let c be (-3 + (-41)/2)*2. Is c at least as big as -233/5?
False
Let m be 3/15 + 9/5. Let c be ((-26)/3)/(6/(-27)). Let w = c + -39. Which is smaller: w or m?
w
Let q = 0.2 - 1.2. Let p(d) = d**2 - 4 + d + 10*d - 11 - 3. Let u be p(-13). Is q greater than u?
False
Let l be 12/(-18) - (-6)/9. Suppose 15 = 5*p + 3*v - 31, -5*v + 10 = l. Are p and 0.3 non-equal?
True
Let p = -12912512/879 - -14690. Is p != 0?
True
Let r(w) = w**2 + 10*w + 16. Let i be r(-8). Suppose -2*g = -6*g + 20. Suppose -4*m - 4 = y + 5, 3*y + g*m = -13. Are y and i equal?
False
Let b = 36 - 22. Let q = -2 + b. Let f = -20 + q. Is f <= 1/4?
True
Let h be (6 + -12)*1/(-2). Suppose -2*i = -5*i - h. Let q be ((-1)/21)/((-1)/2). Is q greater than or equal to i?
True
Let g = -5646 - -129838/23. Which is greater: g or -2?
g
Suppose -5*p + 78 = p. Let t = 13 - p. Let n be t - (60/(-35) - -2). Is -13 < n?
True
Suppose -3*g + g + 10 = 3*c, -3*c + 4 = -g. Let r = 2 - g. Let z be (-2 + r)/((-4)/(-8)). Is -2 at least as big as z?
True
Let n = -1086.3 - -1080. Which is smaller: 0.1 or n?
n
Suppose 0 = 2*r - 0*r - 10. Let n = -5 + 10. Suppose -4*q = d + 15, n*d = d - 5*q - 5. Is r less than d?
False
Suppose 2*u + 11 = -7. Let c = u - 6. Suppose -5*f - 15*x + 17*x - 72 = 0, -5*x + 12 = -2*f. Is f equal to c?
False
Suppose 28*w = 24*w + 72. Suppose -d - w = -2*p, 2*d + 0*d + 51 = -p. Which is bigger: d or -23?
-23
Let x = -20154427037/4361 + 4621515. Let p = x + 8842797/109025. Let g = 81 - p. Is 0 less than g?
False
Let z be (-2)/(-4)*-5*2870/35. Is z less than -205?
False
Let k = -1532/3 + 3031822/5937. Which is greater: k or -1?
k
Let j be (4 - 1)/(0 + -4). Suppose 759 = 9*d + 14*d. Let o be (-3)/d*20 + (-2)/11. Is j greater than or equal to o?
True
Let m be (4/138)/(1/29433). Let y = m - 853. Suppose -3*v = 2*j + 5, -5*j + j + 2*v = 2. Is y > j?
True
Let q = 0.3 + 15.7. Let x = q - 5. Which is smaller: x or 2?
2
Let i = -40 - -17. Suppose s + 2 + 26 = -r, -5*r - 2 = -s. Is i smaller than s?
False
Let s = 1 + -1. Let m = -128 + 5375/42. Is s not equal to m?
True
Let y be 3 - 13/(26/(-584)). Is 295 greater than or equal to y?
True
Let n be ((-11)/2 - -5)*(-4)/8. Let c be (-18)/4*8/(-138). Which is bigger: n or c?
c
Let p = 4 - 11. Let l = p + 5. Let w = l + 1. Which is bigger: 4 or w?
4
Let w = 1 - 0. Let o = -35.91 - -35.9. Is w bigger than o?
True
Let m = 7 + -5. Suppose -m*x + 8 = 2*x - 2*u, 3*x - 4 = u. Let y = 16066/7 + -2295. Is x at least as big as y?
False
Suppose -j + 0*j + 2 = 0. Suppose -2*k - 5*b = -0*b + 9, 0 = j*k + 3*b + 3. Let i = 5 - 1. Are i and k equal?
False
Let m be -5 + 1 + 4 + 2. Suppose 32 = x + m*o, -93 = 4*x - 8*x - o. Is x not equal to 21?
True
Let b be (2 - 37862/57)/((-6)/(-9)). Let m = -993 - b. Which is smaller: m or 0?
0
Let t = -3.09 + -1.92. Let z = 0.01 + t. Are -8 and z equal?
False
Let y(a) = a**3 - 4*a**2 + 4*a - 2. Let k be y(3). Let o be (-3)/k - (-3 - 45). Let u be ((-2)/(-6))/((-3)/o). Which is bigger: u or -6?
u
Let c be ((-3)/6)/((-4)/8). Let f(q) = -2*q**2 + 12*q - 7. Let i be f(5). Which is bigger: i or c?
i
Let g be (2 + (-11)/(66/16))/((-6)/(-9)). Let i(t) = t**3 + 6*t**2. Let n be i(-6). Is n >= g?
True
Let m = 683 + -676. Suppose 2*p = c - 5 - 13, -2*c + 2*p = -26. Is m less than or equal to c?
True
Let k be (2*-10)/((-8)/20). Let z be ((-28)/(-10))/((-5)/k). Let s be (z/147)/((-2)/3). Which is greater: s or -1/4?
s
Let x(f) = 2*f**2 - 8*f + 2. Let d be x(7). Let j = 26 - d. Is -18 at least as big as j?
True
Let j(k) = -k**2 + 22*k - 18. Let d be j(20). Let y = d - 24. Is -4 smaller than y?
True
Let q = -96/19 - -23539/4655. Is q not equal to -1?
True
Suppose 5*k - 2*k - 12 = 0, 0 = -f + 5*k - 19. Are f and 5/529 non-equal?
True
Let l be -4*3/10*12/36. Which is smaller: 1/13 or l?
l
Suppose 5*x + t = 4*x + 619, 4*x - 2*t - 2470 = 0. Are 618 and x non-equal?
False
Let b = 1874/5 - 335441/895. Let y = -406685323/113167380 + -95/126444. Let o = y - b. Is o greater than or equal to -5?
True
Let z(d) = -d**3 - 6*d**2 + 7*d + 17. Let x be z(-7). Which is greater: 33/2 or x?
x
Suppose 5*v - 3*m + m - 6 = 0, -v = 5*m + 15. Let h = v + 3. Let f(g) = g**2 - 4*g + 4. Let q be f(4). Are q and h nonequal?
True
Let f = 1947 + -1947. Do f and -11/19 have the same value?
False
Let x = 21.1 + -5.8. Let w = -14.94 + -0.06. Let g = x + w. Which is bigger: g or 1/3?
1/3
Let d be ((15/(-780))/((-14)/32))/2. Which is bigger: 0 or d?
d
Suppose -3*a + 532 = -287. Which is smaller: a or 270?
270
Suppose 2*b = t + 2, b + 4*t + 0*t + 8 = 0. Which is smaller: -3/359 or b?
-3/359
Let d(l) = -l**3 - 4*l**2 + 7*l - 2. Let h be d(-4). Let t = h + 26. Is -3 > t?
True
Suppose 4*o = -5*d + 1204, -3*o + 602 = -o + 2*d. Which is smaller: o or 300?
300
Suppose -q = -0*o - o - 10, 4*q = -2*o + 22. Suppose 4*z + q - 3 = 0. Is z >= -2/23?
False
Let u(y) = -11*y + 8. Let f = 36 + -41. Let t be u(f). Is 64 >= t?
True
Suppose -2*p = -5*i + 19, i + 2*i - 24 = 3*p. Which is smaller: -27 or p?
-27
Let j = -1305 + 1305. Do -78 and j have different values?
True
Let m = 72 - 71.56. Let z = m + -0.39. Is 0 != z?
True
Let l = -13.722 + 2.732. Let v = l - 0.01. Let i = -10.8 - v. Which is smaller: -1 or i?
-1
Let l be (-3 - 2)*5/1. Let d = l - -32. Which is bigger: 33/5 or d?
d
Let p = -379/55 + 100/11. Suppose l = -4*t - l + 6, 5*l - 5 = 0. Does p = t?
False
Let h be 10/(-65) - 108/(-26). Let l = -28 - -47. Let s be (-4)/(-3) - l/(-6). Is h at most as big as s?
True
Suppose 836*m = 834*m. Is m at least 8/29?
False
Let k(b) = 15*b**2 + b - 2. Let v = 35 - 34. Let t be k(v). Is t at most as big as 16?
True
Let y be -4 + (-38)/(-9)*1. Which is bigger: y or 83?
83
Let s = -43/160 + -1/32. Is s not equal to 1?
True
Let v = -82 - -210. Suppose -3*i + 4*p = -v, i + p - 58 = -20. Let x = 38 - i. Which is greater: x or -7/8?
-7/8
Let h = 3 + -11. Let c = 315 - 324. Let v = c - h. Which is greater: 2 or v?
2
Suppose -2*b - 40 = -6*b - 4*i, -1 = -b + 2*i. Let a be (0 - 2)/(b/(-8)*-4). Is a at least as big as -1?
True
Let b(z) = z**3 + z - 1. Let q(t) = 7*t**3 - 8*t**2 + 7*t - 13. Let o = 1