 n?
True
Let x be (-29898)/(-76) + (-1)/2. Let k = x - 393. Is -1 bigger than k?
False
Let z = 35212 + -34918.11. Let q = -291 + z. Let w = 0.11 + q. Is 2/9 <= w?
True
Let n = -215.5 - -216. Let t = -1862/13 + 143. Which is bigger: t or n?
n
Let h(n) = 12*n**3 - 3*n**2 + 2*n - 4. Let z be h(2). Let d be (198/z)/(6/8). Which is bigger: d or 4?
4
Let v = -0.004 + 10.504. Let j = v - 10. Let g = j - 0.5. Is g greater than or equal to 4?
False
Let d = -86 - -169. Let f = d + -64. Let g = -40 - -60. Is g at most as big as f?
False
Let h = 104 - 31. Let f = h + -66. Is f greater than or equal to 33/4?
False
Let y = -225 - -225.06. Is 0.4 not equal to y?
True
Suppose 0 = 3*d - 13 - 2. Suppose -5*o = -d - 0, -5*f + 330 = -5*o. Is 65 smaller than f?
True
Let g = 2155/46367 + -12/233. Which is greater: -0.2 or g?
g
Let b be (8/(-6))/((-30)/(-45)). Let r be b/5 - (-195)/(-200). Which is greater: r or -1?
-1
Suppose 2*s + 80 = -y + 10, 4*y - 116 = 4*s. Let k be 8/28 - 1920/56. Are s and k unequal?
True
Suppose -19 = -5*c - 0*y - 3*y, 0 = 3*c + 4*y - 18. Suppose -7*f = -2*s - 2*f + 9, 8 = 3*s - c*f. Let o = -8 - -12. Is s less than or equal to o?
True
Suppose 0 = 7*u - 33 - 65. Let y be (5 + u/(-3))*(0 - 0). Are 1/59 and y unequal?
True
Let i = -19/28 + 599/140. Suppose 20 = 4*g + 8. Do i and g have the same value?
False
Suppose 179 = 15*j + 269. Which is bigger: -11 or j?
j
Let n = 971/3510 - 1/135. Let u be (-282)/(-1820) - 4/(-10). Let h = u - n. Is 2 less than h?
False
Let c = -172 - -68. Let a = c + 103. Which is smaller: 2/429 or a?
a
Let s = -172 - -180. Suppose 0 = -4*j - k - 5, 4*j + s = 2*k + 6. Which is smaller: -91 or j?
-91
Suppose -2*u - 2*y = -0*y + 24, 4*u + y + 48 = 0. Let z = u + 8. Let g be -1 + 45/39 + (-943)/299. Is z > g?
False
Suppose -16*g + 27 = -43*g. Which is bigger: 1/92 or g?
1/92
Let a = 2 - 0. Is -63 smaller than a?
True
Let z be 1/((-5)/((-10)/8)). Let c = 0.064 + 0.066. Which is smaller: c or z?
c
Let i(x) = x**3 - 16*x**2 - 4*x - 22. Let t be i(16). Let y = -72 - t. Is y at most 15?
True
Suppose -2*p + 3*d + 682 = 0, 63*d - 1004 = -3*p + 58*d. Is 338 less than p?
False
Let a = 393 + -391.92. Which is greater: -2 or a?
a
Suppose -x - 5*c + 23 = 3*x, -5*c = -15. Suppose 7*k - x*k = 3*r + 127, -2*k - 90 = 2*r. Are -43 and r equal?
False
Suppose -2*j = -8 - 0. Let u = j - 1. Suppose -p - 4 + 11 = 2*m, u*p = -4*m + 15. Which is smaller: p or -0.2?
-0.2
Let s be -8 - (4 - (-1)/(-1)). Let a(k) = -k**3 - 10*k**2 + 13*k + 23. Let f be a(s). Which is greater: f or -1?
f
Let g = -647 + 42053/65. Is g less than 1?
True
Let f = -1/416 + 837/2080. Is 73 greater than f?
True
Let u be 8/(-20) - (-2232)/(-20). Let h be (-24)/u*4/(-3). Is 20 > h?
True
Suppose 143*i - 144*i = -3*y - 410, -4*i + 398 = -3*y. Is -1/5 greater than y?
True
Suppose 3*c - 30 = -4*f, -4*c - 2*f + 4*f + 62 = 0. Suppose 0 = -5*q - 3*b - 15, b = -q - 3*b + c. Are q and -5 nonequal?
True
Let v = 1.06 + 1.38. Let c = 2.6 - v. Let j = -2.16 + c. Is 1 less than j?
False
Suppose -t - 2 = 2. Let d be (-10)/(-6) - (32/(-12))/t. Which is greater: -2/7 or d?
d
Let w = -5736/19 - -302. Let u = -5 + 10. Suppose -3 - 9 = -5*r - 4*h, -r + u*h - 15 = 0. Is w equal to r?
False
Suppose -54 - 116 = -5*k. Suppose 926 + 757 = 48*r + 195. Which is smaller: k or r?
r
Suppose -15*v - 34 + 94 = 0. Suppose k + q - 6 - v = 0, -k + 8 = -q. Are k and 4 nonequal?
True
Suppose 0 = 2*u + s + 376 + 63, -2*u + s - 441 = 0. Which is smaller: -221 or u?
-221
Suppose 0*v = -j + 3*v + 52, -5*v = j - 12. Let l = 46 - j. Are l and 9 equal?
True
Let m = 0.082 - -0.029. Let c = m - 0.011. Is c at least 0.41?
False
Let v(g) = -g + 5. Let n be v(4). Suppose c + n = -5. Let d = c - -15. Which is greater: d or 10?
10
Let j be 6/9 - 1460/(-105). Is j > 14?
True
Let v(g) = 2*g - 2. Let l be v(-5). Let o = l + 18. Suppose o*t = d + t, -3*d = -2*t. Which is smaller: -2/7 or d?
-2/7
Let q = -79/13 - -8545/1404. Which is smaller: -1 or q?
-1
Let x = 33 - 1. Let d be 6/(-4)*(-1 - 1). Suppose 7*c = d*c + x. Which is smaller: c or 7?
7
Suppose 2357 - 113 = 22*d. Is d != 104?
True
Let x be (-828)/(-139) + 1056/(-176). Is x not equal to 0.1?
True
Let d(f) = f**3 - 3*f**2 - f - 1. Let q be d(3). Let v be (-76)/28 - (q - -1). Let l = 1 - -5. Which is greater: l or v?
l
Let y = 11 - 74. Let z = y + 63.1. Let b = 3 - 1.2. Which is greater: z or b?
b
Let x = 26 - 22.7. Is -2/7 less than x?
True
Let c be (20/8)/(2/4). Let n(d) = 5*d**2 - 14*d - 11. Let b(k) = k**2 - 3*k - 2. Let v(x) = -11*b(x) + 2*n(x). Let s be v(c). Is 0 less than s?
False
Suppose 0 = -j + 4*j - 18. Suppose 0*m + 4*m = -2*q - 14, 2 = -2*q + 2*m. Let i be -12*2/q*(-6)/(-8). Is i not equal to j?
False
Let a(x) = -4*x - 7. Let t be a(-4). Suppose m = f - 5*f - 43, -3*m = t. Let z be 15/147*(-4)/f. Which is smaller: 0 or z?
0
Let g be 42/(-147) - (1 + -1). Which is greater: -17 or g?
g
Let o = 104 - 88. Which is greater: 76/5 or o?
o
Let s = 0.2 - 10.2. Let p = -0.041 - 9.659. Let r = s - p. Which is greater: r or -3?
r
Let h be -86*1/(2 + 0). Let w be 32/(-2)*((-22)/(-6))/((-4)/(-3)). Which is smaller: w or h?
w
Let p = 2.73 + -2.77. Which is greater: p or -15?
p
Let q be (16/(-10) - 0)/(3/15). Let v be (4/(-33))/(q/12). Which is smaller: 0 or v?
0
Let x(c) = -8*c - 37. Let o be x(-4). Which is greater: o or -37/7?
o
Suppose g + 8 + 25 = 5*b, 3*g + 49 = 5*b. Let q be (-2)/g + (-266)/104. Which is greater: -2 or q?
-2
Let m be 2 - ((-29)/(-13))/1. Suppose -3*j - 5*l + 248 - 874 = 0, -j - 218 = 4*l. Let n = -201 - j. Which is bigger: m or n?
n
Let b(a) = -2*a + 4*a + 5 - a. Let g be b(-4). Let u = 271/372 - -2/93. Are u and g nonequal?
True
Let k be ((-2)/33)/((-2)/(-18)). Let h(c) = -c**2 + 2. Let f be (((-63)/28)/(-3))/(3/8). Let i be h(f). Which is smaller: k or i?
i
Let t be 3*12/(-27)*-3. Suppose 0 = 3*l - 9, 4*l = -t*w - w + 2. Let i be w + 3*2/(-3). Which is greater: -6 or i?
i
Let n = 449/5 - 456/5. Let t = n + 23/20. Do -4 and t have the same value?
False
Let r = 20 + -11. Let x be (r/4)/(8/(-32)). Is x < -3?
True
Let s(j) = -j**3 - 2*j**2 + 2. Let n be s(1). Let y be 18/6 + 26 + n. Which is greater: 27 or y?
y
Let y(s) = s + 29. Let m be y(-23). Let a be 0 + (-6 - 4/((-8)/m)). Which is bigger: 4 or a?
4
Let h = 366 + -435. Which is smaller: h or -71?
-71
Let t(v) = 2*v + 1. Let d be t(5). Let m(n) = -n**2 + 64*n + 13. Let o be m(64). Which is bigger: d or o?
o
Let m = -28993 - -46765711/1613. Do -1 and m have different values?
True
Let z(n) = n**3 + 12*n**2 + 39*n + 3. Let f be z(-9). Which is bigger: f or -104?
-104
Suppose -2*c = -4*c - 3*t + 14, -14 = -2*c - 5*t. Suppose -c*a + 8*a = -25. Is a > -23?
False
Let a(k) = -k**2 - 9*k + 10. Let c be a(-10). Suppose 11 = -3*m - 1, -2*x - 8 = 4*m. Let z be 6/x + (-75)/(-10). Which is smaller: z or c?
c
Let m = 19 - 17. Let r be 14 + 8/(m - -2). Let h be ((-8)/r)/(2/4). Is -3/2 > h?
False
Let z = 188 - 187. Is z < 0?
False
Let u = 793 - 805. Which is smaller: u or -2.8?
u
Let t be ((-4)/(-10))/(9/(-90)). Let y be t/(-6)*6/(-14). Let u(v) = -v**3 - v**2 + 1. Let c be u(-1). Which is bigger: c or y?
c
Let u = 1.534 + 15.466. Which is bigger: u or 1/17?
u
Suppose -75*r - 4 = -73*r + 2*p, 2*r = p - 16. Are r and 93 non-equal?
True
Let t = 32.4 + -31. Let i = 0.4 - t. Which is smaller: -7 or i?
-7
Suppose 0 = -2*f - 16 - 4. Let m(k) = k**2 - 13*k + 27. Let t be m(9). Is f less than or equal to t?
True
Let k = 214 - 209. Which is greater: k or 191?
191
Let i be -1*-3*2118/22. Let u = i + -289. Let g be (-2 - -3)/(-4 + 3). Which is smaller: g or u?
g
Let z(p) = 5*p**2 + 54*p + 325. Let f be z(-6). Is 181 at least f?
True
Let r be (-2)/((-1)/(1/1)). Let z be (100/35)/(r/7). Do 12 and z have different values?
True
Suppose -31*o + 16*o - 1905 = 0. Which is smaller: o or -129?
-129
Let z = -3/109 + -125/3379. Let l = z + -11/310. Let s = -4 - -4. Which is bigger: l or s?
s
Let l(p) = 2*p**2 + 21*p - 63. Let i be l(-13). Let w = -7/33 + 79/165. Let f = 16/15 + w. Is i >= f?
True
Let n = 629 - 629.4. Which is smaller: n or 1/52?
n
Let h be 9/(-6)*2/(-6)*0. Are h and 12/19 nonequal?
True
Let v = -81.8 - -82. Is -54 greater than v?
False
Let d be ((-8)/(-2) - (-1995)/(-498))*3. Which is bigger: 1 or d?
1
Let r = -44 + 1