7. Which is smaller: -9/370 or x?
x
Suppose 2505*p - 2492*p - 767 = 0. Let n = -22 - -23. Which is smaller: n or p?
n
Suppose 21*r - 29*r - 1616 = 0. Let c = r - -203. Let v be (1 + -3)*1/46. Is v != c?
True
Let v(n) = 6*n**2 + 74*n + 14. Let l be v(-12). Suppose 2*i - 30 = -x - 3*i, 2*i - 81 = -5*x. Let j be -2 - -1 - (-6 + l/x). Is j < 5?
False
Let r be 1/3 - (-2)/3. Let p be -5 - (196/(-294) - (844/114 - 3)). Are r and p nonequal?
True
Let z be (1/(-3))/(-1*(-9)/(-351)). Which is greater: z or 43?
43
Let q = 2936 + -91022/31. Is -1 bigger than q?
False
Let c be ((-405)/69)/(54/(-108)*-1*2). Is -6 not equal to c?
True
Suppose 12*y = 15*y - 384. Let n = -56 + y. Let x be 2/(-6) - n/(-135). Is 3 > x?
True
Suppose -3163 - 155 = 158*o. Is o < 7?
True
Suppose -52*b = -358*b + 306. Is -1/11310 < b?
True
Let p be 1 - 0 - 176331/(-1855). Let b = 96 - p. Is 0.1 greater than b?
True
Let c = -2/3175 - 224/9725025. Are c and 1 unequal?
True
Let b be 70*(-2)/(-7) - 80. Is -76 < b?
True
Suppose -5*a + 29 = -4*p, 7 = -3*p + 5*a - 21. Let n be p*8/(-1) + 0. Let r be 20/n*4/(-5). Is -1/19 <= r?
False
Let r be 50/(-32)*((-133)/(-21) - 5). Is r less than or equal to -3?
False
Let r(l) = 5*l**2 + 167*l - 26. Let n be r(-42). Is 1780 less than or equal to n?
True
Suppose 0 = -2*l - 4*x - 4 - 8, -2*l - x = 0. Suppose 5*p + 69 - 299 = -l*a, -5*p = -4*a - 200. Let m = p - 44. Is -10 less than or equal to m?
True
Let p be (-21)/126 - (52/24)/(-13). Is p <= 19/165?
True
Suppose 0 = 3*i - 3. Let m = 1/157806 - 473455/5838822. Which is greater: m or i?
i
Let v(g) = -350*g - 3501. Let m be v(-10). Are m and -2/21747 equal?
False
Let a be (-10)/40 - (-2)/8. Suppose 2*w - 4*y - 276 = a, 9*y - 4*y = 3*w - 410. Let k be 12/(-42) + w/14. Which is smaller: 8 or k?
8
Let v = -322443/4 - -80200. Let l = 411 + v. Are l and 1/4 non-equal?
False
Let m = 521 + -463. Let n be m/(-4 - -5)*1. Is n at least as big as 54?
True
Suppose 2*u + u - u + 11718 = 0. Which is smaller: u or -5858?
u
Let p = -5699 + 5683. Is -536/31 at most as big as p?
True
Let i = 113 - 98. Let t be 37/(-31) - 0 - (-15)/i. Is t < 0?
True
Let a be -284 + -3 - (-15)/3 - 5. Let q = -286 - a. Is q at least 155?
False
Suppose 3*t + 5*m = -90, -2*t - 4*m - 137 = 3*t. Let k be (-24)/(-32) - (-19)/(-4). Let i be -69*(k - (-52)/12). Which is bigger: i or t?
i
Let a be ((-10395)/(-1735))/3 - (4 - 2). Let b = a - -697/1041. Is b at most 0.7?
True
Let f = -106.1 - -111.1. Let w = -94.8 - -115. Let k = w - 20. Which is smaller: k or f?
k
Let j = -8 - -7. Let u be ((-2)/2)/j*-1. Let z = 2/427 - 3011/4697. Is u at least as big as z?
False
Let j be (1/(-14))/((-1116)/(-434)*(-1135)/(-15)). Which is greater: -1 or j?
j
Suppose h - 40 = -u, -2*h + 1 = -h. Let j be 3/((-27)/6)*504/392*-42. Is j less than u?
True
Let k = -594 - -1135. Let s = k - 554. Which is smaller: s or 2.2?
s
Let l = -7.7 + 8. Let w = -68958 + 68969. Is l less than w?
True
Let x = 472 + -536. Let w = -70 - x. Is w not equal to -3?
True
Let y = -67 + 80. Suppose 12*n = y*n - 65. Let i = n + -89. Are i and -68/3 equal?
False
Suppose 52*z - 82*z + 66030 = 0. Which is greater: 2202 or z?
2202
Suppose 49*b + 21*b + 3*b = 3*b. Which is smaller: 4/3001 or b?
b
Let n be (-2)/1*(-1)/2. Let f(p) = 1349*p - 24277. Let c be f(18). Which is smaller: c or n?
n
Let i = 9154 - 2995. Which is smaller: 6158 or i?
6158
Let j = -9119 + 6657. Is j equal to -2463?
False
Let x = -4288 + 175818/41. Suppose 3*c + 74 = 71. Which is smaller: x or c?
c
Let j(g) = 6*g - 2855. Let i be j(-9). Is 0 less than i?
False
Let q be (2 - -1) + (-77 - (0 + 3)). Suppose 0 = 13*t - 31*t - 1422. Which is bigger: t or q?
q
Let r(g) = -2*g + 10. Let p be r(10). Let t be p/15 + 23/82. Let d = -5/164 + t. Are -0.1 and d unequal?
True
Let d = 4/11939 - 11999/179085. Are 2 and d unequal?
True
Suppose -4*w - 64 = -4*c, -4*w + c + 14 - 72 = 0. Which is smaller: -76/5 or w?
-76/5
Let k = -1927/6 - -962/3. Which is smaller: k or 0.1563?
k
Suppose 2*o - 3*s = 5*o + 9, -s - 3 = -5*o. Let q = 1331682513871/1859842769 + 2/35091373. Let h = 716 - q. Which is smaller: o or h?
h
Suppose 4*b + 3*p = -622 + 2084, 3*p + 722 = 2*b. Suppose 5*a + 3*v = 1769, 0 = -3*a - 2*v + 716 + 342. Is b >= a?
True
Let f be (41565/700)/(-17) - -8 - (-5)/(-4). Is f greater than or equal to 3?
True
Suppose -2 = -3*m - 14. Let d be (20/(-180))/((-158)/m). Is 1 smaller than d?
False
Let a(y) be the third derivative of -y**4/3 + 37*y**3/6 - 3*y**2. Let j(r) = -2*r + 9. Let t(h) = 2*a(h) - 9*j(h). Let v be t(3). Is v greater than 3/31?
False
Let b(c) = -4*c**3 + 4*c**2 - 9*c + 11. Let m be b(2). Let j(f) = -2*f**2 - 46*f - 10. Let q be j(m). Is q at least -16?
True
Let j = 2/201315 - -6509063/12280215. Let k = j + -12/61. Which is smaller: 3 or k?
k
Suppose -12*n = 141*n - 187 + 34. Which is smaller: n or -1/1166?
-1/1166
Let j = -0.0896 - 26.9104. Let p = -1384/9 + 154. Which is greater: p or j?
p
Suppose 42*i + 4739 = -7987. Is -302 less than i?
False
Let x(d) = 14*d**2 - 191*d + 2024. Let m be x(10). Is 1514 greater than or equal to m?
True
Let o = 2798 + -2711. Which is smaller: 92 or o?
o
Let u be -1 - 17606/26 - 120/(-780). Let q = -679 - u. Which is bigger: -8/185 or q?
-8/185
Let s = 2656 + -2130. Which is smaller: -0.2 or s?
-0.2
Suppose -33*q + 44 = 4*z - 37*q, 0 = 5*z - 3*q - 45. Which is bigger: z or -0.151?
z
Let q = 172 + -175. Let h be -11 + 8 + 5 - q*12. Is 38 bigger than h?
False
Let y(j) = -j**3 + 49*j**2 - 254*j - 19. Let p be y(6). Is p bigger than 252/65?
True
Let h = -6767/9 + 753. Let d = -52/63 + h. Which is smaller: d or 16/9?
d
Let w be (3 - 2)/((-6)/(-25)). Suppose 0 = -4*i - 12 - 328. Let q = -80 - i. Do q and w have different values?
True
Let h = -134.9 - -135. Is -211/14 at least as big as h?
False
Let g = -250436/663 - -4910/13. Is -3.1 < g?
True
Let k = -1 - -25. Let b(p) = p**3 - 5*p**2 + 5*p - 9. Let c be b(4). Let n be c*1 - (-36 - (-3 + -3)). Is k smaller than n?
True
Let p(y) = -y**2 + 4*y. Let t be p(6). Let v(z) = 76*z + 3060. Let w be v(-40). Which is greater: t or w?
w
Let i be 1/5*(-693)/11. Let o = 14 - 26. Is o at least as big as i?
True
Let i = 6.4 - 7. Let q = 23.5 - -8.1. Let u = q + i. Are -0.2 and u unequal?
True
Suppose -2*s + i - 16 + 0 = 0, 0 = -3*s - i - 19. Let a be (60/s)/(-10) + 14. Which is smaller: a or 16?
a
Suppose q + 14 + 3 = 4*k, -5*k = -3*q - 23. Let b be ((-3)/12*-4)/(-4 + -7). Let x = 2/11 + b. Which is smaller: q or x?
q
Let a = -803 - -977. Let p = a + -175. Do -0.02 and p have the same value?
False
Let c(s) = -s**2 + 13*s + 5. Let u be c(13). Suppose -u*r + 658 = -5*d + 58, 2*d + 2*r = -244. Let p be ((-22)/d)/(1*8*-1). Which is greater: p or -1?
p
Suppose 43*r = 42*r + 4. Suppose 2*n - 3 = g, -2*g - r = 3*n - 19. Which is greater: 51 or g?
51
Let x = 40.95 - 41.149. Is 0.6 < x?
False
Let i = 217/54 - -685/189. Let y = 25629/3346 - i. Which is smaller: y or 0?
0
Suppose 289*h + 104 = 297*h. Suppose 0 = -3*l + 16*l + h. Is l not equal to 1/218?
True
Let p = 4224 + -4223. Let k = 1322/7 + -22425/119. Is p <= k?
False
Let v = -454805/29971 - -622/41. Is -0.2 not equal to v?
True
Let k be (0/(-3))/((-2)/(-2)). Which is smaller: 2/2429 or k?
k
Let i = 85 - 81. Suppose -i*m + 72 = -4*r, -11*r - 2*m = -12*r - 19. Is r greater than -12?
False
Let t = -378 - 66. Which is smaller: 2 or t?
t
Suppose -4 = -v + 5. Suppose -v*d = -5*d - 4. Let b be 3 - ((-112)/120)/(d/(-6)). Are b and -3 equal?
False
Let f = 94 + -114. Let v be (-24 - 0) + 0 + 21 + f. Which is smaller: 0 or v?
v
Suppose -4*p + 209 = 37. Let x = p - 41. Suppose 2*n - 6*n + 40 = x*u, -5*n + 5 = u. Which is smaller: 29 or u?
29
Let x be (-28*(-2)/42)/(-3 - (-115)/39). Is -161/6 greater than x?
False
Let r = 0.12 + -0.22. Suppose 64*a + 2307 + 2356 = 567. Is a at least as big as r?
False
Let o = 20.053 + -20. Let n = -0.172 + o. Which is smaller: -2 or n?
-2
Suppose 2*z = -z - 4*h - 19, -4*z - 4*h - 28 = 0. Let k be (-1)/z - (-3856)/(-36648). Do -1 and k have the same value?
False
Let s be 3*3 - (-21 + 27 + -3324). Is 3326 bigger than s?
False
Let m be ((-3)/336*-16)/((-40)/55). Which is smaller: -1 or m?
-1
Suppose 2*s = -2*s - 4. Let r be (-276 - -271) + (-106)/(-28). Which is greater: s or r?
s
Let w(s) = 5*s - 54. L