
Suppose 312 = 2*p - 27*z + 25*z, 0 = -5*p - 2*z + 752. Is 151 < p?
True
Let h be -1 + 2*1 - (-23020)/(-16280). Let x = 3/74 - h. Let d = 26/33 - x. Are d and -0.9 equal?
False
Suppose -3*x - x + 312 = 0. Suppose -g + 80 = x. Suppose 2*b - 2 = g*p, 4*b - 3 = -p + 6*p. Is p <= -13?
False
Let g = 2/11143 - 18865103/22286. Let r = g + 882. Let l = 35 - r. Which is smaller: l or 1/11?
l
Let u(d) = d**2 + 23*d + 89 - 2*d**2 - 26*d. Let g be u(8). Which is greater: g or 8?
8
Let i be (-5)/((-630)/108 - (-1 + -4)). Let s(a) = 8*a - 39. Let w be s(i). Which is bigger: 12 or w?
12
Let d be (-14)/9 + 840172/(-2115). Which is smaller: d or -398?
d
Suppose -r + n = -115, -4*r - 3*n + 166 = -259. Suppose -v + 2*z - 76 - 34 = 0, 2*z + r = -v. Are v and -110 equal?
True
Let o be (2110/633)/(2*2/(-18)). Let z = -14 - 4. Which is smaller: o or z?
z
Let j = -149 - -290. Suppose -1200*w + 1205*w - 715 = 0. Which is bigger: j or w?
w
Suppose -31*r + 1966 = 73*r - 2090. Which is bigger: 41 or r?
41
Let c(n) = -220*n**3 - 2*n**2 - n. Let r be c(-1). Let a(b) = b**2 - 3701*b + 219. Let w be a(0). Is r greater than w?
False
Let d be (1 - -1) + (58 - 27 - 32). Let s = -5396/21 - -257. Which is smaller: d or s?
s
Suppose 0 = -3*l - 9, r - l + 4*l + 486 = 0. Let f be ((-3)/(-9) - (0 - 0))*1608/(-2144). Which is greater: r or f?
f
Suppose -4787 + 2169 = -14*l. Are l and 0.06 non-equal?
True
Let b(o) = -2*o**2 - 25*o + 14. Let w be b(-16). Let s = w - -99. Is 18/13 greater than or equal to s?
True
Suppose 0 = 42*y - 58*y - 752. Let k = 441 - 490. Which is greater: k or y?
y
Let z be 2072/392 + -1*2. Let v = -285/91 + z. Which is bigger: v or 2/19?
v
Let u(q) = q**2 - 44*q + 166. Let i be u(43). Let g be ((-10)/30)/((-1)/i). Let b be (-12)/((-1)/7*2). Is g greater than or equal to b?
False
Let c = 45248 - 8732832/193. Which is bigger: 1 or c?
1
Suppose 94866 = 297*t - 394*t. Is t greater than -976?
False
Let t be (-452)/(-530) - (-8)/(-20). Let b = -2346/265 + t. Let d be -1*((-1)/(-3) + 80/12). Is b at most d?
True
Let j(s) = -s**3 - 25*s**2 - 103*s + 162. Let a be j(-24). Which is smaller: 10286/5 or a?
10286/5
Let g = -38007 + 38008. Let m = -15978 - -80239/5. Let s = m - 71. Are s and g equal?
False
Suppose 147*k = 2244 - 6654. Which is smaller: -108 or k?
-108
Let z be 10/6*36330/(-1225)*-7. Is z smaller than 348?
True
Suppose 37*k + 13753 = 54*k. Which is smaller: 2 or k?
2
Let f = -718.71 + 718.61. Let u = 69 + -236. Which is smaller: u or f?
u
Let z = 5 + -126. Let g = -122.1 - z. Which is smaller: g or -1.6?
-1.6
Let o = -968342/44091 + 593/27. Is 1 <= o?
False
Suppose -2*x - 3*x = -80. Suppose -1002*p + 559*p = -517*p + 1036. Is x greater than p?
True
Let n(j) = -j**3 + 17*j**2 + 70*j + 110. Let i be n(-9). Is i smaller than 1592?
True
Let r = 16226774/401211 - 2/44579. Suppose -20 = -5*b, 0 = -10*w + 5*w + 5*b + 185. Which is smaller: r or w?
r
Let d = 4883/7 - 699. Let m = 437966/7 - 62567. Which is smaller: d or m?
d
Let q(t) = -t**3 - 10*t**2 + 11*t + 3. Let x be q(-11). Suppose -3*n = -5*u + 4*u + x, 5*u = 5*n + 5. Let z be (n + 4)*3/(-96). Is z at most as big as 1?
True
Let t = -6 + 3. Let i be (1482/(-195))/((-2)/(-110)). Let d be (t - -1)*19/i. Which is greater: -1 or d?
d
Suppose 11*l - 10*l = 22*l + 2058. Which is smaller: l or -491/5?
-491/5
Let z(l) = -l**3 - 25*l**2 + 16*l + 533. Let u be z(-27). Which is smaller: 1561 or u?
u
Let o = 25211 - 23569. Are o and 1653 unequal?
True
Let r be (-1728)/(-240)*50/3. Do 130 and r have different values?
True
Let w = 48 + 29. Let c be ((-6)/(-21) - 0)/((-957)/w). Suppose 0 = 3*a + 5*q - 3, 0 = -a - 2*a - q + 3. Which is greater: c or a?
a
Suppose 4*w + 3 + 2 = -5*b, 20 = 3*w - b. Suppose l + 290 = 2*y, -l + 0*l - 731 = -w*y. Let i = -3379/23 + y. Is 0 at most as big as i?
True
Let u(l) = l**3 + 79*l**2 - 162*l - 232. Let i be u(-81). Is -1164/5 >= i?
False
Let t be 33381/(-75) + (-60)/(-750). Which is smaller: t or -438?
t
Let y = 3118 + -3152. Which is greater: y or -20?
-20
Let q(h) = -27*h**2 + 4*h**2 + 8 + 1589*h + 4*h**3 - 1594*h. Let z be q(6). Which is smaller: z or -5?
-5
Suppose 3*x - 5*k = 197, -79*k + 83*k + 75 = x. Is x >= 59?
True
Let b be 1600/60*84/(-8). Does -278 = b?
False
Let w = 1/29 + 3507/58. Let h = 3499/58 - w. Are h and -1 unequal?
True
Let l be 8/(-6)*3/26. Let m be (3/(-12))/(-1 - (12 - (-188)/(-16))). Which is smaller: m or l?
l
Let b(u) = -22*u - 112. Let h be b(-6). Suppose 3*z = q + 1, 7*z - 3*z = 4*q + h. Which is smaller: q or 4?
q
Let g(z) = z**3 + z + 1. Let b = 39 + -39. Let y be g(b). Let m be 1/9 - (-649)/(-4950). Which is smaller: m or y?
m
Let g = -5517/31 - -594358/155. Let v = g + -3668. Which is smaller: -12 or v?
-12
Let f(b) = 2*b - 53. Let r be (12 - 4) + (-4)/(-2). Let l be f(r). Is l >= -32?
False
Let i = 3667 + 1222. Is i greater than or equal to 0?
True
Suppose -126 - 68 = -2*g. Let y = g + -85. Let m(f) = f**2 + 2*f - 3. Let h be m(-5). Is y greater than h?
False
Let g be (-158750)/950100 + (39/18 - 2). Are -1 and g equal?
False
Let t be 2/7 + (-6)/21. Let i = -2/28913 - 115450/2920213. Which is greater: t or i?
t
Suppose 101 - 1515 = 86*a + 908. Are a and -61 unequal?
True
Suppose -2*o - 2*o = 0. Let x be 4/1 + -3*(-96)/36. Let h be 28/21 - (0 - (-4)/x). Which is smaller: o or h?
o
Let p(y) = -3*y**2 + 148*y - 39. Let u be p(42). Is u less than 885?
False
Let u be 514/12 - ((-51)/(-18))/(-17). Suppose 48*c - 5 = u*c. Which is smaller: 6/13 or c?
6/13
Let a = 81523 + -5788035/71. Which is smaller: 0 or a?
0
Suppose -2*w - 10 = -7*w. Let l be w - (-2)/((-4)/2). Let p = 1481675/333 - 40046/9. Are p and l equal?
False
Let t be 1 - (8 - (12 - 4)). Are 30/437 and t equal?
False
Let s = -10/127253 + -456412811/556095610. Let d = 19/23 + s. Do 1 and d have different values?
True
Let v = -9.79 + 10.483. Are v and 8 unequal?
True
Suppose -3*u + 15 = 0, -52 = 4*q - 2*u + 30. Let s be (-3136)/q + -8 + (-630)/(-81). Is s != 173?
True
Let d = 46 - 44. Let v be (234/(-135))/(8/(-10)). Is v > d?
True
Let j = 127/51 + -42/17. Suppose 16*z + 36 = 22*z. Suppose -4*u = 2*u - z. Which is bigger: u or j?
u
Suppose 15*q - 5*g = 17*q - 684, -3*q + 4*g = -1072. Let m = -1764/5 + q. Is -4 bigger than m?
False
Let c = 0.0993 + -118.4193. Let n = -117 - c. Which is bigger: n or 1?
n
Let c = 0.0574 - -252.9426. Let x = -251 + c. Are x and -4 equal?
False
Suppose -5*y - 1196 = 4*c, -725 = -0*y + 3*y - 5*c. Which is greater: y or -0.2?
-0.2
Let v = 202673 - 2231645/11. Is v smaller than -205?
False
Suppose -7*r + 3*r - 4*m = -183 - 69, 0 = -m. Is r bigger than 63?
False
Suppose 51*a = 229 - 280. Which is smaller: 2/7987 or a?
a
Let h = -38110705/10659 + 67928/19. Let x = h - 8/187. Are 2.8 and x non-equal?
True
Suppose 730 = -3*i + 4*q - 29, 5*q = 15. Which is bigger: i or -242?
-242
Let o(f) = -6*f + 210. Let a be o(36). Let b be (19/(-133) - 48/(-238))*a. Let j = 5 + -4. Which is bigger: j or b?
j
Suppose -5*o + 21 + 8 = 3*d, -2*o - 3*d = -17. Suppose -o*z = -4, -h + 0*z = -4*z + 12. Let k be 33/(-81) - ((-12)/(-18))/(-2). Which is bigger: k or h?
k
Suppose -2*l - 69 = 51. Let x = l - -86. Suppose x = -5*k + 4*u + 8, -5*k - 8 = u. Is k bigger than -23?
True
Let c(d) = 76*d + 3376. Let y be c(-45). Let u be (1 + 1)*10/(-4). Let b be u*9 - (1 + -2). Is b > y?
False
Let x be -3*80/72*-3. Let k be ((-96)/240)/(-1 - (-18)/x). Suppose 4 = 4*o, 3*q - 3*o = -0*o - 3. Is k less than q?
True
Let q = -1567/41 - -261730/6847. Let p = 4 - 3. Let t = p - 0. Which is smaller: q or t?
q
Let y = 4218 - 4188. Is y greater than 29?
True
Let l = 7024 + -133458/19. Which is bigger: l or 38/23?
38/23
Suppose 12*v - 4836 = -14*v. Let b = v + -182. Which is greater: b or 26?
26
Suppose -40*m = 1593 + 1207. Which is bigger: m or -96?
m
Suppose l + 2 = u + 9, 0 = -u - 5. Let r be -12 + (-168)/(-8) + -1. Is l != r?
True
Let g be (2/(-11))/(2/(-1439)). Let p = g + -131. Let s = 373528/3 + -124509. Is s at most p?
False
Suppose 3*m + 146*w - 149*w = 4842, 3*m + w - 4850 = 0. Do 1616 and m have different values?
False
Let h be (-7828)/28 + (-91 - -84) + 104/14. Which is greater: -279 or h?
-279
Let f = 4/9899 - 21639266/128687. Let z(g) = -5*g**3 - 4*g**2 - g + 6. Let p be z(3). Let k = p - f. Is k not equal to 0?
