*d. Which is greater: d or u?
u
Let c(y) = y + 15. Let m be c(-4). Is 11 != m?
False
Let f = 136 - 96. Suppose 2*z + f = 4*z. Suppose 0*d - z = -5*d. Is d less than 0.1?
False
Let q be 23/5 - (6/(-15) - -1). Is q at most 6?
True
Let s = 2595 - 1627063/627. Which is smaller: s or -1?
-1
Suppose -4 = -d, 0 = -3*r + r + 5*d + 1840. Is r at least as big as 930?
True
Let o = -24 - -26. Suppose 98 = 2*k + o. Let l be 1/(-2) - (-232)/k. Which is greater: l or 3?
l
Suppose 0*q + 4*q - 3*d = 3, -3*d = q + 3. Which is smaller: 5 or q?
q
Let n = 63 - 66. Let t = 3 - 3. Let m = t + -2. Which is smaller: n or m?
n
Let z be (-6 - 1)/(19/513). Let n be (-2)/z - (13 - 13). Are n and 1 equal?
False
Suppose 3*g = 2 + 10. Suppose 5*b - 33 = -0*j + j, -g*j - b = 27. Which is bigger: -6 or j?
-6
Let s = 117 - 116.94. Let q = 0.16 + -0.2. Let p = q - s. Which is greater: 2 or p?
2
Let a = -2874 + 2851.19. Let l = 23 + a. Which is smaller: l or -0.1?
-0.1
Let p = -130 + 148. Do p and 25 have the same value?
False
Let x(r) = r**2 + 16*r - 31. Let q be x(-17). Let k be (420/40)/((-3)/4). Is k less than q?
False
Let t(f) = 106*f**3 - f**2 - 2*f + 2. Let v be t(1). Let q = v + -95. Is q greater than or equal to 10?
True
Suppose 0 = -3*c + 39 - 63. Let h = c - -7. Which is bigger: h or 2/39?
2/39
Let v = -1818/11 + 165. Do 3/7 and v have different values?
True
Let x be 1/(-5) - 5/(-25). Suppose -k + 0*k + 4 = x. Suppose k*s - 3 = 1. Which is smaller: -2/17 or s?
-2/17
Suppose -38 = s - 7. Let j = s + 33. Is j greater than 4/3?
True
Let p be 12*(-6)/(-44)*(-412)/(-309). Which is greater: 1 or p?
p
Let w = -0.039 + -4.986. Let n = -0.025 - w. Do 2/9 and n have different values?
True
Let x = 219151/130572 - 136/81. Which is smaller: x or 0?
x
Suppose -5*j = -0*j + 40. Let r be (21/12)/(2/j). Let v(k) = -k**3 - 7*k**2 - k - 5. Let q be v(r). Do q and -1 have different values?
True
Suppose -2*c + c - 25 = 0. Let t be (60/c)/((-4)/90). Let j = t + -811/15. Is -1 at most j?
True
Suppose -11*g + 198 = -0*g. Let q be 3/g - 65/(-6). Are q and 9 non-equal?
True
Let k(a) = 2*a**2 + 8*a + 1. Suppose 0 = 6*q + 1 + 17. Let h be k(q). Which is greater: h or -8?
h
Let v be 6 + -11 - 15156/(-3033). Is 1 smaller than v?
False
Let t = -205.9 + 206. Is -216 bigger than t?
False
Let a = -66 + 67.2. Is 7/5 bigger than a?
True
Suppose -3*l - 304 = -5*l + 4*y, 0 = -3*l - 3*y + 483. Let o be 794/l + -3 + -2. Is o at most 1?
True
Let z(v) = v**3 - 5*v**2 + 3*v - 5. Let t be z(5). Let s be (-2)/((t/12)/(-5)). Let n(d) = 2*d**2 - 16*d + 36. Let x be n(6). Is x bigger than s?
False
Let y = 50 - -5. Let p be 5/1*2/y. Suppose -442*b + 435*b = -7. Which is greater: b or p?
b
Suppose 10 = 9*h - 4*h. Let o(q) = 7*q - 1. Let n be o(h). Is 12 less than n?
True
Let u(o) = 3*o - 22. Let x be u(9). Suppose -2*m - 10 = -3*p, 2 = 3*p + m - 2. Let k be p*((-14)/4 + 4). Which is smaller: x or k?
k
Let g = -398.1 + 433. Are 1 and g nonequal?
True
Let u = -34 - -38. Suppose d - 3 = 0, 21 = -u*g - 3*d - 2*d. Is -84/11 smaller than g?
False
Let j = 75 + 8. Is j < 85?
True
Suppose 4*q = y + 8 - 1, 3*y + 3*q - 24 = 0. Let s be 1*4/7*7. Suppose 18 = -3*a + y*c, 3*a + c - 12 = -s*c. Is 4 greater than a?
True
Let h = 25 - 14. Suppose -18 = 5*s - 3*s + 2*f, -2*s + 5*f = h. Let j = 2 + s. Do j and -4 have the same value?
False
Let c = 1254 + -11288/9. Which is bigger: c or 125?
125
Suppose -3*q - 5*j = 4, -4 = -5*q + j - 4*j. Let b(d) = -d**2 + d + 1. Let z be b(q). Let o be (3/(-6))/(z/8). Is o less than 4?
False
Suppose 7*c - 5*c = 2. Let y be (-9)/45 - (-13)/70. Which is bigger: c or y?
c
Let q(c) = 3*c**2 - 3*c + 2. Let b be q(2). Suppose -2 = 2*w, 3*w = -3*p + 8 + 19. Which is smaller: b or p?
b
Let l = -854 - -854. Which is smaller: -34/33 or l?
-34/33
Let l(q) = -2*q**2 - 6*q - 4. Let a be l(-12). Let v be 2/(8/a) + 0. Let y be 0 - -2 - (-60)/v. Does 1 = y?
False
Let r(k) = -k**2 - 20*k + 20. Let q(v) = v - 10. Let j be q(-11). Let a be r(j). Is -2/55 not equal to a?
True
Let x = 0.2475 - 0.0275. Let l be (-4)/70*(-1 + 6). Is x at least as big as l?
True
Let n = 11563 + -208225/18. Does -6 = n?
False
Let o = 102 + -97. Let d = -18/11 - -76/33. Is o at most as big as d?
False
Suppose 41*m + 2013 = -20*m. Which is bigger: m or -34?
m
Let d = 2783/4 - 702. Let i be (-1)/(1/3 + (-14)/84). Which is smaller: d or i?
d
Let o(i) = 191*i**2 + 8*i - 8. Let a be o(-8). Let r be 4 + 0 + a/(-77). Let c = -154 - r. Which is greater: c or 1?
1
Let g(d) = -d**2 + 5*d + 6. Let f be g(7). Let o(c) = -3*c**2 + 130*c + 79. Let m be o(44). Which is smaller: f or m?
m
Let o = -945 + 948. Let t(q) = -q + 3. Let k be t(3). Let p be (k + -1)/((-10)/28). Is o > p?
True
Let z = 11 + -9. Suppose -5*c = -z*v + 53, 3*c = c - 10. Suppose -s + 0*q - 3*q = -17, -3 = -3*q. Is v less than s?
False
Suppose -4*x = -2*k - 58, 3*x = 2*k + 2*k + 41. Let h = 18 - x. Suppose -2*f + 1 = h. Which is bigger: 4 or f?
4
Let v = 5 + -6. Let q be 2 + v - (-52)/(-48). Is -1 at most q?
True
Let u(t) = t**2 - 8*t - 7. Let v = -29 - -33. Let y be u(v). Do -24 and y have the same value?
False
Let a be 4/(-14) - 868/49. Let r = a - -20. Suppose 9 = 3*s + m, -2*m - 9 = -3*s - 4*m. Is s at least r?
True
Let u(a) = a**2 - 4*a - 5. Let i be u(5). Let x be 16/32 - (-15)/(-2). Let v be 2/(-14) - (-1)/x. Which is smaller: i or v?
v
Let r be -4 + (-1124)/(-280) + (-3)/(-15). Do 0 and r have the same value?
False
Let s(r) = -r. Let u(c) = -4*c - 9. Let j(f) = 5*s(f) - u(f). Suppose 0 = 3*d + 11 - 35. Let x be j(d). Which is smaller: x or 4/7?
4/7
Let i(n) = n**3 - 18*n**2 + 2*n - 11. Let m be i(18). Is m at most as big as 1?
False
Suppose 4*d - 377 = -9*d. Let b = d + -35. Which is smaller: b or -23/5?
b
Let y = -24 + 27. Suppose -y*t - 2*j = 1, 8*j + 3 = -5*t + 4*j. Let c be (1/(-24))/((-2)/4). Is c != t?
True
Let z be -1 - (0 + -2 - 0). Is z >= 13/6?
False
Suppose 12 = 10*d + 32. Suppose 4*v - 16 = 0, 2*t - 45 = -4*v - 15. Suppose -t = -s + 4*w, -2*w + 4 = 2*s + 10. Is s less than or equal to d?
False
Let t(v) = -2*v**2 + 36*v - 124. Let w be t(11). Which is smaller: 202/7 or w?
202/7
Let r = -0.7769 + 0.751. Which is greater: 1 or r?
1
Let m = -236 + 235. Which is greater: 1/11 or m?
1/11
Suppose 16 = -8*b + 12*b. Suppose -n - 162 = -4*w + n, -b*w - 3*n + 147 = 0. Is w <= 39?
True
Suppose 15 - 7 = 2*d. Suppose 0 = d*u + 14 + 58. Is u less than -16?
True
Let b(c) be the first derivative of -c**3/3 + 2*c**2 - 4*c - 160. Let l(o) = -o**2 + 4*o - 1. Let n be l(3). Let v be b(n). Which is smaller: 8 or v?
v
Let m be 290/6 - 3/9. Suppose 0*z - m = 12*z. Which is bigger: -1 or z?
-1
Let f(z) = -z**2 - 23*z + 16. Let s be f(-19). Which is smaller: s or 89?
89
Let k = 120 - 230. Let d = -110.05 - k. Which is greater: d or 4?
4
Let u be (-21)/(-56)*(40/3 - -3). Do 6 and u have the same value?
False
Let x = 17888 - 160990/9. Let s be ((-1)/(-12))/(2/(-2)). Which is smaller: x or s?
s
Suppose 6*p - 10 = 11*p. Let g(k) = -2*k + 7. Let l be g(7). Which is smaller: l or p?
l
Let t be (9 - (9 - -7))*(-4)/14. Does t = 19/13?
False
Suppose -q - 4*j = -6, 0 = -3*q + 2*q - 2*j. Which is smaller: 9/13 or q?
q
Let x(k) = -18*k + 69. Let n be x(6). Is -41 != n?
True
Let h = -2225 - -2224.64. Which is bigger: 25 or h?
25
Suppose -2*x = x + 12. Let c = x + 4. Let l be 5 - 2 - 37/12. Which is bigger: c or l?
c
Let c(d) = -168*d - 897. Let f be c(-5). Which is greater: -465/8 or f?
f
Suppose 15 = q - 0. Suppose 17*r = 12*r + q. Suppose -r*t + 12 = -2*t. Is 11 at least as big as t?
False
Let z(c) = -37 + 36 + 0*c**2 - 8*c + c**2. Let a(r) = r**3 + 5*r**2 - 2*r - 2. Let o be a(-5). Let p be z(o). Is p at most 2/9?
True
Let l = -1016/483 - -46/21. Is l less than or equal to -1.6?
False
Let d(z) = -17*z**2 + 2*z - 1. Let w be d(1). Let c be (4/6 - 0)*3. Which is bigger: c or w?
c
Let f be ((-4)/(-6))/(12/(-198)). Let a = 11 + f. Is a less than or equal to -3/4?
False
Let l be (11/3 - -1)*(-63)/(-42). Suppose l*d - 22 = 4*d + b, 4*d + b = 41. Is d <= 10?
True
Let x = 1 + -1. Let w = 4292.06 - 4292. Is w bigger than x?
True
Let m = 11 - -2. Let l = m + -31. Let j be (2/3)/((-12)/l). Which is bigger: -2/17 or j?
j
Let l = -2 + 2. Let c be -3*(l + (-1)/3). Let o(d) = -d**2 - 15*d + 104. Let z be o(5). Which