Let p = 765 - 786. Which is smaller: p or 41?
p
Let i = 62051/182 - 681/2. Let h = 281 + -3655/13. Let q = i + h. Which is smaller: 1/28 or q?
1/28
Let n = 5000 + -5000.1. Is n less than or equal to 7183?
True
Let v = -11591/33 + 1051/3. Let o = -0.35 - -0.35. Let w = o + -0.1. Which is smaller: v or w?
v
Let f(a) = -29*a + 509. Let i be f(18). Are i and -256 unequal?
True
Let d(c) = -144*c**2 + 1645*c - 15. Let u be d(11). Are u and 657 unequal?
True
Suppose -318 = -6*z - 18. Let w = 48 - z. Let k be (-9)/2*w/(-21). Which is greater: k or 1?
1
Suppose -4*z + 13*u - 10*u = -11, 3*z = -5*u + 30. Let j be -2 + -3 + 85*3/z. Is -0.1 at least as big as j?
False
Let q be (-25 - 128/(-16)) + 1022. Is 1005 greater than q?
False
Let s be (9/(-30))/(52/65). Let i = 257 - 265. Which is smaller: i or s?
i
Let v be ((-90)/8 - (1 - 7)) + (5 - 0). Let f be 957/(-22) + 1/2. Which is smaller: v or f?
f
Let j(o) = -4*o + 38. Let f be j(8). Suppose 20*r + f = 19*r. Do r and 6 have different values?
True
Suppose o = 9*o - 16. Suppose 4*b + 5*q + 0*q = -52, -o*b - 26 = 5*q. Which is smaller: b or -11?
b
Let j = 8798 + -8799. Is j < 2/791?
True
Let m(h) = h**3 + 7*h**2 - 8*h - 10. Let x be m(-8). Let w = 17 - -168. Let k = w + -187. Which is smaller: x or k?
x
Suppose -41804 = 4094*c - 4108*c. Which is smaller: c or 2985?
2985
Let q be 14/40950*-2913 - (-3 - -2). Is q less than 1?
True
Let p = -330 + -3712. Are p and -4042 equal?
True
Let y = 37584544216/97489 + -385526. Is -1 smaller than y?
True
Let n(g) = 6*g**2 - 39*g + 272. Let b = 271 + -265. Let r be n(b). Is r > 254?
False
Let w = 2305.394 + -2311. Let l = w - -5.7. Let m = -0.006 - l. Which is smaller: m or 0?
m
Let a be ((-18)/(-12))/((-2)/(-4)). Suppose 0 = a*z - 14 + 2. Suppose 4*d - d - z*g = 16, 8 = 4*g. Is d greater than or equal to 7?
True
Let c(r) = -11 - 9 + 16*r - 9 + r**3 + 8*r**2 - r**3 - 2*r**3. Let a be c(5). Which is bigger: 4/57 or a?
a
Let s be -4 + 5*(-10)/25. Let a be ((-40)/(-75))/(52/s). Which is smaller: 1 or a?
a
Let h be 24/(-374) - 26/(-143). Let n(q) = 2*q**2 + 5*q - 2. Suppose -27 = 6*r + 3*r. Let f be n(r). Is f at least as big as h?
True
Let k be -1 - 0/((6/3)/((-5)/5)). Let y be (-8)/6*135/730. Which is smaller: k or y?
k
Let v = 7 - 7. Let m = -125/2781 + -3/103. Is v smaller than m?
False
Let z be (3/135)/(4/(-4614)) - (-184)/(-1104). Let k be ((-20)/6)/(4/30). Is z bigger than k?
False
Let i = -5769 - -5770. Which is smaller: i or -7/1503?
-7/1503
Let o = -24 + 26. Suppose -5*x - s + 0*s + 9 = 0, -s + o = -2*x. Let c = 0.02 - 4.02. Is x at most as big as c?
False
Let m be (-4 - -3) + (-220 - -7). Let i = -1283/6 - m. Is i less than -2/7?
False
Let t = 7 + -7. Let x be (t + 0)/(5/5). Let m = 1501/45 + -169/5. Which is greater: m or x?
x
Suppose 3*i - 4*y = 1107, -31*i + 1810 = -26*i + 5*y. Let b(v) = 90*v**2 - 4*v - 4. Let p be b(-2). Which is bigger: i or p?
i
Let y = 2424 - 2426. Which is bigger: 4992 or y?
4992
Suppose 2*b = r + 11227, 4*r = 157*b - 160*b + 16835. Is b greater than or equal to 5613?
True
Let w be 2/(-3) - (-122)/174. Let p = 127 + -124. Suppose 5*x - 20 = 5*a, 8 - 2 = p*a + 3*x. Is w less than or equal to a?
False
Let t be ((-5)/2)/((-13)/(-26)) + -558. Let r = -4495/8 - t. Are r and 1 non-equal?
True
Suppose -h + 3*z = z + 25, 4*h + 5*z = -35. Let r = 96733 - 677227/7. Is h smaller than r?
True
Suppose 5*i - 3*s + 8*s - 930 = 0, -2*s + 744 = 4*i. Let m = -1300/7 + i. Which is bigger: 0.072 or m?
m
Let c be (4 + -3)/1*3. Suppose -100 = -c*x - 301. Which is bigger: -66 or x?
-66
Let u = 224 - 223. Let g be (-30)/4*(u/(-3) - 2). Which is bigger: 18 or g?
18
Let u = -228 + 384. Let r = u - 164. Suppose -3*x - 6 = 6, 4*d + 36 = -3*x. Is r at most d?
True
Suppose -67*m - 3*m - 273 + 6293 = 0. Is m greater than 86?
False
Let h be (4*-1)/(-2)*(-69)/(-6). Suppose 18*n - 5 = h*n. Let v be (1/26)/((-2)/(-12)). Which is smaller: n or v?
n
Let v = 0.08312 - 4.08312. Are v and 1.61 equal?
False
Let u be 12/(-2)*4/18*-3. Let b be u*1/(-10) - 17/(-5). Suppose -4*w - 32 = -4*v, w - 6*v + 10 = -b*v. Which is smaller: w or -8?
-8
Let j(g) = -8*g**2 - 73*g - 7. Let q be j(-7). Is q less than 1242/11?
True
Let k be 7/(-4)*(-53)/(901/(-68)). Which is smaller: k or -33/4?
-33/4
Suppose -124*r - 5373 = -420*r - 301*r. Are 1.119 and r unequal?
True
Let k be (1*1/(-1345))/(30/(-60)). Which is bigger: 1 or k?
1
Let l = 23972 - 23896. Are 12/17 and l unequal?
True
Let v = -100 + 109. Let i(z) = -z**3 + 8*z**2 + 9*z + 1. Let w be i(v). Let q(r) = -6*r**3 + 2*r - 2. Let h be q(w). Is -6 at least as big as h?
True
Suppose -32*i = -12*i + 14*i. Which is bigger: 4/309 or i?
4/309
Let p be 1*(-2)/(-526)*(-385)/(-70). Let i = 29335/5786 + p. Is i greater than or equal to 1/2?
True
Let c = 1596.61 + 44.39. Do c and 0 have the same value?
False
Let n = 7/3 + -17/6. Let v be ((-36)/30)/(((-54)/20)/9). Suppose 7*g - 3*g = v*o + 300, 290 = 4*g + o. Is n less than or equal to g?
True
Let o = -91622 - -167576644/1829. Do o and 0 have the same value?
False
Suppose -f - 6 = -4, 2*y - 2*f - 12 = 0. Suppose x = -y*x + 5*o + 50, -3*o - 10 = -x. Let t be (-24)/30 - 352/x. Do t and -36 have different values?
False
Let j be 38/(-57)*(10 - 1). Let m(z) = z**3 + 4*z**2 - 6*z - 9. Let o be m(j). Do o and -45 have different values?
False
Suppose 82533 = -19*y + 108810. Is y not equal to 1374?
True
Let g = 81 - 77. Suppose 5*t - 13 = g*p, -4*p + 3*t = 6 + 5. Which is smaller: p or -5/4?
p
Suppose 3*j - 4*p = 8*j - 2302, 3*j - 1396 = 5*p. Suppose -162 = -13*b + j. Which is bigger: 140/3 or b?
b
Let a = -47.4 + 8.4. Let b = 77 + a. Let j = -38.1 + b. Is 2 bigger than j?
True
Suppose 2*s = 3*s - 4*g - 1317, -3*g = s - 1331. Does 1324 = s?
False
Suppose 4*g - 520 = -2*k, 4*k - 149 = -2*g + 117. Suppose q = 3 + g. Suppose -15*h = -18*h + q. Is h > 45?
False
Let o = -644/11 - 1099/22. Are o and -110 equal?
False
Suppose -22 = -a - 25. Let r be (-4)/(-246)*a/(-4). Which is greater: r or 0?
r
Suppose 4*m - i = 2, 3*i + 4 - 10 = 0. Let r be ((-162)/85 + 2)/(213/(-1065)). Is r at least as big as m?
False
Let h = -339 - -343. Let c(w) = -3*w**3 - 2 + 4*w**2 + 0*w**3 + 2*w**3. Let f be c(h). Which is smaller: f or 2?
f
Let z = 1036 + -3106/3. Let y = -99856/21 - -4754. Let n = y - z. Is n at least as big as -1?
False
Suppose 0 = -63*n + 132491 + 224089. Is 5657 bigger than n?
False
Let h be 5*(-6 - (3 - 3)). Suppose 2091*o = 2035*o - 1225 - 455. Is o at most as big as h?
True
Suppose 2*h - 6 = -h. Suppose -h = r + 4. Let z be (3 - 0/(-4))/(60/48 - 2). Which is smaller: r or z?
r
Let k be ((-2)/6)/((-7 - -6)/411). Suppose -6*d - 4*n = -d - k, 3*d - 91 = 2*n. Let f = 64 - d. Which is bigger: 34 or f?
f
Suppose -3705 = 2*g - 7*g + 3*i, 4*g = -i + 2981. Let r = 3744/5 - g. Which is smaller: 6 or r?
r
Suppose -7 = -x - 2*a, 0*a + 5 = 5*a. Let p be (-1)/(21/x - 4). Let j be (-2 + -4 - p) + 9/4. Are 1 and j nonequal?
True
Suppose 1 = -5*o + 66. Let p be (-17 - (-2076)/120)/(1/10). Suppose y + 40 - o = -p*w, -75 = 5*y - 5*w. Which is bigger: -1 or y?
-1
Let g = 923.8 + -921.8. Is g smaller than 15.67?
True
Let j = 74 + -69. Suppose 4*s + o + 104 = 5*o, 0 = s + j*o + 14. Is s less than or equal to -0.2?
True
Let m = -192/121703 + 2365190886/9371131. Let a = 1782/7 - m. Is -2 bigger than a?
False
Let y = 3843/8 + -20348677/42360. Is -1 at most as big as y?
True
Let i(t) = 2*t**3 - 8*t**2 - 7*t - 8. Suppose 13 = 2*h - 1. Let b be i(h). Let u = 3793/16 - b. Are -1 and u equal?
False
Let d = -18.1125 + 1.1125. Suppose -s - 2*s - 5*p + 8 = 0, 0 = -5*p - 10. Let w = s + -3. Which is smaller: d or w?
d
Let v = -241064/11 - -21901. Are 8 and v non-equal?
True
Suppose -j + 45 = 28. Suppose -18*h + 12 = -j*h. Let o = -16/7 - -89/42. Is h > o?
True
Let i = -4245 + 4243. Is -32/41 >= i?
True
Let s = -26 + 20. Let q be 81/s*1*6/(-288). Which is greater: 0 or q?
q
Let z = -438 - -401. Suppose 3*q = 5*a + 15, -4*a + 4 - 16 = -2*q. Which is bigger: q or z?
q
Let z(a) = -25*a + 126. Let d be z(-4). Are d and 220 non-equal?
True
Let k = 0.34239 + -0.14239. Which is bigger: 2/2631 or k?
k
Let o be -6*(136/(-2295))/8. Let y(g) = 2*g + 19. Let m be y(-10). Is o not equal to m?
True
Let w(k) = -88*k - 3. Let s be w(-5). Let v be s/(-4) + -2 + (-