r: -1 or x?
x
Let y = 13.6 - -4.4. Let q = -15 + y. Which is smaller: q or 1.1?
1.1
Suppose -3*h - 99 = -3*f, 5*f + 13*h - 145 = 14*h. Is f smaller than -3?
False
Let j = 0.014 + -10.414. Let n = j - -4.4. Are 1 and n equal?
False
Let g = 57 - 28. Suppose 0 = -3*z + 32 - g. Is -1/68 equal to z?
False
Suppose -k = -3 - 1. Let v be ((-2)/(-4))/(27/(-4194)). Let j = v + 83. Is k less than or equal to j?
True
Let k be 3 + -3 - 2/(-1). Let b(x) = x - 1. Let t be b(1). Suppose -4*u + 3*d + 8 = 0, 5*u - 2*d - d - 10 = t. Is k at least as big as u?
True
Let a(n) = 6*n - 1. Let j be a(1). Let k = -736 + 739. Is k at most j?
True
Let h(w) = -33*w**3 - 11*w + 4. Let l be h(3). Is l at most as big as -922?
False
Suppose -5*b = 2*p - 20, -2*b - 3 = -b - p. Suppose -g = b*q + 2, 3*g + 0*g = q - 6. Let h be (g/12)/(2/8). Which is smaller: h or 0?
h
Suppose -b = -4*l + 17, -40*l - 2 = -2*b - 41*l. Is b <= -3/94?
True
Let f = -26 - -24. Let t be 1 + f + 2 + -26. Let z be (0 + 16)/4 - t. Is 29 less than or equal to z?
True
Let b be -2 + 2 + -3 + 5. Suppose -3*w + 21 = -5*t + w, 0 = t + w - 3. Let i = 1 - t. Is b less than or equal to i?
True
Let m be 104/2 + -5 + 8 + -3. Do m and 53 have the same value?
False
Let s be (-14 - 425/(-30)) + (-11)/(-6). Is s not equal to 20/19?
True
Let b(n) = n**3 - 4*n**2 + 4*n - 2. Let d be b(3). Is -5/11 equal to d?
False
Let z = -86 + 947/11. Let f be (-31)/(-2) - (-30)/(-20). Let x be f/56 - (-1)/(-4). Are z and x nonequal?
True
Suppose -3*g + 2*l + 1456 = 0, -4*g - 4*l = -2*l - 1946. Let a = g + -10687/22. Is 1 less than or equal to a?
False
Let m = 133 - 131. Let b be (726/(-2))/((-24)/16). Let l = 3144/13 - b. Is m != l?
True
Suppose 3*r + 2*k = -614, 0 = -4*r + 5*k - 867 + 79. Are -205 and r unequal?
True
Let x be (-4)/2*(-2)/4. Which is smaller: x or 6?
x
Let c = -249 + 240. Is -12 smaller than c?
True
Let d(w) = -w + 3 - 1 + 0*w. Suppose 4*g + 8 = 5*i, 4*i + 0*i - 10 = 2*g. Let h be d(g). Which is greater: h or 0?
0
Let u = -7 - -12. Let b = u + -5.3. Suppose 0 = o - 7*o - 6. Are b and o nonequal?
True
Let s(u) = -u - 17. Let m be s(-5). Let y be (-2)/m - 57/18. Is y less than -0.4?
True
Suppose -4*i + 215 = 6*s - 9*s, 5*s + 3*i + 310 = 0. Which is smaller: -74 or s?
-74
Let j = -3170 - -789331/249. Is j >= 1?
False
Let p be 3/12 - (-19)/4. Let d = -49 + 53. Which is smaller: p or d?
d
Let f(y) = y - 4. Let s = 45 + -49. Let b be f(s). Which is greater: b or -9?
b
Let k be 422720/3360 + (2 - 8/3). Which is smaller: k or 126?
k
Let w be (2/(-3))/(6/99). Let p = -27 + 15. Is p at least w?
False
Suppose 12 = -8*o + 5*o, -2*o = -3*c - 2890. Let y be (700/c)/((-8)/6). Let f = -1/23 + y. Is 0 greater than or equal to f?
False
Let s be (-2 - (-46)/12)/((-168)/(-126)). Which is smaller: 2 or s?
s
Let m = 7.012 - 7.112. Let n = 0.164 - 0.083. Is m equal to n?
False
Let z be (2 - (-33)/(-15))*(-25)/355. Which is bigger: 0 or z?
z
Let v = -64 - -82. Let s be (-80)/(-54)*v/(-12). Which is bigger: -2 or s?
-2
Let w be (-2)/5*(36/12 + 2). Which is smaller: w or -9?
-9
Suppose -280 = 5*g - 0*g. Let k be (18/g)/(9/(-6)). Let v be (5/(-10))/(6/12). Which is bigger: k or v?
k
Let l be 2 - -2 - 225/15 - (-14)/2. Let g(i) = -i**3 - 5*i**2 + 2*i + 7. Let r be g(-5). Let n = -5 - r. Is n greater than or equal to l?
True
Let p = 730 - 443. Does 287 = p?
True
Let p = -13.1 + -0.4. Let f = p + 0.5. Let m = 23 + f. Which is smaller: 0.1 or m?
0.1
Let v be (8/(-4))/((-6)/(-3)). Let a be v*1*0/(-17). Let t = -476/2825 - -10/113. Which is smaller: a or t?
t
Let j = 167 - 167. Let v = 2.8 + -3. Which is smaller: j or v?
v
Let x be (-20)/58 - (-1 - -1). Suppose 17 = -15*c + 20*c - 2*n, 16 = 4*c - 2*n. Which is bigger: c or x?
c
Suppose 9 = -3*m - 3*v, -3*m + 7 = -3*v - 14. Let n(b) = -2 - 4 + b + 5. Let w be n(6). Which is smaller: w or m?
m
Let h(r) = -3*r**3 - r**2 - 14*r - 3. Let u be h(-4). Do 229 and u have the same value?
True
Let c = -3515 + 10379/3. Let j = 4091603/21 - 194894. Let b = j - c. Which is greater: b or 0?
0
Let m = 0.0092 - -0.0808. Which is bigger: m or 2/13?
2/13
Suppose 3*h = -2*g - 583, 5*g - 7*h + 1405 = -4*h. Is g < -287?
False
Let z(n) = -2*n - 1. Let x(c) = 4*c + 13. Let i be x(-6). Let w be z(i). Is 3 at least as big as w?
False
Let x = 3.94 + 0.06. Let w = 17278.07 + -17278. Is w >= x?
False
Let w = -72 - -137. Let d = -33 + w. Let g be -1*d/(-18) + -2. Is g greater than or equal to 1?
False
Suppose 0 = 5*p - 3*n + 22, -2*p + p - 22 = -5*n. Let m be 1 - (p + 2) - (-7 - -7). Which is smaller: m or 4/23?
4/23
Let k(r) be the third derivative of r**5/60 + r**4/4 - 2*r**3/3 + 9*r**2. Let n be k(-7). Suppose -n*m = -5*m. Which is smaller: -1 or m?
-1
Suppose 3*i + 15*w - 17*w - 481 = 0, -2*i - 5*w = -327. Is 161 at least as big as i?
True
Let n = 14 + -16. Let h be (9/1)/(4 + -2 - 16). Which is greater: h or n?
h
Let r(m) = m**2 - 20*m + 102. Let i be r(6). Let l(z) = z**2 + 1. Let b be l(4). Which is smaller: i or b?
b
Let b = 525 - 49349/94. Which is bigger: b or 1?
1
Suppose 5*s - 949 = 15*w - 18*w, 591 = 2*w - 5*s. Are w and 2 non-equal?
True
Let g = -851 - 408. Is -1259 less than or equal to g?
True
Let m be 1 - ((-8)/(-2) - -10). Let v = m - -51/4. Is v at least 0.1?
False
Let v be (-14)/(-6) + -2 + 2710/(-7860). Which is bigger: v or -1?
v
Let x be 388/(-14)*(-18)/(-4). Suppose 210 = 6*t + 960. Let b = x - t. Is 1 at least as big as b?
True
Let u be ((-154)/21)/((-2)/30). Which is smaller: u or 0?
0
Let u = 321 + -322. Which is bigger: -2/181 or u?
-2/181
Suppose -4*s - 2 + 18 = 0. Let k(z) = -3*z - 61. Let y be k(-22). Suppose y*f + 5*m + 1 - 36 = 0, 4*f - s*m = -12. Which is smaller: f or -6?
-6
Suppose -5*q = 5*s - 35, q - 4*s + 9 = -9. Let f be (q/4)/(25/(-310)). Are -6 and f equal?
False
Let j be 5*(-2)/(-70)*7. Let p = j - 3. Do -5 and p have the same value?
False
Let m = 0.4 + -0.4. Let h = -970.03 - -965. Let y = h + 5. Do m and y have different values?
True
Let b be ((-4)/5)/((0 + -1)/30). Let c be ((-150)/b)/((-2)/(24/9)). Is 9 less than c?
False
Let t = -96 + 83.9. Let b = t - -0.1. Let h = 11.9 + b. Which is smaller: 0.04 or h?
h
Let n(t) = -t**2 - 4. Let h(s) = -1. Let a(c) = 6*h(c) - n(c). Let x be a(-2). Is 5 at least as big as x?
True
Let h be ((-288)/(-936))/(2/(-13)). Which is greater: -81/53 or h?
-81/53
Let q = 14 + 22. Let f be (-4)/(-14) + q/21. Suppose -6*s + 5 = -f*t - s, -2*t - 4*s + 40 = 0. Which is smaller: 9 or t?
9
Let o be 7/1113*(-5 + (-1)/(-2)). Let t be 1/(-1) - 1817/530. Let n = t - o. Is -5 greater than n?
False
Let w(g) be the second derivative of 0 + 2/3*g**4 - 1/20*g**5 - g**3 + 4*g - 4*g**2. Let n be w(7). Which is greater: -4/3 or n?
n
Suppose -13*f = -3*f. Suppose 3*h - 3*d + 9 = f, 4*h - 5 = 3*h - d. Which is greater: -2/23 or h?
h
Suppose 5*u - 5*d + 6 = -4, 4*u + 3*d = -29. Let n be (-14)/(-80) + u/(-25). Let w = -1/24 + n. Are -5 and w equal?
False
Let s = -1218/11 + 104. Are -8 and s nonequal?
True
Let w = -12678/95 + 667/5. Which is greater: 26 or w?
26
Let x = 2936 - 2930. Is x bigger than 2?
True
Let a be 2/(-13) - 1484/(-182). Let o be (-3)/9*-11 - a/(-24). Which is smaller: 3 or o?
3
Suppose 15 = o - 4. Let s(g) = 24*g + 1172. Let x be s(-48). Is x greater than o?
True
Let p = -1000 + 1140. Is p less than 137?
False
Suppose 0 = -q + 4*q + 18. Let h = q + 7. Suppose 5*m + 5*f = 20, -2*f + 3*f = 3*m. Is m greater than h?
False
Let k = -325.9 - -326. Is 26 <= k?
False
Let a = 333.2 - 333. Are -104 and a equal?
False
Let a = -383 + 626. Is 244 less than a?
False
Let y(u) = -u**2 + 8*u - 5. Let d be y(7). Suppose -4 = 6*h - d*h. Is -4 > h?
False
Let k = 0.762 - 0.962. Do -748 and k have the same value?
False
Let k be (-5)/(-20) + 62/8. Suppose 2*y + 37 = -3*s, 2*s + k*y - 5*y + 23 = 0. Let o = 8 + s. Is -13/3 at most o?
False
Let s(f) be the second derivative of 5/6*f**3 + 0 + 0*f**2 - 1/6*f**4 - 1/20*f**5 - 8*f. Let u be s(-4). Are 10 and u non-equal?
True
Suppose -10*t - 64 = -74. Which is greater: t or -4/533?
t
Let g = 31855/2946 + 10/491. Let k be -1 + (13/2)/(3/6). Which is smaller: g or k?
g
Let f = -1784/7 - -513/2. Are f and 1 non-equal?
True
Suppose -m = -3*m - 84. Let t = m + 48. Let k(z) = z**2 - 3*z - 2. Let b be k(5). Is b greater than or equal to t?
Tru