ue
Suppose -1 = j, j = 2*i + 2 - 27. Let c be i/3 + (-4 - 104). Let x be 1/((-18)/c) - 8/(-36). Is 31/5 at least x?
True
Suppose 36 = 4*s + 4*f, -2*f = -5*s - 3*f + 25. Suppose 0 = -3*l - 5*n - 7, 0 = 15*l - 19*l - s*n + 4. Suppose 0 = -t - 0 + 6. Is t smaller than l?
False
Let r(t) = 3*t**2 - 3*t - 9. Let z be r(4). Let l = -20 + z. Suppose -2*k - 30 = -5*c, -2*c - 3*k - 418 = -449. Is c at least l?
True
Let h(i) = 3*i**2 + 87*i + 1. Let z be h(-29). Let k = 56 - 93. Let x = -21 - k. Which is greater: z or x?
x
Let w = 1031.67 - 1024. Do 0 and w have the same value?
False
Let d = 142.02 - 143.52. Are -0.125 and d equal?
False
Suppose -f = -o + 12 + 8, -4*o = 8. Let l be 70/(-22) - 4/f. Is l greater than or equal to -32/13?
False
Suppose -67*v + 5*m = -72*v - 15, 0 = -2*m - 10. Is -1098 smaller than v?
True
Let f be (-121)/(-8) - 2/16. Suppose -f = -3*y + 60. Which is smaller: 23 or y?
23
Let x(p) = -4928*p**3 - 8*p**2 - 5*p + 7. Let d be x(1). Do -4933 and d have the same value?
False
Let x = 438955/13528451 - 27/829. Which is smaller: 1 or x?
x
Let l(o) = -2*o**2 - 62*o + 477. Let d be l(-46). Which is greater: -906 or d?
d
Let b(h) = -454*h - 489. Let m be b(18). Is m less than or equal to -8660?
True
Let n = 24226 - 24225. Are 1/1959 and n equal?
False
Let u = -25.1 + 29. Let m = -4.6 + 0.6. Let n = m + u. Is n not equal to -39?
True
Let l = 1 + -2. Let p be 495/(-30525)*(-4)/(-3*4). Do l and p have the same value?
False
Let l be -285 + (12/(-16) - (-18)/(-8)). Let g = 290 + l. Let m be -2*1 + -3 + 4. Which is smaller: m or g?
m
Let g be -4 - 15/4*108/27. Which is bigger: -43 or g?
g
Let q = 9801 - 9806. Which is bigger: q or -181/45?
-181/45
Let l be ((-6)/5)/(-4 + 90/25). Suppose l*x + 8 = -4*n, -3*n + x - 1 = 2*x. Let o be (-2)/(-4)*(1 + 1) + n. Is o equal to 5/3?
False
Let p(v) = v**3 - 29*v**2 - 27*v - 90. Let n be p(30). Suppose o + 5*q + 73 = n, -3*o + 89 = -4*q + 365. Is o at least -89?
True
Suppose -14 = 2*x - 26. Let y be ((144/30)/x)/(14/(-265)). Are -14 and y nonequal?
True
Let y be ((1 - 2) + 0)/(1/(3/87)). Which is greater: 13.6 or y?
13.6
Suppose 5*y = 6*y + 133. Let c be (-335)/(-1)*(-4)/10. Is c < y?
True
Let w be 0 - -14 - 4560/65. Which is bigger: w or -55?
-55
Let p be (0 - 0) + (-24)/106. Let z be -20 + 120/51*(-578)/(-68). Is p at most as big as z?
True
Let f = 6 + -4. Let o be 2/4*f/(-17). Suppose -28 = -2*h + 78*c - 75*c, 37 = 3*h - 4*c. Does h = o?
False
Let k = 26.75 - -1.35. Let n = -28.2 + k. Which is smaller: n or 0.56?
n
Let u = 20.5 - 4.2. Let k = u - 16.5. Let o be 4/((-7)/(-3)*-2). Do o and k have different values?
True
Let r be 16/3186*3291201/(-381450). Let n = 1/63575 + r. Let d = 4/59 - n. Which is smaller: d or -1?
-1
Let i be -2 + 1 - (0 + 0). Let q = 31 + -27. Let s be (-65)/(-135)*q + -2. Is s < i?
False
Let j = -29.75 + 30. Let k = j + 6.75. Let r = k + -8. Is 16 greater than or equal to r?
True
Let d = 6806.0145 - 6806. Is d >= -3?
True
Let a = -2719/12 + 227. Let w = -81.6 + -6.4. Let f = w - -89. Which is bigger: a or f?
f
Let f be -3 + (240/(-2))/(39 - 41). Suppose -8 = 2*d, 5*a - d = 3*d + 306. Is a at most as big as f?
False
Let i = 8.0899 + 0.0101. Let q = 11.9 + i. Which is bigger: q or 2/9?
q
Let z be -3 + (2 - 5) + 1. Is z at most -228/47?
True
Suppose -3*g = -b + 306, 9*g = 4*g + 25. Let u = b - 241. Which is greater: 79 or u?
u
Let i be (-5)/30 + 635/(-1068). Let k = i + 1/89. Is -1 at least as big as k?
False
Let i = -4081 - -795797/195. Suppose -2*f + 0 - 42 = 2*k, -k + 5*f = 3. Let b(u) = -u - 19. Let o be b(k). Which is bigger: i or o?
i
Let b be 19 + 6 + 72709/(-2907). Let t = 3 - 4. Is b < t?
False
Let j = 1153281/25 - 46125. Are 7 and j unequal?
True
Let a be (0 - 6/16) + 28494/(-48). Let y be (a/252)/(1/(-2) - -1). Is y less than -6?
False
Let u(w) = w**3 + 16*w**2 + 30*w - 82. Let m be u(-12). Is 78 > m?
False
Suppose -98*w = -4*w + 144854. Is w < -1540?
True
Let s be ((-1216)/(-6))/((-314)/3768). Which is greater: s or -2430?
-2430
Let t be (-1 - 1)*(-2)/4. Let o(a) = 20*a**3 - 2*a**2 + 4*a - 2. Let l be o(t). Is l greater than 96/5?
True
Let b be (-1)/10 + (-420152)/(-2320). Is b <= 2342/13?
False
Let u = -237 - -236. Suppose -3*g - 4*g = -56. Let l be 4/56*g/(-7). Is u greater than l?
False
Let s be 19/6 + ((-4)/(-2))/(-12). Suppose 5*c = 2*v + s*v + 40, -8 = 2*c + 4*v. Suppose -5*m = -c*m + 1. Is m >= 2/5?
False
Let n(x) = 4*x**2 + 75*x + 55. Let p be n(-18). Which is bigger: 5/382 or p?
p
Let p = 60273200/23219 - 18171/7. Is p != 1?
True
Let t = -0.071445 + 0.011445. Let r = -6 - -5.92. Which is greater: t or r?
t
Let m = -49 - -53. Suppose -m*k = 3*d - 8*d - 59, 5*k - 78 = 2*d. Which is bigger: k or 0.3?
k
Let i be ((-850)/(-20))/(5 - (-99)/(-18)). Which is bigger: -90 or i?
i
Let x = 8.926 - 41.926. Let z = -47 + 51. Is x at most z?
True
Let b be ((-3)/2 - -1)*(-43968)/(-96). Let t = -159 - b. Suppose 2*s = 2*r + 21 + 5, 5*r - 4*s + t = 0. Which is smaller: -20 or r?
-20
Let d = 38 + -22. Suppose -4*q = -2*w + d, 3*q + 2 + 3 = -2*w. Suppose -3*j = -3*l - w*l + 15, 0 = 3*l - 5*j + 7. Is 6 smaller than l?
False
Let u be 244 + 34/14 + (-12)/28. Suppose -2*n - 50 = u. Let k be n/(-300) - (1*-3)/(-9). Which is greater: -1 or k?
k
Let j be (-2)/5 - (-11033)/(-55) - -2. Let h = -95 - j. Are 105 and h equal?
False
Let a be (-10)/(-70) - (57042/21)/2. Is -1358 less than or equal to a?
True
Let v = 5/854 - -127231/2562. Let k = 1037/21 - v. Which is smaller: -2 or k?
-2
Suppose 8*a + 40*a - 144000 = 0. Is a bigger than 2999?
True
Let a(v) = 6*v + 4. Let j(s) = -4 - s**2 + 121*s - 64*s - 64*s. Let f be j(-6). Let l be a(f). Which is greater: l or 18?
18
Let t = 70 + -42. Suppose f - 39 = t. Suppose -f = 5*o + 168. Is o greater than -46?
False
Suppose -4*s + 2*h + 99 = 3*h, 4*s - 5*h = 105. Let g be 0/(-4) + 4 + 410/s. Suppose -6 = 2*r - 48. Which is bigger: r or g?
r
Let d be 4200/27125 - ((-12)/5)/(-3). Which is smaller: d or -2?
-2
Suppose 70*o + 6212 = 68*o. Let y = o - -462792/149. Which is smaller: 0 or y?
y
Let h = 2067 + -2068. Is h smaller than -49/179?
True
Suppose -34*s = p - 33*s + 55, 5*p + 3*s = -267. Let f = 16 + p. Which is bigger: -36 or f?
f
Let j be 2 + -3 + 3 - (4 - 2) - -1. Is 15/251 greater than j?
False
Suppose -2*o + 12 = 3*g - 5*o, -2*o - 8 = g. Let d(k) = 4*k - 9. Let x be d(-6). Let r be x/1551*(-1 + -1). Is r < g?
False
Suppose 2*m - 7 = t - 58, 3*t = 5*m + 127. Let v be (m - -26)*-2*2/4. Let g be (-4)/(-74)*(-1)/(-2). Is v <= g?
True
Let y = -56132 - -56131.9. Let h be 27/(-2) - 3/6. Let x = h + 30. Is y equal to x?
False
Let b(y) = 3*y**2 + 143*y + 1343. Let f be b(-34). Which is bigger: f or 11/14?
11/14
Suppose -315*p = -322*p - 231. Let q be -4*p/(-8)*105/(-126). Suppose 6*k - 45 = 3*k. Which is greater: k or q?
k
Let k = 11288 + -32904519/2915. Is 1 equal to k?
False
Let w be (-2 - -3) + 5/(-50)*78/12. Let l = 1 - 1. Is l at most w?
True
Suppose -4029 = -5*x + b, -114*x + 2415 = -111*x - b. Is x equal to 807?
True
Let l be (-3899)/7800 + 4/10. Let z be (-478)/(-3120) + 37/(-555). Let s = z + l. Is s less than or equal to -1?
False
Let h = 33701 - 33702. Is h greater than or equal to -1/4017?
False
Let z be (50952/22572)/((-1)/(-9)). Is z at most 21?
True
Let b = 11335 + -11374.6. Is 11 != b?
True
Let o be 1*-3*159/(-1908) + 2378/(-9224). Which is smaller: o or 1?
o
Let f = 2733 + -117489/43. Is f > 1?
False
Let r be ((-304)/(-72) + -4)/(164/36). Which is greater: r or 120?
120
Let n = 5 + -4.8. Let w(t) = t**3 + 5*t**2 - 8*t - 8. Let o be w(-6). Suppose o*s + 9*s = -52. Which is smaller: s or n?
s
Let k = 3414 + -3296. Are k and 9/7 non-equal?
True
Let f = 5/1562 - -5959/1562. Which is greater: f or 1?
f
Let y be -2 + (-6)/(-1) - (-637 - 34). Suppose 10*l = -5*l + y. Which is greater: l or -0.6?
l
Let d be (-26)/(-6) + (-2)/(-3). Let p = 654 + -368. Let n = p + -286.02. Are n and d non-equal?
True
Let c be 280/160 - 1/(-4). Suppose -7*n - 31 = -220. Which is bigger: n or c?
n
Let w(c) = -c + 121. Let z be w(0). Let g = 1332/11 - z. Is g smaller than 1?
True
Let s be 3 + ((-7438650)/(-2064) - 3). Let k = -3604 + s. Which is smaller: 1 or k?
k
Let c = -5 + 6. Let y be ((-184462)/344 - c) + 1/4. Let h = y - -537. Is h greater than -1?
True
Let i b