r: 7 or r?
7
Let f(x) = 29*x**2 - x. Let n be f(-1). Suppose -3*y - n = -336. Let w = -118 + y. Does -14 = w?
False
Let x = 190/3 - 2518/39. Let h(g) = -2*g**2 + 105*g + 1035. Let v be h(61). Is v bigger than x?
False
Let d = 1.37 - 118.37. Let u = d + 108. Let z be (1/((-1)/(-2)))/7. Are u and z nonequal?
True
Let g(j) = -25*j + 204. Let n be g(9). Let w be -25*(0 + (-7)/n). Is -8 > w?
True
Let n be 4/(-4) - (-15 - 6). Let r = -75.1 - -75.2. Is n at most as big as r?
False
Let t be (-5)/(-15) - 4/3. Suppose 12 = -5*r - 2*b + 5*b, 3*r + b + 10 = 0. Let a be -2*(-1)/(-3)*r/(-30). Which is smaller: t or a?
t
Let k = -76/11 + -1840/33. Suppose 5*j + x + 312 = 3*x, -4*j + 2*x - 250 = 0. Which is smaller: j or k?
k
Let t = -31.37 - 246.43. Let x = 278 + t. Is -30 less than x?
True
Suppose -f = -4*y + 5, 4*f + y = -7 + 4. Let o be ((-3)/(-1)*f)/((-5)/5). Let m be o + 2760/(-462) + (-6)/(-2). Which is smaller: 0 or m?
0
Let j be (29/(-4) + -1)/(18/(-96)). Suppose -4 + j = -4*b. Let a(f) = -f**2 - 11*f - 6. Let w be a(b). Is w less than or equal to -1?
False
Let c be 2/(-13)*(-1 + 0). Let x = 241836.76 + -241837. Is c greater than or equal to x?
True
Suppose -262 = 3*o + 269. Let a be (-32)/34 + 144/(-2448). Is o at least a?
False
Let k = -129.25 + 125.25. Is k smaller than -0.482?
True
Suppose -84*o + 81*o + 22887 = -p, 3*o - 4*p - 22878 = 0. Which is bigger: 7629 or o?
o
Let v = 34.994 - 34.964. Let p = 70.41 + -70. Is p > v?
True
Let c = 4106/11 + -368. Do 2/9 and c have the same value?
False
Let y = -9 + -15. Let i = -81 - y. Which is bigger: -0.1 or i?
-0.1
Let z(g) = 36*g - 139. Let h be z(10). Let d = 182 + h. Which is bigger: 402 or d?
d
Let z = 1256 - 1265. Let f be 5/(175/(-10)) + 60/(-7). Are f and z equal?
False
Let c = 306 - 337. Is c at most -218/7?
False
Let q = 0.3902 - 3.3902. Let k = 0.32 + 25.68. Which is bigger: k or q?
k
Let t be ((-10)/(-3) + -3)/((-119)/(-663)). Let m be (2/(-5))/((-3)/15). Which is greater: t or m?
m
Let k = -0.05 - -49.05. Let z = -58 + k. Is z at least 3/5?
False
Let h(u) = 22*u + 368. Let x be h(-18). Suppose c + 3*c - 56 = 0. Let s = x + c. Is -16 less than s?
True
Let f be 2104/(-132)*3 - -1*(-8)/44. Is f greater than or equal to -69?
True
Let v = -1.95005 - 0.04995. Which is bigger: v or 87.7?
87.7
Let g be -3*16/(-60)*-5. Let h be (-10 + 1)/(1 - (-8)/g). Suppose 0 = 3*f + h, -4*o + 120 = -0*o + 4*f. Which is greater: o or 34?
34
Let n(m) = -178*m**2 + 14*m + 11. Let j(o) = -o**2 + 3*o + 1. Let x(h) = -6*j(h) + n(h). Let p be x(1). Which is smaller: 0 or p?
p
Let r(c) = 131*c**3 + c**2 - 4*c + 4. Let f be r(1). Let g be (10/(-5) - f) + -1 + -4. Is -139 < g?
False
Let v = -827 + 1228. Let a = v + -404. Which is smaller: -1/37 or a?
a
Let f(u) = -u**2 + 7*u - 24. Let i be f(12). Let d = i - -86. Suppose -2*t + 0*y = -d*y, 4*t + 7 = -3*y. Which is smaller: t or -3/22?
t
Let m(k) = k - 4. Let w be m(6). Let z be (14/(-3))/(((-4)/(-21))/w). Let f be ((-24)/6 + 7 + -2)*z. Is f greater than 0.1?
False
Let w be (-8)/2 + (-61)/((-9)/(-63)*7). Is -321/5 >= w?
True
Let y = -2119/4 - -524. Let a(n) = -n**3 - 10*n**2 + 18*n. Let r be a(-12). Let j = 65 - r. Is j greater than or equal to y?
False
Let c = 134 + -94. Suppose 5*d + 8*j - 7*j = -35, -5*d - 35 = -3*j. Let t be (-12)/c*d/(42/(-8)). Is -3.6 less than t?
True
Let z = 1203.4 - -230.6. Is z greater than 0?
True
Let c = -478 - -477.751. Let v = -6.908 - -6.808. Is c less than or equal to v?
True
Suppose 0 = 5*y + u + 1005, 4*y + 0*y = u - 813. Let i = y - -210. Let n(q) = 3*q + 1. Let d be n(1). Which is bigger: i or d?
i
Let l = 694 + -515. Does l = 179?
True
Let n be 25*-1*136/(-4). Let g = -14454/17 + n. Suppose 3 = -3*i + 6. Which is bigger: i or g?
i
Let x = 18 + -16.4. Let c be ((-126)/273)/(16/10). Let s = -1/26 - c. Is s bigger than x?
False
Let a = 2.4 - -22.6. Let q = 23 - a. Let y = 5.94 + 0.06. Which is smaller: y or q?
q
Suppose 5*n - 945 + 2568 = 3*z, -n = 2*z + 309. Which is bigger: n or -310?
-310
Let a(q) = 3*q + 22. Let k(g) = -2*g - 15. Let b(t) = 5*a(t) + 7*k(t). Let d be b(9). Let l = 143 - 131. Is d != l?
True
Let z = -294034348793/15480 - -18994467. Let g = 1/774 + z. Suppose 3*t + 8 = 4*m, 3*m + 10 = 8*m. Which is smaller: g or t?
t
Let n = -306 + 317. Suppose 2*i = 2*k + 446, -2*k + 9*i - n*i = 430. Is -218 < k?
False
Let j be (-3993)/5 + (12/(-18))/((-10)/9). Which is smaller: -797 or j?
j
Let o = 100.1 + -100.2. Let h = -4.449 + 4.5. Which is bigger: o or h?
h
Let u(w) = -9*w - 30. Let d be u(-10). Suppose 4*c + 98 = -2*k, 5*k = -4*c - 155 - d. Let y = 76 + k. Is 37 smaller than y?
False
Let z = -150 + 140. Let u be (-24)/(z - -2)*1/3. Which is smaller: -0.06 or u?
-0.06
Suppose 32*t = 2979 - 2723. Let m(l) = l**3 - 2*l**2 + l + 1. Let c be m(2). Which is smaller: t or c?
c
Let v(z) = -2*z**3 + 21*z**2 + 10*z + 6. Let i be v(11). Suppose 3*k - 19 = 2*k + 3*g, 0 = 5*g + 15. Let c be (-5)/k*(3 + -1). Is i greater than or equal to c?
False
Suppose -63*c - 6712 + 11185 = 0. Suppose 0 = f - 6*n + n - 60, 2 = n. Is c at most f?
False
Let h = 2596 + -3765. Is -1171 at least as big as h?
False
Let g(r) = r**2 - 1. Let j be g(-2). Let c(x) = x**2 - 26*x - 231. Let t be c(33). Suppose t = -j*h - 2*h. Which is greater: h or 2/27?
2/27
Suppose -6*m = -1289 - 817. Let n be (2/(3 - m/123))/(-1). Does n = -13?
False
Let g = -12 - 29. Let h = -93.9 + 9.9. Let a = h - g. Which is bigger: -0.1 or a?
-0.1
Let h = 3.1 - 3. Let v(x) = -10*x**3 + 121*x**2. Let l be v(1). Which is bigger: h or l?
l
Suppose 82137 = -365*u + 194*u - 136059. Which is smaller: -1274 or u?
u
Suppose 9*i = 561 + 168. Suppose 7*z - 565 - 9 = 0. Which is smaller: z or i?
i
Let t(a) = -a**3 - 9*a**2 - 11*a - 14. Let m be t(-8). Let p(b) = -b**2 + 25*b - 3. Let d be p(m). Let v be 4 - d/72 - 2. Which is greater: v or 0?
0
Let d(u) = -u**2 + 10*u + 414. Let q be d(-26). Is q != -520?
True
Let u = 258.1 + 63.9. Let p = 322.5 - u. Which is smaller: -3/13 or p?
-3/13
Suppose 571*t = 652*t + 777276. Which is bigger: -9595 or t?
-9595
Let h = -204.813 + 205. Let j = -112.813 - h. Is -2 less than or equal to j?
False
Let z be (5 - 58/6)*(-24)/16. Suppose 5*m = 3*r - 40, z*m - 6*m + 10 = r. Which is bigger: m or 4/5?
4/5
Let d(b) = -44*b**2 - 204*b + 1392. Let v be d(7). Is v not equal to -2194?
True
Let p = -29993/3515 - -179/95. Are p and -8 nonequal?
True
Let s be (3 + (-18)/(-4))*(-8)/(-6). Suppose 3*t + 3 = 2*h, 3*t + 11*h = s*h - 3. Is 495 != t?
True
Suppose 4*q = v - 20, 3*v - q + 3 = 8. Suppose v = 2*y - 3*c + 71, 3*y - c + 104 = 3*c. Suppose 0 = 3*k + 52 + 35. Do k and y have the same value?
False
Let h = -0.3 - -0.2. Let s = -1325 + 888. Let g = s + 399. Which is smaller: h or g?
g
Suppose -4*i - 1047924 = -0*i. Let q = i + 2884466/11. Let n = q + -243. Is 1 <= n?
False
Let d = -80.2 - -80.1. Let h(c) = 2*c - 3. Let z be h(10). Is z not equal to d?
True
Suppose 3*s + s + 84 = 0. Let z(p) = 2*p - 26. Let m be z(s). Let q be (-2 + 10/4)/((-2)/m). Is 14 bigger than q?
False
Suppose 0 = 2*z - n - 67 + 78, 4*n + 4 = 2*z. Let a = -27 + 18. Which is smaller: a or z?
a
Suppose 5*n - 20 = 5. Suppose -n*y + 306 = 4*y. Let k be (-4 + 5)*y - 0. Is 33 bigger than k?
False
Let c = 2.37 + 0.13. Let q = c - 4.6. Let n = -1960 - -1961. Which is greater: q or n?
n
Suppose 12*i - 2328 = 2880. Suppose -3238 = -17*c + i. Is c greater than 215?
True
Let u = 12.25 + -5.8. Let z = -1.55 - u. Which is greater: z or 8?
8
Let l be (702/(-1521))/((-3)/26). Which is bigger: 98/31 or l?
l
Let d be 74 - (18 + (-36)/3). Let h = 5 - 69. Let f = d + h. Which is greater: -6 or f?
f
Let k be (((-6)/(-48))/((-210)/24))/((-6)/(-7)). Let h(g) = -2*g + 1. Let u be h(1). Is u smaller than k?
True
Let f(g) = -91*g**2 + 53*g - 282. Let m be f(5). Do -2291 and m have the same value?
False
Let p(u) = -u**3 - 10*u**2 - 11*u - 17. Let w be p(-9). Suppose 7*d = 3*d. Suppose 4*b - 4 = -d*b. Are w and b nonequal?
False
Let t = -40 + 42. Let c(s) = -s**2 - 2 - s**3 - 4 - t*s**3 + 2*s**3. Let u be c(0). Is u < -9/2?
True
Let z = -42 + 42. Which is smaller: -0.0584 or z?
-0.0584
Suppose -33*x = -6*i - 29*x - 70258, -8 = 4*x. Is i less than -11711?
False
Let h = 44.5 + -24.5. Let g = 19.2 - h. Let a = -3 + 2. Is g smaller than a?
F